projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 429f539) | patch
Verifier: Check for incompatible bit piece expressions
authorDuncan P. N. Exon Smith <dexonsmith@apple.com>
Sat, 11 Apr 2015 19:58:35 +0000 (19:58 +0000)
committerDuncan P. N. Exon Smith <dexonsmith@apple.com>
Sat, 11 Apr 2015 19:58:35 +0000 (19:58 +0000)
commit3ec16b419f8101ea195b7cc05ee152b9156becea
tree5fc707c24bfda7e86de36da9fe03b02e69701c8ctree | snapshot
parent429f5391adac7f453211b9f2a82d1055feee1d5ecommit | diff
Verifier: Check for incompatible bit piece expressions

Convert an assertion into a `Verifier` check.  Bit piece expressions
must fit inside the variable, and mustn't be the entire variable.
Catching this in the verifier will help us find bugs sooner, and makes
`DIVariable::getSizeInBits()` dead code.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@234698 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/IR/DebugInfo.h diff | blob | history
lib/CodeGen/AsmPrinter/DwarfDebug.cpp diff | blob | history
lib/IR/DebugInfo.cpp diff | blob | history
lib/IR/Verifier.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors