diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-10-01 10:59:14 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-10-01 10:59:14 +0000 |
| commit | e46925f3240402339924114218ae2f661aa17cdf (patch) | |
| tree | 0fe6c3fdf96d766adf19002217c53dbae5f00b97 /clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp | |
| parent | e12597cc230b96064236df9527be7e1e95a8d94e (diff) | |
| download | bcm5719-llvm-e46925f3240402339924114218ae2f661aa17cdf.tar.gz bcm5719-llvm-e46925f3240402339924114218ae2f661aa17cdf.zip | |
[FIX] Erase stall results during the SCoP detection
With this patch we erase cached results for regions that are invalid
as early as possible. If we do not (as before), it is possible that
two expanded regions will have the same address and the tracked
results for both are mixed. Currently this would "only" cause
pessimism in later passes but that will change when we allow invariant
loads in the SCoP. Additionally, it triggers non-deterministic
results as we might dismiss a later region because of results cached
for an earlier one.
There is no test case as the problem occurs only non-deterministically.
llvm-svn: 249000
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp')
0 files changed, 0 insertions, 0 deletions
