aboutsummaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
AgeCommit message (Expand)Author
2003-06-05Fix (bogus) possibly uninitialized warningChris Lattner
2003-05-17Add support for setjmp/longjmp primitivesChris Lattner
2003-05-08llvm.va_start only takes on argument nowChris Lattner
2003-05-08Add more support for intrinsic functions and for varargs stuffChris Lattner
2003-05-08Add support for the new va_arg instructionChris Lattner
2003-04-19Remove arbitrary limitationChris Lattner
2003-04-16Add code to verify correctly linkagesChris Lattner
2003-01-14Fix bug Regression/Verifier/2002-11-05-GetelementptrPointers.llChris Lattner
2002-11-21User defined operators are not supposed to live beyond the lifetime of theChris Lattner
2002-11-20 - Eliminated the deferred symbol table stuff in Module & Function, it reallyChris Lattner
2002-10-13 - Change Function's so that their argument list is populated when they areChris Lattner
2002-10-06Check that we don't have external varaibles with internal linkageChris Lattner
2002-10-06PHI nodes are not allowed to exist with zero incoming values, check thatChris Lattner
2002-09-19Make sure that we abort if an error happens as early as neccesary. BeforeChris Lattner
2002-09-10Fix typeo in assertion messageChris Lattner
2002-09-09Do not allow adds of pointer types, or many other operations on pointer types.Chris Lattner
2002-08-22Eliminated the MemAccessInst class, folding contents into GEP class.Chris Lattner
2002-08-22Load & StoreInst no longer derive from MemAccessInst, so we don't haveChris Lattner
2002-08-08- Cleaned up the interface to AnalysisUsage to take analysis class namesChris Lattner
2002-08-02Implement dominator checking in the verifier, so that we check that allChris Lattner
2002-07-23Register Verifier passChris Lattner
2002-07-18Add a hack to check for a subset of true dominance propertiesChris Lattner
2002-06-25changes for 64bit gccAnand Shukla
2002-06-25* Update to work with MegapatchChris Lattner
2002-05-08Verify that function call arguments match the function signatureChris Lattner
2002-04-29Eliminate duplicate or unneccesary #include'sChris Lattner
2002-04-29Add new optional getPassName() virtual function that a Pass can overrideChris Lattner
2002-04-28Tighten up the AnalysisUsage of lots of passes, primarily to correctly indica...Chris Lattner
2002-04-28Remove extra unused argument from CheckFailed methodChris Lattner
2002-04-28The check to see if an external function was marked internal was not reachable!Chris Lattner
2002-04-27* Rename MethodPass class to FunctionPassChris Lattner
2002-04-24* Abort program on verification errorsChris Lattner
2002-04-18Add some basic checks of CallInst's.Chris Lattner
2002-04-18* Convert the verifier to use an InstVisitor to be better structuredChris Lattner
2002-04-13* Fix bug: test/Regression/Verifier/2002-04-13-RetTypes.llChris Lattner
2002-04-12Add new check of return value type matching ret instruction values typesChris Lattner
2002-04-08s/Method/FunctionChris Lattner
2002-04-07Remove some gross code by using the Value::dump method to do debug dumpsChris Lattner
2002-03-29* s/Method/FunctionChris Lattner
2002-03-15Checkin new test for problem anand ran intoChris Lattner
2002-03-14Add a check to ensure that only PHI nodes are self referential. CodeChris Lattner
2002-02-26Expose more entry points to the verifierChris Lattner
2002-02-24Make it compile with GCC 3.0.4Chris Lattner
2002-02-20Actually implement some checking in the verifier.Chris Lattner
2002-01-31Convert analyses to new pass structureChris Lattner
2002-01-20Changes to build successfully with GCC 3.02Chris Lattner
2001-11-06Add notesChris Lattner
2001-09-07Remove #include of nonexistant header fileChris Lattner
2001-06-29Added a note about a new verification the verifier should doChris Lattner
2001-06-27Miscellaneous cleanups:Chris Lattner
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2026-02-08 20:42:12 +0000