[cfe-dev] : Analyzer ignoring the effects of a function call?
Pidgeot18 at gmail.com
Sun Oct 2 18:06:29 PDT 2011
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.
News submodule owner
More information about the cfe-dev