On Oct 22, 2010, at 4:42 PM, Ted Kremenek wrote: > On Oct 22, 2010, at 4:17 PM, John McCall wrote: >> void baz(bool); >> int test() { >> foo(foo() || bar()); >> } >> > > Is the outer call to foo() suppose to be a call to baz()? Yes, sorry. John.