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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
