Dan Gohman
|
13ec30b6a1
|
Fix lint's memcpy and memmove checks, and its basic block traversal.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104970 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-05-28 17:44:00 +00:00 |
|
Dan Gohman
|
17d95965cb
|
Detect self-referential values.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104957 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-05-28 16:45:33 +00:00 |
|
Dan Gohman
|
078f8595b5
|
Eli pointed out that va_arg instruction result values don't
reference the stack.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104951 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-05-28 16:34:49 +00:00 |
|
Dan Gohman
|
ff26d4e9ce
|
Teach lint how to look through simple store+load pairs and other
effective no-op constructs, to make it more effective on
unoptimized IR.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104950 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-05-28 16:21:24 +00:00 |
|
Dan Gohman
|
292fc87fe2
|
Add a lint check for returning the address of stack memory.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104936 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-05-28 04:33:42 +00:00 |
|
Dan Gohman
|
a0f7ff334f
|
Fix Lint printing warnings multiple times. Remove the ErrorStr
option from lintModule, which was an artifact from being
based on Verifier code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104765 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-05-26 22:28:53 +00:00 |
|
Dan Gohman
|
882ddb492d
|
Reinstate checking of stackrestore, with checking for both Read
and Write, and add a comment explaining this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104756 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-05-26 22:21:25 +00:00 |
|
Dan Gohman
|
749be11f4d
|
Stackrestore is not a load.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104752 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-05-26 22:00:10 +00:00 |
|
Dan Gohman
|
df9c8bc569
|
Remove a TODO which isn't practical.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104748 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-05-26 21:50:41 +00:00 |
|
Dan Gohman
|
113b3e2c6e
|
Implement checking of the tail keyword.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104744 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-05-26 21:46:36 +00:00 |
|
Dan Gohman
|
5b61b3818a
|
Add lint checks for invalid uses of memory.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@102733 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-04-30 19:05:00 +00:00 |
|
Dan Gohman
|
0883355976
|
Tidy a comment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@102041 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-04-22 01:30:05 +00:00 |
|
Dan Gohman
|
be02b20a8f
|
Add several more lint checks.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100841 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-04-09 01:39:53 +00:00 |
|
Dan Gohman
|
dd98c4d185
|
Add a few more lint checks.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100825 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-04-08 23:05:57 +00:00 |
|
Dan Gohman
|
113902e9fb
|
Add a -lint pass which checks for common sources of undefined or likely
unintended behavior.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100798 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-04-08 18:47:09 +00:00 |
|