projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45336a6) | patch
Verify types. Invalid types can be constructed when assertions are off.
authorNick Lewycky <nicholas@mxc.ca>
Tue, 8 Sep 2009 01:23:52 +0000 (01:23 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Tue, 8 Sep 2009 01:23:52 +0000 (01:23 +0000)
commit49072473bac39f888be9e3814de48215daacea46
treeba2f9aa70cdf611598e0dc29a314ed7775d34831tree | snapshot
parent45336a6f22de93b38d693fbdde0c96aa84f1e70fcommit | diff
Verify types. Invalid types can be constructed when assertions are off.

Make the verifier more robust by avoiding unprotected cast<> calls. Notably,
Assert1(isa<>); cast<> is not safe as Assert1 does not terminate the program.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81179 91177308-0d34-0410-b5e6-96231b3b80d8
lib/VMCore/Verifier.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors