maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
192,174 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

23 Commits

Author SHA1 Message Date
Duncan Sands 5e561bbd5d Ignore apparent buffer overruns on external or weak globals. This is a major 
source of false positives due to globals being declared in a header with some
kind of incomplete (small) type, but the actual definition being bigger.

llvm-svn: 164912
 2012-09-30 07:30:10 +00:00
Duncan Sands a221eea7db Teach the 'lint' sanity checking pass to detect simple buffer overflows. 
llvm-svn: 164671
 2012-09-26 07:45:36 +00:00
Duncan Sands 3f4d0b1724 Change the way the lint sanity checking pass detects misaligned memory accesses. 
Previously it was only be able to detect problems if the pointer was a numerical
value (eg inttoptr i32 1 to i32*), but not if it was an alloca or globa.  The
reason was the use of ComputeMaskedBits: imagine you have "alloca i8, align 2",
and ask ComputeMaskedBits what it knows about the bits of the alloca pointer.
It can tell you that the bottom bit is known zero (due to align 2) but it can't
tell you that bit 1 is known one.  That's because the address could be an even
multiple of 2 rather than an odd multiple, eg it might be a multiple of 4.  Thus
trying to use KnownOne is ineffective in the case of an alloca as it will never
have any bits set.  Instead look explicitly for constant offsets from allocas
and globals.

llvm-svn: 164595
 2012-09-25 10:00:49 +00:00
Chandler Carruth 5da53436d5 Convert the uses of '|&' to use '2>&1 |' instead, which works on old 
versions of Bash. In addition, I can back out the change to the lit
built-in shell test runner to support this.

This should fix the majority of fallout on Darwin, but I suspect there
will be a few straggling issues.

llvm-svn: 159544
 2012-07-02 18:37:59 +00:00
Chris Lattner 6a144a2227 Upgrade syntax of tests using volatile instructions to use 'load volatile' instead of 'volatile load', which is archaic. 
llvm-svn: 145171
 2011-11-27 06:54:59 +00:00
Dan Gohman 02538ac4d3 Make BasicAliasAnalysis a normal AliasAnalysis implementation which 
does normal initialization and normal chaining. Change the default
AliasAnalysis implementation to NoAlias.

Update StandardCompileOpts.h and friends to explicitly request
BasicAliasAnalysis.

Update tests to explicitly request -basicaa.

llvm-svn: 116720
 2010-10-18 18:04:47 +00:00
Dan Gohman fb83b043eb Revert r111058, the lint check for indirectbr successors that aren't 
address-taken. This can occur normally, if the code which took the
address got DCEd.

llvm-svn: 111121
 2010-08-16 14:39:19 +00:00
Dan Gohman 21e6dc6aa3 Add a lint check for an indirectbr destination which has not 
had its address taken.

llvm-svn: 111058
 2010-08-13 23:56:28 +00:00
Dan Gohman d8968da2c5 Add a lint check for indirectbr with no successors. 
llvm-svn: 110074
 2010-08-02 23:06:43 +00:00
Dan Gohman c128e70ff2 Add a lint check for mismatched return types, inspired by PR6944. 
llvm-svn: 108162
 2010-07-12 18:02:04 +00:00
Dan Gohman 0fa67e479a Add lint checks for function attributes. 
llvm-svn: 105009
 2010-05-28 21:43:57 +00:00
Dan Gohman c575ec61ea Fix lint's memcpy and memmove checks, and its basic block traversal. 
llvm-svn: 104970
 2010-05-28 17:44:00 +00:00
Dan Gohman 862f034188 Detect self-referential values. 
llvm-svn: 104957
 2010-05-28 16:45:33 +00:00
Dan Gohman 672393f6c7 Remove this va_arg test, which is no longer applicable. 
llvm-svn: 104956
 2010-05-28 16:44:04 +00:00
Dan Gohman cef9fc37f4 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 54d7aaa819 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 ddba4b725a Add a lint check for returning the address of stack memory. 
llvm-svn: 104936
 2010-05-28 04:33:42 +00:00
Dan Gohman a20a5cd24f 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 1249adf160 Implement checking of the tail keyword. 
llvm-svn: 104744
 2010-05-26 21:46:36 +00:00
Dan Gohman 299e7b93ac Add lint checks for invalid uses of memory. 
llvm-svn: 102733
 2010-04-30 19:05:00 +00:00
Dan Gohman 9ba08a4631 Add several more lint checks. 
llvm-svn: 100841
 2010-04-09 01:39:53 +00:00
Dan Gohman 7808d490d3 Add a few more lint checks. 
llvm-svn: 100825
 2010-04-08 23:05:57 +00:00
Dan Gohman 98bc4371c7 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