[cfe-dev] : Analyzer ignoring the effects of a function call?

John McCall rjmccall at apple.com
Sun Oct 2 20:31:08 PDT 2011

On Oct 2, 2011, at 5:48 PM, Arjun Singri wrote:
> But how did it arrive at the conclusion that 'a' was '0' when it is clearly unknown?

It inferred it from the dominating equality test.  b is known to be 4, so the only way for a+b to equal 4 is if a is zero.


More information about the cfe-dev mailing list