Fix a crash on valid (if UB) bitcode that is produced for some global
authorChandler Carruth <chandlerc@gmail.com>
Tue, 24 Apr 2012 18:42:47 +0000 (18:42 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Tue, 24 Apr 2012 18:42:47 +0000 (18:42 +0000)
commit7362ac7f8cc803708187fd6029de9f8f62ff2ed2
tree52dca945ca0c4dd3fdf191ce80440c5a58997ea1
parent95a7e80b5e6423f4daf4c674100706b0036d4fe0
Fix a crash on valid (if UB) bitcode that is produced for some global
constants in C++11 mode. I have no idea why it required such particular
circumstances to get here, the code seems clearly to rely upon unchecked
assumptions.

Specifically, when we decide to form an index into a struct type, we may
have gone through (at least one) zero-length array indexing round, which
would have left the offset un-adjusted, and thus not necessarily valid
for use when indexing the struct type.

This is just an canonicalization step, so the correct thing is to refuse
to canonicalize nonsensical GEPs of this form. Implemented, and test
case added.

Fixes PR12642. Pair debugged and coded with Richard Smith. =] I credit
him with most of the debugging, and preventing me from writing the wrong
code.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155466 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ConstantFolding.cpp
test/Transforms/GlobalOpt/constantfold-initializers.ll