Make BasicAliasAnalysis and Value::getUnderlyingObject use
authorDan Gohman <gohman@apple.com>
Fri, 17 Jul 2009 22:25:10 +0000 (22:25 +0000)
committerDan Gohman <gohman@apple.com>
Fri, 17 Jul 2009 22:25:10 +0000 (22:25 +0000)
commit3a7a68c10880c2a28387617b42d14d774e218727
tree19703b7ade7ad668d0c54a0d0f97d2f0bce51d82
parent8f080f0233ce28044182e3c81f3ebc12d43e081e
Make BasicAliasAnalysis and Value::getUnderlyingObject use
GEPOperator's hasNoPointer0verflow(), and make a few places in instcombine
that create GEPs that may overflow clear the NoOverflow value. Among
other things, this partially addresses PR2831.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76252 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp
lib/Transforms/Scalar/InstructionCombining.cpp
lib/VMCore/Value.cpp