diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-29 10:44:41 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-29 10:44:41 +0000 |
| commit | 3e48ee2ab9d40b6a29a4f675b3d95a0fd42f6c35 (patch) | |
| tree | b719920c9825fdbb030aebcf9616fb77ec2c0615 /clang/lib/Sema/Sema.cpp | |
| parent | ae77ab71d875f31672d7dbba264586d5a32f4329 (diff) | |
| download | bcm5719-llvm-3e48ee2ab9d40b6a29a4f675b3d95a0fd42f6c35.tar.gz bcm5719-llvm-3e48ee2ab9d40b6a29a4f675b3d95a0fd42f6c35.zip | |
[FIX] Unsigned comparisons change invalid domain
It does not suffice to take a global assumptions for unsigned comparisons but
we also need to adjust the invalid domain of the statements guarded by such
an assumption. To this end we allow to specialize the getPwAff call now in
order to indicate unsigned interpretation.
llvm-svn: 268025
Diffstat (limited to 'clang/lib/Sema/Sema.cpp')
0 files changed, 0 insertions, 0 deletions
