[PATCH] D70244: [Analyzer] Iterator Checkers: Replace `UnknownVal` in comparison result by a conjured value

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Dec 10 16:08:25 PST 2019


NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.

That's a fair point, these days we always have to account for unknown values.

I'm still curious (for science!) about how exactly it came to be in the tests.


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D70244/new/

https://reviews.llvm.org/D70244





More information about the cfe-commits mailing list