[cfe-dev] static analysis: covers all possible control flows?

[Christian Convey]

I'm thinking about writing a checker whose correctness depends on
analyzing all valid control flows through a given procedure's basic
blocks.

Does anyone know whether clang's static analyzer is guaranteed to
analyze a superset, subset, or the exact set of valid control flows?

Also, if there's an infinite loop within some procedure, how does the
static analyzer handle / present that?

Thanks,
Christian