Teach BasicAA about the LLVM IR rules that allow reading past the end of an object...
authorEli Friedman <eli.friedman@gmail.com>
Mon, 27 Feb 2012 20:46:07 +0000 (20:46 +0000)
committerEli Friedman <eli.friedman@gmail.com>
Mon, 27 Feb 2012 20:46:07 +0000 (20:46 +0000)
commit1680a24e534f3066f99fa6b8a618e71373e2920c
tree54e6a31e1ecefc7047b50ebea1b5d652eb3a2b9c
parent9e2a79c2878afb4fd20a6ab05952b5f71cf580e9
Teach BasicAA about the LLVM IR rules that allow reading past the end of an object given sufficient alignment.  Fixes PR12098.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151553 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp
test/Analysis/BasicAA/aligned-overread.ll [new file with mode: 0644]
test/Analysis/BasicAA/global-size.ll