[cfe-dev] Symbols die with wrong context

[YuvalShahar]

I have an issue with the following code, for which I track *eval::assume* and
*check::DeadSymbols*:At each *eval::assume*, I mark (in the state) all the
symbols in the evaluated expression as /tested/.It seems, that at some point
(after /h/ is inlined), I get an *eval::assume* "/fret/ is true" and I don't
get the expected "/fret/ is false". This is acceptable, but I later get a
*check::DeadSymbols* in which /fret/ is dead and the state does not have it
as /tested/.Am I missing something?



--
View this message in context: http://clang-developers.42468.n3.nabble.com/Symbols-die-with-wrong-context-tp4040603.html
Sent from the Clang Developers mailing list archive at Nabble.com.