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

5455 Commits

Author SHA1 Message Date
Ted Kremenek 6357f05e19 Add Environment.cpp to the clangAnalysis Visual Studio project. 
llvm-svn: 53258
 2008-07-08 23:30:43 +00:00
Ted Kremenek 263054b5e1 Update Xcode project. 
llvm-svn: 53257
 2008-07-08 23:29:24 +00:00
Ted Kremenek 852ed373aa Initial work on splitting the ValueState into an Environment, Store, and 
Constraints. These concepts are already present in the current ValueState, but
the implementation is monolothic. Making ValueState more modular opens up new
design choices for customizing the analysis engine.

In the context of the analysis engine, the "Environment" is the binding between
Expr* (expressions) and intermediate symbolic values (RValues).

llvm-svn: 53252
 2008-07-08 21:46:56 +00:00
Ted Kremenek 891c737e39 More info on filing static analysis bug reports. 
llvm-svn: 53250
 2008-07-08 21:25:35 +00:00
Nuno Lopes e212c3ecc2 revert my bogus attempt to fix the comment. sorry for the noise. 
llvm-svn: 53248
 2008-07-08 21:13:06 +00:00
Anders Carlsson 0166481455 Fix small bug. The evaluator now works well enough to pass all tests 
llvm-svn: 53238
 2008-07-08 16:49:00 +00:00
Anders Carlsson 4a3585b7c0 More constant expression work. 
llvm-svn: 53235
 2008-07-08 15:34:11 +00:00
Anders Carlsson 9c18165448 Move out some methods. 
llvm-svn: 53234
 2008-07-08 14:35:21 +00:00
Anders Carlsson b5ad021cd7 More work. 
llvm-svn: 53233
 2008-07-08 14:30:00 +00:00
Seo Sanghyeon 1904f44757 Compilation fix 
llvm-svn: 53222
 2008-07-08 07:23:12 +00:00
Anders Carlsson 374b93df76 Port more of Eli's evaluator over. This makes the int evaluator handle binary and unary operators. 
llvm-svn: 53221
 2008-07-08 05:49:43 +00:00
Anders Carlsson 0a1707c6ba Commit beginnings of int evaluator. Currently not used. 
llvm-svn: 53219
 2008-07-08 05:13:58 +00:00
Anders Carlsson ba123cdb9c Add LValue setters for APValue 
llvm-svn: 53216
 2008-07-08 04:35:19 +00:00
Ted Kremenek 8a3cb43fc0 Updated latest checker build. 
llvm-svn: 53191
 2008-07-07 18:43:43 +00:00
Ted Kremenek 79ab0fa913 In a report-XXXXX.html, make the title include the name of the file with the bug. Patch by Jean-Daniel Dupas! 
http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-July/002166.html

llvm-svn: 53184
 2008-07-07 18:31:05 +00:00
Ted Kremenek 86b4249c97 Mark the "Bug Type" column as being initially sorted (display the sort ding) so that users can readily see that the table can be sorted. 
llvm-svn: 53176
 2008-07-07 17:23:32 +00:00
Ted Kremenek 9707a93f9d Output html should have 'class=' before "sorttable_nosort". 
llvm-svn: 53175
 2008-07-07 16:58:44 +00:00
Nuno Lopes 7bfa180056 fix CheckForConstantInitializer() for Compound Literals 
also fix the correspondent test (it was expecting more errors than it should. please confirm my fix is correct (at least gcc agrees with me)

llvm-svn: 53174
 2008-07-07 16:46:50 +00:00
Ted Kremenek 4963d1144f Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. 
llvm-svn: 53172
 2008-07-07 16:21:19 +00:00
Nuno Lopes d28ccad6fc add x86 EDI register alias 
llvm-svn: 53170
 2008-07-07 12:18:07 +00:00
Ted Kremenek 37a2c0d5d1 Do not emit a "missing -dealloc" warning if a class contains no ivars that are pointers. 
This patch aims to address some of the concerns of PR 2517: http://llvm.org/bugs/show_bug.cgi?id=2517

llvm-svn: 53168
 2008-07-07 06:36:08 +00:00
Cedric Venet 5e7d92e215 Add new file to VS projects. 
llvm-svn: 53160
 2008-07-06 14:45:13 +00:00
Nuno Lopes 3da38fd145 move the linux predefined macro definition to the TargetInfo, where it really belongs 
llvm-svn: 53149
 2008-07-05 19:32:25 +00:00
Nuno Lopes 9b6de71b7d predefine the macro linux when compiled on a linux system. this fixes the build of libtidy 
llvm-svn: 53145
 2008-07-05 17:58:44 +00:00
Nuno Lopes a7c7c6b011 llvm-ld doesnt support -O1, -O2, etc options, so dont pass them 
llvm-svn: 53144
 2008-07-05 17:31:10 +00:00
Nuno Lopes 88b1d0ee42 add gentoo stable gcc headers path so that all tests pass here (CPATH isnt enough..) 
llvm-svn: 53143
 2008-07-05 17:15:18 +00:00
Seo Sanghyeon d27410b580 Fix warnings 
llvm-svn: 53141
 2008-07-05 02:01:25 +00:00
Argyrios Kyrtzidis 04bfdd555e Remove unused diagnostic. 
llvm-svn: 53140
 2008-07-04 22:36:24 +00:00
Sanjiv Gupta 1e8b608751 Fixed bugzilla bug# 2489. 
This was broken when the GenerateCode function was splitted to use GenerateFunction.

llvm-svn: 53136
 2008-07-04 11:04:26 +00:00
Argyrios Kyrtzidis 5708a4661e '&&' commands together so that the test status reflects the results of all the commands, otherwise the test status will be the result of only the last command. 
llvm-svn: 53135
 2008-07-04 10:33:02 +00:00
Seo Sanghyeon be0e659da4 Fix warnings 
llvm-svn: 53133
 2008-07-04 09:32:15 +00:00
Ted Kremenek 4449ec09d6 '&&' clang commands together so that the test status reflects the results of all three clang executions. 
llvm-svn: 53132
 2008-07-04 04:38:48 +00:00
Ted Kremenek e83e69e795 Update latest checker build. 
llvm-svn: 53129
 2008-07-03 23:40:44 +00:00
Ted Kremenek 4d85146e6d Use conjured symbols for variables whose values are invalidated when 
passed-by-reference to a function. This allows us to build up constraints for
their new values and restore some lost path-sensitivity. This addresses a few
false positives since in Adium.

llvm-svn: 53125
 2008-07-03 23:26:32 +00:00
Bill Wendling e7264ec999 Remove removed header. 
llvm-svn: 53121
 2008-07-03 22:54:30 +00:00
Ted Kremenek 69ba008ea3 Updated latest checker build. 
llvm-svn: 53118
 2008-07-03 22:35:30 +00:00
Ted Kremenek 8044046efb Fix a bug in the dead stores checker reported in the following email: 
http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-July/002157.html

Essentially the observer mechanism in LiveVariables was observing block-level
expressions multiple times, leading to a case where the dead store checker could
see a value as dead when it was really live.

llvm-svn: 53115
 2008-07-03 22:25:27 +00:00
Ted Kremenek 9c75ea62d7 Have ccc-analyzer skip any files with an unknown (or absent) extension. 
llvm-svn: 53114
 2008-07-03 22:24:10 +00:00
Chris Lattner 4cab581bc0 add c++ status to sidebar 
llvm-svn: 53107
 2008-07-03 17:43:22 +00:00
Ted Kremenek 38b1e57a4d Updated latest checker build. 
llvm-svn: 53103
 2008-07-03 16:26:26 +00:00
Ted Kremenek 68b117fca4 Skip the "-dealloc" check if a ObjC class contains no ivars. 
llvm-svn: 53100
 2008-07-03 15:37:02 +00:00
Ted Kremenek b23c3aaf7a Added an "ivar_empty" method to ObjCInterfaceDecl. 
llvm-svn: 53099
 2008-07-03 15:30:49 +00:00
Ted Kremenek e66ca6f35a For the -dealloc checker, check the LangOptions to determine whether or not the code is compiled with GC. 
llvm-svn: 53098
 2008-07-03 14:35:01 +00:00
Argyrios Kyrtzidis 5c48a70dad -Added bool feature. 
-Set "Named Casts" feature to partial parser/sema support because reinterpret_cast is not properly implemented.
-Removed "Virtual functions" feature because it is already covered by "Class definitions".
-Removed "Templates" because we should either list *all* missing/supported features or just list the features with some support. Mentioning just a few missing features without listing all of them makes little sense.

llvm-svn: 53095
 2008-07-03 08:32:59 +00:00
Argyrios Kyrtzidis f5bfb06b85 -Change slightly the link to cxx_status.html of the home page. 
-Add a link to cxx_status.html from get_involved.html/"Open Projects".

llvm-svn: 53094
 2008-07-03 08:21:51 +00:00
Ted Kremenek f39614bfd0 Updated latest checker build. 
llvm-svn: 53084
 2008-07-03 05:33:14 +00:00
Ted Kremenek 1d3c797c90 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail 
on functions we cannot construct full CFGs for yet.

llvm-svn: 53081
 2008-07-03 05:26:14 +00:00
Ted Kremenek 590afde872 Updated latest checker build. 
llvm-svn: 53080
 2008-07-03 04:47:54 +00:00
Ted Kremenek ff7f2e76bf Update Xcode project. 
llvm-svn: 53076
 2008-07-03 04:30:48 +00:00
Ted Kremenek 0e7d25233e Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc]. 
llvm-svn: 53075
 2008-07-03 04:29:21 +00:00