[cfe-dev] Can IfStmt be analyzed in a path sensitive checker?

Alexey Sidorin via cfe-dev cfe-dev at lists.llvm.org
Thu Dec 10 11:30:04 PST 2015


Hello,

To track the end of a single execution path, you may possibly be need to
implement check::EndFunction corresponding callback.



More information about the cfe-dev mailing list