aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Add new optional getPassName() virtual function that a Pass can overrideChris Lattner2002-04-291-0/+2
* Tighten up the AnalysisUsage of lots of passes, primarily to correctly indica...Chris Lattner2002-04-281-0/+4
* Remove extra unused argument from CheckFailed methodChris Lattner2002-04-281-10/+10
* The check to see if an external function was marked internal was not reachable!Chris Lattner2002-04-281-4/+6
* * Rename MethodPass class to FunctionPassChris Lattner2002-04-271-2/+2
* * Abort program on verification errorsChris Lattner2002-04-241-1/+41
* Add some basic checks of CallInst's.Chris Lattner2002-04-181-8/+17
* * Convert the verifier to use an InstVisitor to be better structuredChris Lattner2002-04-181-137/+154
* * Fix bug: test/Regression/Verifier/2002-04-13-RetTypes.llChris Lattner2002-04-131-22/+47
* Add new check of return value type matching ret instruction values typesChris Lattner2002-04-121-2/+17
* s/Method/FunctionChris Lattner2002-04-081-1/+1
* Remove some gross code by using the Value::dump method to do debug dumpsChris Lattner2002-04-071-3/+2
* * s/Method/FunctionChris Lattner2002-03-291-10/+14
* Checkin new test for problem anand ran intoChris Lattner2002-03-151-3/+35
* Add a check to ensure that only PHI nodes are self referential. CodeChris Lattner2002-03-141-1/+8
* Expose more entry points to the verifierChris Lattner2002-02-261-2/+2
* Make it compile with GCC 3.0.4Chris Lattner2002-02-241-6/+6
* Actually implement some checking in the verifier.Chris Lattner2002-02-201-36/+111
* Convert analyses to new pass structureChris Lattner2002-01-311-1/+1
* Changes to build successfully with GCC 3.02Chris Lattner2002-01-201-0/+3
* Add notesChris Lattner2001-11-061-1/+3
* Remove #include of nonexistant header fileChris Lattner2001-09-071-1/+0
* Added a note about a new verification the verifier should doChris Lattner2001-06-291-1/+1
* Miscellaneous cleanups:Chris Lattner2001-06-271-8/+4
* Initial revisionChris Lattner2001-06-061-0/+94
generated by cgit v1.1 at 2025-02-02 23:17:25 +0000