summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* C++1y: Allow aggregates to have default initializers.Richard Smith2013-04-201-0/+1
* [analyzer] Call proper callback for const regions escaped other then on call.Anton Yartsev2013-04-191-1/+2
* [analyzer] Don't crash if we cache out after making a temporary region.Jordan Rose2013-04-181-1/+5
* Implement CapturedStmt ASTTareq A. Siraj2013-04-161-0/+1
* Basic support for Microsoft property declarations andJohn McCall2013-04-161-0/+1
* [analyzer] Don't assert on a temporary of pointer-to-member type.Jordan Rose2013-04-151-1/+2
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-4/+6
* [analyzer] Show path diagnostic for C++ initializersAnna Zaks2013-04-051-2/+4
* [analyzer] Correctly handle destructors for lifetime-extended temporaries.Jordan Rose2013-04-031-14/+31
* [analyzer] Better model for copying of array fields in implicit copy ctors.Jordan Rose2013-04-031-3/+30
* Add static analyzer support for conditionally executing static initializers.Ted Kremenek2013-03-291-0/+28
* [analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks2013-03-281-3/+14
* [analyzer] Fix ExprEngine::ViewGraph to handle C++ initializers.Jordan Rose2013-03-221-40/+55
* [analyzer] Track malloc'd memory into struct fields.Jordan Rose2013-03-201-6/+0
* [analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose2013-03-161-4/+4
* [analyzer] Don't look through casts when creating pointer temporaries.Jordan Rose2013-02-261-8/+11
* [analyzer] Handle reference parameters with default values.Jordan Rose2013-02-251-2/+5
* Remove the CFGElement "Invalid" state.David Blaikie2013-02-231-4/+2
* [analyzer] Make sure a materialized temporary matches its bindings.Jordan Rose2013-02-221-34/+33
* [analyzer] Fix buildbot by not reusing a variable name.Jordan Rose2013-02-221-4/+4
* [analyzer] Make sure a temporary object region matches its initial bindings.Jordan Rose2013-02-211-4/+31
* Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie2013-02-211-18/+18
* Replace CFGElement llvm::cast support to be well-defined.David Blaikie2013-02-211-9/+9
* [analyzer] Record whether a base object region represents a virtual base.Jordan Rose2013-02-211-2/+4
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-10/+9
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-28/+31
* [analyzer] Use Clang's evaluation for global constants and default arguments.Jordan Rose2013-02-131-1/+33
* [analyzer] Add pointer escape type param to checkPointerEscape callbackAnna Zaks2013-02-071-4/+7
* [analyzer]Revert part of r161511; suppresses leak false positives in C++Anna Zaks2013-02-061-0/+6
* [analyzer] C++ initializers may require cleanups; look through these.Jordan Rose2013-01-261-1/+1
* Fix CastDavid Greene2013-01-151-1/+2
* Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko2013-01-121-1/+1
* [analyzer] Rename callback EndPath -> EndFunctionAnna Zaks2013-01-031-2/+2
* [analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks2012-12-211-9/+6
* [analyzer] Add the pointer escaped callback.Anna Zaks2012-12-201-6/+116
* fixed line endingsAnton Yartsev2012-12-141-22/+22
* added post-statement callback to CXXNewExpr and pre-statement callback to CXX...Anton Yartsev2012-12-141-15/+22
* [analyzer] Propagate the checker's state from checkBranchConditionAnna Zaks2012-12-141-3/+3
* [analyzer] Optimization heuristic: do not reanalyze every ObjC method asAnna Zaks2012-12-071-2/+4
* [analyzer] Remove unused fields from ExprEngine.Jordan Rose2012-12-061-14/+7
* [analyzer] Remove checks that predate the linearized CFG.Jordan Rose2012-12-061-10/+1
* [analyzer] Use optimized assumeDual for branches.Jordan Rose2012-12-061-6/+12
* [analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose2012-12-061-11/+6
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-7/+7
* [analyzer] Mark symbol values as dead in the environment.Jordan Rose2012-11-151-6/+22
* [analyzer] Run remove dead on end of path.Anna Zaks2012-11-031-5/+19
* [analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks2012-11-031-9/+9
* [analyzer] Handle 'SomeVar.SomeEnumConstant', which is legal in C++.Jordan Rose2012-10-231-7/+7
* [analyzer] Replace -analyzer-no-eagerly-trim-egraph with graph-trim-interval.Jordan Rose2012-10-231-4/+5
* [analyzer] Create a temporary region when accessing a struct rvalue.Jordan Rose2012-10-171-27/+50
OpenPOWER on IntegriCloud