summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-84/+84
* Use llvm::reverse to make a bunch of loops use foreach. NFC.Pete Cooper2015-07-301-3/+1
* Test commit, no changes.Pavel Labath2015-01-201-1/+1
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-10/+13
* [analyzer] Don't assert when combining using .* on a temporary.Jordan Rose2014-04-291-0/+6
* [C++11] Replace llvm::tie with std::tie.Benjamin Kramer2014-03-021-1/+1
* [analyzer] Add checker callbacks for MemberExpr and UnaryExprOrTypeTraitExpr.Jordan Rose2013-12-111-24/+33
* Add front-end infrastructure now address space casts are in LLVM IR.David Tweed2013-12-111-0/+1
* Revert "[analyzer] Refactor conditional expression evaluating code"Anna Zaks2013-12-061-43/+55
* [analyzer] Fix an infinite recursion in region invalidation by adding block c...Anna Zaks2013-11-201-1/+2
* [analyzer] Allow pre/post-statement checkers for UnaryOperator.Jordan Rose2013-09-271-20/+30
* [analyzer] Run post-stmt checks for DeclStmt.Jordan Rose2013-09-131-1/+4
* [analyzer] Refactor conditional expression evaluating codePavel Labath2013-08-231-55/+43
* [analyzer] Enable usage of temporaries in InitListExprsPavel Labath2013-08-091-2/+0
* [analyzer] Pointers-to-members are (currently) Locs, not NonLocs.Jordan Rose2013-07-021-1/+1
* [analyzer] Do not create a CompoundVal for lvalue InitListExprs.Anna Zaks2013-06-181-4/+7
* [analyzer] Re-enable reasoning about CK_LValueBitCastAnna Zaks2013-05-281-3/+3
* [analyzer] Handle CXXTemporaryObjectExprs in compound literals.Jordan Rose2013-05-061-19/+25
* [analyzer] Do not crash when processing binary "?:" in C++Anna Zaks2013-04-151-4/+20
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-4/+7
* Add static analyzer support for conditionally executing static initializers.Ted Kremenek2013-03-291-19/+0
* Silence a number of static analyzer warnings with assertions and such.Jordan Rose2013-03-051-0/+2
* Remove the CFGElement "Invalid" state.David Blaikie2013-02-231-2/+2
* Fix regression in modeling assignments of an address of a variable to itself....Ted Kremenek2013-02-221-3/+1
* Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie2013-02-211-5/+5
* Replace CFGElement llvm::cast support to be well-defined.David Blaikie2013-02-211-3/+3
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-2/+2
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-14/+16
* [analyzer] Remove redundant check as per Jordan's feedback.Anna Zaks2013-02-071-3/+2
* [analyzer] Don't reinitialize static globals more than once along a pathAnna Zaks2013-02-071-14/+32
* Implement OpenCL event_t as Clang builtin type, including event_t related Ope...Guy Benyei2013-01-201-1/+2
* Refine analyzer's handling of unary '!' and floating types to not assert.Ted Kremenek2013-01-111-1/+4
* Correctly propagate uninitialized values within logical expressions.Ted Kremenek2013-01-111-14/+18
* Don't include Type.h in DeclarationName.h.Benjamin Kramer2012-12-011-0/+1
* Fix another false positive due to a CXX temporary object appearing in a C ini...Ted Kremenek2012-11-281-2/+4
* [analyzer] Fix a crash PR13762.Anna Zaks2012-09-051-1/+2
* [analyzer] Don't attempt to create a floating-point value of "1" for ++/--.Jordan Rose2012-09-011-1/+3
* Change the representation of builtin functions in the ASTEli Friedman2012-08-311-1/+2
* [analyzer] Inline constructors for any object with a trivial destructor.Jordan Rose2012-08-271-1/+1
* [analyzer] For now, treat pointers-to-members as non-null void * symbols.Jordan Rose2012-08-231-2/+10
* [analyzer] Handle UserDefinedConversion casts in C++.Jordan Rose2012-08-231-11/+5
* Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek2012-08-221-23/+21
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-14/+12
* Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek2012-08-221-1/+1
* [analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose2012-08-201-3/+2
* [analyzer] The result of && or || is always a 1 or 0.Jordan Rose2012-08-201-2/+20
* [analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.Jordan Rose2012-08-091-1/+1
* [analyzer] Add a checker to manage dynamic type propagation.Anna Zaks2012-08-061-3/+0
* [analyzer] ObjC Inlining: Start tracking dynamic type info in the GDMAnna Zaks2012-08-031-0/+3
* Look at the preceding CFGBlock for the expression to load from in ExprEngine:...Ted Kremenek2012-07-261-11/+25
OpenPOWER on IntegriCloud