summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* [analyzer] Don't crash on array constructors and destructors.Jordan Rose2012-07-261-3/+4
* Update ExprEngine's handling of ternary operators to find the ternary expressionTed Kremenek2012-07-251-9/+19
* [analyzer] Handle new-expressions with initializers for scalars.Jordan Rose2012-07-161-11/+10
* Prevent unused-variable warning in optimized builds.Daniel Jasper2012-07-161-0/+1
* Refine CFG so that '&&' and '||' don't lead to extra confluence points when u...Ted Kremenek2012-07-141-39/+34
* [analyzer] Construct stack variables directly in their VarDecl.Jordan Rose2012-07-101-23/+30
* [analyzer] Add a comment: why we treat array compound literals as lvalues.Jordan Rose2012-06-181-1/+9
* [analyzer] Array CompoundLiteralExprs need to be treated like lvalues.Jordan Rose2012-06-161-1/+1
* Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."Jordan Rose2012-06-121-2/+2
* [analyzer] Treat LValueBitCasts like regular pointer bit casts.Jordan Rose2012-06-111-2/+2
* [analyzer] Don't crash on LValBitCastAnna Zaks2012-05-251-2/+2
* [analyzer] Bind UnknownVal to InitListExpr for unsupported typesAnna Zaks2012-05-211-2/+4
* [analyzer] For locations, use isGLValue() instead of isLValue().Anna Zaks2012-05-191-9/+9
* Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek2012-05-041-2/+23
* [analyzer] Conjure a symbol to ensure we can identify pointer arithmeticAnna Zaks2012-05-031-0/+20
* [analyzer] dynamic_cast Simplify null value generation.Anna Zaks2012-04-111-8/+2
* [analyzer] dynamic_cast: Better model cast from a reference.Anna Zaks2012-04-101-8/+15
* [analyzer] Add support for C++ dynamic_cast.Anna Zaks2012-04-101-5/+46
* Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek2012-04-061-4/+4
* Handle symbolicating a reference in an initializer expression that we don't u...Ted Kremenek2012-04-051-1/+6
* Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie2012-03-111-1/+1
OpenPOWER on IntegriCloud