diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-11-08 20:16:39 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-11-08 20:16:39 +0000 |
| commit | f85ad0411f1dcec5a1da1958c2663a50e8c2748b (patch) | |
| tree | b7812f7973213b4ca3ba29ac4ba2c8feb995e57e /clang-tools-extra/clang-tidy/cppcoreguidelines/CppCoreGuidelinesTidyModule.cpp | |
| parent | 87ef57148a83aa7013b7b1f86a586a3805a054ae (diff) | |
| download | bcm5719-llvm-f85ad0411f1dcec5a1da1958c2663a50e8c2748b.tar.gz bcm5719-llvm-f85ad0411f1dcec5a1da1958c2663a50e8c2748b.zip | |
[FIX] Carefully simplify assumptions in the presence of error blocks
If a SCoP contains error blocks we cannot use the domain constraints
to simplify the assumptions as the domain is already influenced by the
assumptions we took. Before this patch we did that and some assumptions
became self-fulfilling as they were implied by the domain constraints.
llvm-svn: 252424
Diffstat (limited to 'clang-tools-extra/clang-tidy/cppcoreguidelines/CppCoreGuidelinesTidyModule.cpp')
0 files changed, 0 insertions, 0 deletions
