Ah, thanks! But hm...that's not a very good path. We should definitely be allowing edges //within// the initializer (so we can see that the reason we choose the null pointer path is because `a != 1`.
If you don't want to deal with this right now, you can just add another configuration option to the CFG and have the analyzer currently not include these nodes. I'll take it back out once we've got the analyzer properly handling this as well. http://llvm-reviews.chandlerc.com/D2370 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
