This revision was automatically updated to reflect the committed changes.
Closed by commit rL305991: [analyzer] Do not continue to analyze a path if the
constraints contradict with… (authored by xazax).
Changed prior to commit:
https://reviews.llvm.org/D34502?vs=103540&id=103544#toc
Repository
NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
Hmm, yeah, right :)
Repository:
rL LLVM
https://reviews.llvm.org/D34502
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.or
xazax.hun created this revision.
Herald added a subscriber: whisperity.
This is how asserts are working right now. This way the semantics of
__builtin_assume will be identical to asserts.
I also moved the tests to another file.
Repository:
rL LLVM
https://reviews.llvm.org/D34502
Files:
l