Charusso added inline comments.
================ Comment at: test/Analysis/Inputs/expected-plists/cxx-for-range.cpp.plist:837 + <key>message</key> + <string>Variable 'fail' is true</string> + </dict> ---------------- Double negating is not in standard English, so this behaviour is documented here. ================ Comment at: test/Analysis/Inputs/expected-plists/edges-new.mm.plist:9629 + <string>Variable 'z' is equal to 0</string> + </dict> + <dict> ---------------- @NoQ this is the only place (as I see) where SA works with flow-sensitive constraint-handling what you mentioned. Is it a good change? https://reviews.llvm.org/D53076 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits