diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-28 14:32:58 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-28 14:32:58 +0000 |
| commit | 8475d1c1638235a89eba799ebd94d056aa49d582 (patch) | |
| tree | a735400a2ac8ed547c8ca05ad3cfaa0df0f94e77 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | fbb18fb6b976f80cfa8f03b98cb0c9a36bcbbbe2 (diff) | |
| download | bcm5719-llvm-8475d1c1638235a89eba799ebd94d056aa49d582.tar.gz bcm5719-llvm-8475d1c1638235a89eba799ebd94d056aa49d582.zip | |
[FIX] Correct assumption simplification
Assumptions and restrictions can both be simplified with the domain of a
statement but not the same way. After this patch we will correctly
distinguish them.
llvm-svn: 267885
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions
