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

[Joshua Cranmer]

On 10/2/2011 7:48 PM, Arjun Singri wrote:
> But how did it arrive at the conclusion that 'a' was '0' when it is 
> clearly unknown? If I don't provide an intial value for 'a', it still 
> reports the same warning. Does that mean that it is interpreting that 
> 'a' is set to zero inside the function?

The value of 'a' is unknown. The value of 'b' is known to be 4. In the 
if statement, for a + b to be equal to 4, a must be 4 - b = 4 - 4 = 0. 
So, within the body of the if statement, 'a' is known to be 0, since any 
other value would fail to satisfy the condition.

-- 
Joshua Cranmer
News submodule owner
DXR coauthor