[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
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