>>>> "David" == David Malcolm
<dmalcolm(a)redhat.com> writes:
Tom> It seems a shame that one cannot reuse the code tree-vrp.c for this.
Tom> It implies that you may end up rewriting many passes in Python for
Tom> similar reasons.
David> Agreed - though unfortunately the only thing exposed by tree-vrp.c seems
David> to be:
David> extern bool ssa_name_nonnegative_p (const_tree);
David> though it may be that we also get:
David> var = ASSERT_EXPR<>
David> statements added to the gimple by this pass.
I think the ASSERT_EXPRs are removed at the end of the pass, so you'd
have to split the pass in two to access the info.
David> I think I'm getting pulled between two goals here:
David> (a) writing the reference-count checker
David> (b) writing a more general-purpose static analyzer
Yeah. And I think it makes sense to focus on (a) -- but also let gcc
upstream know of ways that gcc could be changed to make life easier for
plugin writers.
Tom