summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
...
* Some cleanups for C++ operator overloadingDouglas Gregor2008-11-176-89/+68
| | | | llvm-svn: 59443
* Simplify error messages for two-parameter overloaded increment/decrement ↵Douglas Gregor2008-11-173-17/+6
| | | | | | operators llvm-svn: 59442
* Introduction the DeclarationName class, as a single, general method ofDouglas Gregor2008-11-1729-202/+890
| | | | | | | | representing the names of declarations in the C family of languages. DeclarationName is used in NamedDecl to store the name of the declaration (naturally), and ObjCMethodDecl is now a NamedDecl. llvm-svn: 59441
* pad header out to 80 colsChris Lattner2008-11-171-1/+1
| | | | llvm-svn: 59438
* add OperatorKinds.* to the project.Chris Lattner2008-11-171-0/+4
| | | | llvm-svn: 59437
* line up some columns, no functionality change.Chris Lattner2008-11-171-4/+4
| | | | llvm-svn: 59436
* A few corrections to the expr constant work. Not enabled at the Eli Friedman2008-11-171-2/+3
| | | | | | moment. llvm-svn: 59435
* More expr constant work. (Off by default).Anders Carlsson2008-11-171-8/+25
| | | | llvm-svn: 59433
* Address some comments Eli had.Anders Carlsson2008-11-161-11/+6
| | | | llvm-svn: 59430
* use HandleConversionToBool() to check if a given cond is foldable (per Eli's ↵Nuno Lopes2008-11-161-3/+3
| | | | | | comment) llvm-svn: 59429
* More complex float evaluator support.Anders Carlsson2008-11-161-0/+45
| | | | llvm-svn: 59428
* Describe how constant folding and i-c-e diagnosing should work. Chris Lattner2008-11-161-0/+115
| | | | | | | Unfortunately, we're not here yet, but eventually Expr::isConstantExpr and friends should go away. llvm-svn: 59427
* rename Expr::tryEvaluate to Expr::Evaluate.Chris Lattner2008-11-167-18/+18
| | | | llvm-svn: 59426
* Add very limited support for evaluating complex floats.Anders Carlsson2008-11-161-1/+46
| | | | llvm-svn: 59425
* Trivial tidyingChris Lattner2008-11-161-2/+0
| | | | llvm-svn: 59424
* add PTHLexer.h to projectChris Lattner2008-11-161-0/+2
| | | | llvm-svn: 59423
* fix folding of comma if given a non-constant operand.Nuno Lopes2008-11-162-3/+10
| | | | | | Eli please take a look, as I'm not sure if this gets the extension warning in the right place llvm-svn: 59422
* make IntExprEvaluator fold the ?: operatorNuno Lopes2008-11-161-0/+9
| | | | llvm-svn: 59421
* More work on the constant evaluator. Eli, it would be great if you could ↵Anders Carlsson2008-11-161-1/+65
| | | | | | have a look at this. llvm-svn: 59420
* Fix PR3075, __builtin_stdarg_start being misprototyped. This affects netbsd ↵Chris Lattner2008-11-162-1/+10
| | | | | | headers. llvm-svn: 59419
* Fix PR3077: tokens that come from macro expansions whose macro wasChris Lattner2008-11-161-1/+1
| | | | | | | defined in a system header should be treated as system header tokens even if they are instantiated in a different place. llvm-svn: 59418
* add targe triple commandline option to fix test failure on Linux.Zhongxing Xu2008-11-161-1/+1
| | | | llvm-svn: 59412
* add dump and print methods, add operator<< for APValue.Chris Lattner2008-11-162-0/+105
| | | | llvm-svn: 59411
* move some APValue methods out of line.Chris Lattner2008-11-162-39/+6
| | | | llvm-svn: 59410
* Add the ability to evaluate comparison operators with floating point numbers ↵Anders Carlsson2008-11-161-2/+45
| | | | | | as operands. llvm-svn: 59408
* Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu2008-11-164-17/+19
| | | | | | environment. llvm-svn: 59407
* More constant expr work.Anders Carlsson2008-11-161-6/+18
| | | | llvm-svn: 59405
* daniel prefers completed thoughts.Chris Lattner2008-11-161-1/+1
| | | | llvm-svn: 59404
* Re-enable array-struct test.Zhongxing Xu2008-11-161-1/+1
| | | | llvm-svn: 59396
* Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu2008-11-166-5/+150
| | | | | | | | | | | | - RegionView and RegionViewMap is introduced to assist back-mapping from super region to subregions. - GDM is used to carry RegionView information. - AnonTypedRegion is added to represent a typed region introduced by pointer casting. Later AnonTypedRegion can be used in other similar cases, e.g., malloc()'ed region. - The specific conversion is delegated to store manager. llvm-svn: 59382
* Start implementing support for @synchonized with the darwin ObjC API.Chris Lattner2008-11-156-2/+134
| | | | | | Patch by Fariborz! llvm-svn: 59377
* Check in code that uses tryEvaluate for emitting constant exprs (not used yet).Anders Carlsson2008-11-151-0/+29
| | | | llvm-svn: 59375
* Handle padding in the constant CFString struct. Fixes PR3046.Anders Carlsson2008-11-151-8/+46
| | | | llvm-svn: 59372
* Use IgnoreParenCasts. No functionality change.Anders Carlsson2008-11-151-10/+1
| | | | llvm-svn: 59371
* Use the allocator of ExplodedGraph. The whole static analysis module uses it.Zhongxing Xu2008-11-151-1/+4
| | | | llvm-svn: 59359
* Fix silly bug spotted by Daniel DunbarAnders Carlsson2008-11-151-1/+1
| | | | llvm-svn: 59358
* Improve zero value generation.Zhongxing Xu2008-11-151-2/+1
| | | | llvm-svn: 59356
* Add isUnsigned option.Zhongxing Xu2008-11-151-2/+2
| | | | llvm-svn: 59355
* Reduce permissiveness of assertion.Ted Kremenek2008-11-151-2/+1
| | | | llvm-svn: 59354
* Updated checker build.Ted Kremenek2008-11-151-1/+1
| | | | llvm-svn: 59353
* Add a test case for compound assignments that lazily symbolicate the value ↵Ted Kremenek2008-11-151-0/+20
| | | | | | of the LHS when the computation type is an integer of more bits. llvm-svn: 59352
* Reverted part of r59335: ↵Ted Kremenek2008-11-151-23/+37
| | | | | | | | | | http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20081110/009243.html In that patch I added a bogus type promotion for unary '!'. The real bug was more fallout from edges cases with compound assignments and conjured symbolic values. Now the conjured value has the type of the LHS expression, and we do a promotion to the computation type. We also now correctly do a conversion from the computation type back to the LHS type. llvm-svn: 59349
* Re-enable an assertion that I mistakenly removed.Ted Kremenek2008-11-151-7/+1
| | | | llvm-svn: 59348
* Handle complex return values.Anders Carlsson2008-11-151-1/+6
| | | | llvm-svn: 59345
* Use the correct QualType when creating the '0' constant.Ted Kremenek2008-11-151-1/+1
| | | | llvm-svn: 59343
* Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit ↵Ted Kremenek2008-11-156-21/+61
| | | | | | conversions caused by the '!' operator. This required adding some logic to GRSimpleVals to reason about nonloc::LocAsInteger SVals. This code appears to work fine, but it should eventually be cleaned up. llvm-svn: 59335
* Flush llvm::errs() when printing out SVals.Ted Kremenek2008-11-151-1/+1
| | | | llvm-svn: 59334
* Add handy method.Zhongxing Xu2008-11-141-0/+2
| | | | llvm-svn: 59332
* Implement parsing and semantic checking of the 'mutable' keyword.Sebastian Redl2008-11-149-10/+75
| | | | | | Thanks to Doug for the review. Actual effects of mutable to follow. llvm-svn: 59331
* Use ReadPtr, not ReadUIntPtr through a reinterpret_cast.Argyrios Kyrtzidis2008-11-141-2/+2
| | | | | | Thanks to Sebastian for the suggestion. llvm-svn: 59330
OpenPOWER on IntegriCloud