Rewrite the overflow checking in the get{Signed,Unsigned}Range code for
authorDan Gohman <gohman@apple.com>
Mon, 12 Apr 2010 07:39:33 +0000 (07:39 +0000)
committerDan Gohman <gohman@apple.com>
Mon, 12 Apr 2010 07:39:33 +0000 (07:39 +0000)
commit646e047765a2d4c38555550fddde66d1e003aece
treea56f5b51f98a152dfeb52d4d52f70911322e8278
parentdd842e34c8e133e3d36418c0d351034db52a05a7
Rewrite the overflow checking in the get{Signed,Unsigned}Range code for
AddRecs so that it checks for overflow in the computation that it is
performing, rather than just checking hasNo{Signed,Unsigned}Wrap, since
those flags are for a different computation. This fixes a bug that
impacts an upcoming change.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@101028 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp