summaryrefslogtreecommitdiffstats
path: root/clang/lib
Commit message (Collapse)AuthorAgeFilesLines
* Use of NextToken() makes ParseIdentifierStatement unnecessary.Argyrios Kyrtzidis2008-07-121-87/+7
| | | | | | Simplify the parser by removing Parser::ParseIdentifierStatement. llvm-svn: 53520
* Convert CRLF -> LF line endings.Argyrios Kyrtzidis2008-07-121-21/+21
| | | | llvm-svn: 53519
* expand casts to handle what isIntegerConstantExpr handles.Chris Lattner2008-07-121-11/+52
| | | | | | Casts from pointers remain a problem. :) llvm-svn: 53501
* Add support for __builtin_type_compatible_p, enums, etc.Chris Lattner2008-07-121-16/+47
| | | | llvm-svn: 53500
* start remembering diagnostics for various cases, add some missingChris Lattner2008-07-121-28/+85
| | | | | | code. Switch to Eli's getIntWidth method. llvm-svn: 53499
* Tidy up error message.Ted Kremenek2008-07-111-2/+4
| | | | llvm-svn: 53493
* Add CSS for word wrapping of long message bubbles.Ted Kremenek2008-07-111-0/+1
| | | | llvm-svn: 53492
* Provide a structure for passing down 'is evaluated' and passing up Chris Lattner2008-07-111-25/+62
| | | | | | diagnosic+loc info for i-c-e evaluation. llvm-svn: 53490
* Add new check: -check-objc-methodsigs. This check scans methods inTed Kremenek2008-07-111-0/+125
| | | | | | | | | ObjCImplementationDecls and sees if a ancestor class defines a method with the same selector but with a different type signature. Right now it just compares return types, and mainly looks at differences in primitive values. The checking will be expanded in the future. llvm-svn: 53482
* simplify some code a bit.Chris Lattner2008-07-111-48/+42
| | | | llvm-svn: 53477
* share code between sizeof(expr) and sizeof(type)Chris Lattner2008-07-111-61/+44
| | | | llvm-svn: 53475
* Fix comment.Ted Kremenek2008-07-111-2/+3
| | | | llvm-svn: 53473
* implement support for __extension__, make sure the result of aChris Lattner2008-07-111-13/+30
| | | | | | comparison has the right width. llvm-svn: 53469
* add a new getIntTypeSizeInBits method.Chris Lattner2008-07-111-11/+12
| | | | llvm-svn: 53468
* rename "SInt" methods to "Int" in APValue.Chris Lattner2008-07-112-7/+6
| | | | llvm-svn: 53467
* make the new evaluator avoid conversions APValue<->APSInt in some cases.Chris Lattner2008-07-111-67/+51
| | | | | | Add some accessors to APValue. llvm-svn: 53465
* Refactored auditor interface within GRExprEngine and GRCoreEngine to use a ↵Ted Kremenek2008-07-112-44/+91
| | | | | | "batch auditor" to dispatch to specialized auditors instead of having a separate vector for each audited Expr*. This not only provides a much cleaner implementation, but also allows us to install auditors for any expression. llvm-svn: 53464
* rearrange some code, no functionality changes.Chris Lattner2008-07-111-85/+98
| | | | llvm-svn: 53463
* Patch by Csaba Hruska and Peter Neumark:Ted Kremenek2008-07-101-21/+60
| | | | | | "adds support (de)serialization (from)to (in memory) buffer." llvm-svn: 53425
* Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek2008-07-109-233/+296
| | | | | | | | | current store implementation is now encapsulated by BasicStore. These changes prompted some long due constification of ValueState. Much of the diffs in this patch include adding "const" qualifiers. llvm-svn: 53423
* Remove unused class AnnotatedPath.Ted Kremenek2008-07-101-1/+0
| | | | llvm-svn: 53413
* Move some environment methods from ValueState/ValueStateManager to ↵Ted Kremenek2008-07-102-127/+95
| | | | | | Environment/EnvironmentManager. llvm-svn: 53412
* Simplify the parser a bit by looking at the next token without consuming it ↵Argyrios Kyrtzidis2008-07-093-100/+47
| | | | | | | | | (by Preprocessor::LookNext): -Remove ParseExpressionWithLeadingIdentifier and ParseAssignmentExprWithLeadingIdentifier. -Separate ParseLabeledStatement from ParseIdentifierStatement. llvm-svn: 53376
* Add Preprocessor::LookNext method, which implements an efficient way to ↵Argyrios Kyrtzidis2008-07-091-0/+26
| | | | | | 'take a peek' at the next token without consuming it. llvm-svn: 53375
* Remove getParentMap() from GRExprEngine.Ted Kremenek2008-07-091-13/+0
| | | | llvm-svn: 53343
* Fix PR2519: correctly handle CFDictionaryCreate.Ted Kremenek2008-07-091-9/+31
| | | | llvm-svn: 53334
* Extend va_start checking to include __builtin_stdarg_start.Ted Kremenek2008-07-091-0/+1
| | | | llvm-svn: 53332
* Codegen support for __builtin_stdarg_startChris Lattner2008-07-091-2/+3
| | | | llvm-svn: 53329
* Add parser support for __builtin_stdarg_start, PR2531Chris Lattner2008-07-091-1/+2
| | | | llvm-svn: 53328
* Initial work on splitting the ValueState into an Environment, Store, andTed Kremenek2008-07-082-25/+45
| | | | | | | | | | | 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
* revert my bogus attempt to fix the comment. sorry for the noise.Nuno Lopes2008-07-081-1/+1
| | | | llvm-svn: 53248
* Fix small bug. The evaluator now works well enough to pass all testsAnders Carlsson2008-07-081-1/+2
| | | | llvm-svn: 53238
* More constant expression work.Anders Carlsson2008-07-081-6/+112
| | | | llvm-svn: 53235
* Move out some methods.Anders Carlsson2008-07-081-159/+149
| | | | llvm-svn: 53234
* More work.Anders Carlsson2008-07-081-1/+78
| | | | llvm-svn: 53233
* Compilation fixSeo Sanghyeon2008-07-081-1/+1
| | | | llvm-svn: 53222
* Port more of Eli's evaluator over. This makes the int evaluator handle ↵Anders Carlsson2008-07-081-7/+143
| | | | | | binary and unary operators. llvm-svn: 53221
* Commit beginnings of int evaluator. Currently not used.Anders Carlsson2008-07-081-0/+40
| | | | llvm-svn: 53219
* In a report-XXXXX.html, make the title include the name of the file with the ↵Ted Kremenek2008-07-071-7/+13
| | | | | | | | bug. Patch by Jean-Daniel Dupas! http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-July/002166.html llvm-svn: 53184
* fix CheckForConstantInitializer() for Compound LiteralsNuno Lopes2008-07-072-1/+6
| | | | | | 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
* Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.Ted Kremenek2008-07-073-51/+41
| | | | llvm-svn: 53172
* add x86 EDI register aliasNuno Lopes2008-07-071-0/+1
| | | | llvm-svn: 53170
* Do not emit a "missing -dealloc" warning if a class contains no ivars that ↵Ted Kremenek2008-07-071-3/+19
| | | | | | | | 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
* move the linux predefined macro definition to the TargetInfo, where it ↵Nuno Lopes2008-07-052-5/+5
| | | | | | really belongs llvm-svn: 53149
* predefine the macro linux when compiled on a linux system. this fixes the ↵Nuno Lopes2008-07-051-0/+5
| | | | | | build of libtidy llvm-svn: 53145
* Fix warningsSeo Sanghyeon2008-07-051-1/+2
| | | | llvm-svn: 53141
* Fixed bugzilla bug# 2489.Sanjiv Gupta2008-07-041-0/+20
| | | | | | This was broken when the GenerateCode function was splitted to use GenerateFunction. llvm-svn: 53136
* Use conjured symbols for variables whose values are invalidated whenTed Kremenek2008-07-031-0/+27
| | | | | | | | 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
* Remove removed header.Bill Wendling2008-07-031-1/+0
| | | | llvm-svn: 53121
* Fix a bug in the dead stores checker reported in the following email:Ted Kremenek2008-07-031-3/+11
| | | | | | | | | | 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
OpenPOWER on IntegriCloud