[cfe-dev] Reporting a bug found at EndPath at its correct location

[YuvalShahar]

Sorry for the misunderstanding. It is just a bad choice of example; of course
I cannot correctly solve the issue of unused variables in a path-sensitive
check.

However, the issue I AM trying to solve IS path-sensitive:
I need to mark many statements in the path and emit my bug reports at end of
path.

My questions are about the scheme of creating and saving many ExplodedNodes
on the state, and then putting the bug reports on the relevant nodes:
- Would this scheme work?
- Is it expensive in memory?
- Is there a preferred scheme?

Thanks.



--
View this message in context: http://clang-developers.42468.n3.nabble.com/Reporting-a-bug-found-at-EndPath-at-its-correct-location-tp4034472p4034506.html
Sent from the Clang Developers mailing list archive at Nabble.com.