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

[Alexey Sidorin via cfe-dev]

Hello,

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