[PATCH] D49536: [Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions

[Mikhail Ramalho via Phabricator via cfe-commits]

mikhail.ramalho added a comment.

I getting the following error when analyzing `test/Analysis/plist-macros.cpp`, usign z3 as constraint manager (`-analyzer-constraints=z3 -DANALYZER_CM_Z3`):

  /home/mgadelha/llvm/tools/clang/test/Analysis/plist-macros.cpp:640:16: error: CHECK-NEXT: expected string not found in input
  // CHECK-NEXT: <key>line</key><integer>36</integer>
                 ^
  /home/mgadelha/llvm/build/tools/clang/test/Analysis/Output/plist-macros.cpp.tmp.plist:562:2: note: scanning from here
   <key>line</key><integer>37</integer>
   ^

I bisected back to this commit. I reverted it locally and the error goes away.

Any idea why it doesn't work with z3?


Repository:
  rL LLVM

https://reviews.llvm.org/D49536