[cfe-dev] [analyzer] How to analyzer the code after an indefinite loop?

[Denis Petrov via cfe-dev]

Hi, community!


A quick question.


Is CSA Core able to analyze the code after some indefinite loop?

E.g.

void f(int x)
{
  int i = 0;
  while(i < x)
    i++;
  // Interested in some code here!!
}


I found that Exploded graph grows going through the loop 4 times and then stops to analyze the code further.

P.S. I know about -analyzer-max-loop(4)?.

________________________________
Denys Petrov
Senior С++ Developer | Kharkiv, Ukraine

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20200728/65f4065d/attachment-0001.html>