Dan Gohman
|
9a50a9215c
|
Detect self-referential values.
llvm-svn: 104957
|
2010-05-28 16:45:33 +00:00 |
|
Dan Gohman
|
8570c1a249
|
Eli pointed out that va_arg instruction result values don't
reference the stack.
llvm-svn: 104951
|
2010-05-28 16:34:49 +00:00 |
|
Dan Gohman
|
7981165281
|
Teach lint how to look through simple store+load pairs and other
effective no-op constructs, to make it more effective on
unoptimized IR.
llvm-svn: 104950
|
2010-05-28 16:21:24 +00:00 |
|
Dan Gohman
|
a6c568fa77
|
Add a lint check for returning the address of stack memory.
llvm-svn: 104936
|
2010-05-28 04:33:42 +00:00 |
|
Dan Gohman
|
0b5922b032
|
Fix Lint printing warnings multiple times. Remove the ErrorStr
option from lintModule, which was an artifact from being
based on Verifier code.
llvm-svn: 104765
|
2010-05-26 22:28:53 +00:00 |
|
Dan Gohman
|
2c70e05105
|
Reinstate checking of stackrestore, with checking for both Read
and Write, and add a comment explaining this.
llvm-svn: 104756
|
2010-05-26 22:21:25 +00:00 |
|
Dan Gohman
|
5ec2a338ac
|
Stackrestore is not a load.
llvm-svn: 104752
|
2010-05-26 22:00:10 +00:00 |
|
Dan Gohman
|
35b59125b0
|
Remove a TODO which isn't practical.
llvm-svn: 104748
|
2010-05-26 21:50:41 +00:00 |
|
Dan Gohman
|
6b78ee79c1
|
Implement checking of the tail keyword.
llvm-svn: 104744
|
2010-05-26 21:46:36 +00:00 |
|
Dan Gohman
|
6944fae2f6
|
Add lint checks for invalid uses of memory.
llvm-svn: 102733
|
2010-04-30 19:05:00 +00:00 |
|
Dan Gohman
|
1af81d31e9
|
Tidy a comment.
llvm-svn: 102041
|
2010-04-22 01:30:05 +00:00 |
|
Dan Gohman
|
b07151b5dd
|
Add several more lint checks.
llvm-svn: 100841
|
2010-04-09 01:39:53 +00:00 |
|
Dan Gohman
|
eeb89ac6d3
|
Add a few more lint checks.
llvm-svn: 100825
|
2010-04-08 23:05:57 +00:00 |
|
Dan Gohman
|
6ad805d335
|
Add a -lint pass which checks for common sources of undefined or likely
unintended behavior.
llvm-svn: 100798
|
2010-04-08 18:47:09 +00:00 |
|