aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngine.cpp
AgeCommit message (Expand)Author
2013-05-02[analyzer] Don't try to evaluate MaterializeTemporaryExpr as a constant.Jordan Rose
2013-05-01[analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose
2013-04-20C++1y: Allow aggregates to have default initializers.Richard Smith
2013-04-19[analyzer] Call proper callback for const regions escaped other then on call.Anton Yartsev
2013-04-18[analyzer] Don't crash if we cache out after making a temporary region.Jordan Rose
2013-04-16Implement CapturedStmt ASTTareq A. Siraj
2013-04-16Basic support for Microsoft property declarations andJohn McCall
2013-04-15[analyzer] Don't assert on a temporary of pointer-to-member type.Jordan Rose
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-04-05[analyzer] Show path diagnostic for C++ initializersAnna Zaks
2013-04-03[analyzer] Correctly handle destructors for lifetime-extended temporaries.Jordan Rose
2013-04-03[analyzer] Better model for copying of array fields in implicit copy ctors.Jordan Rose
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2013-03-22[analyzer] Fix ExprEngine::ViewGraph to handle C++ initializers.Jordan Rose
2013-03-20[analyzer] Track malloc'd memory into struct fields.Jordan Rose
2013-03-16[analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose
2013-02-26[analyzer] Don't look through casts when creating pointer temporaries.Jordan Rose
2013-02-25[analyzer] Handle reference parameters with default values.Jordan Rose
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-22[analyzer] Make sure a materialized temporary matches its bindings.Jordan Rose
2013-02-22[analyzer] Fix buildbot by not reusing a variable name.Jordan Rose
2013-02-21[analyzer] Make sure a temporary object region matches its initial bindings.Jordan Rose
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2013-02-21[analyzer] Record whether a base object region represents a virtual base.Jordan Rose
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-13[analyzer] Use Clang's evaluation for global constants and default arguments.Jordan Rose
2013-02-07[analyzer] Add pointer escape type param to checkPointerEscape callbackAnna Zaks
2013-02-06[analyzer]Revert part of r161511; suppresses leak false positives in C++Anna Zaks
2013-01-26[analyzer] C++ initializers may require cleanups; look through these.Jordan Rose
2013-01-15Fix CastDavid Greene
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2013-01-03[analyzer] Rename callback EndPath -> EndFunctionAnna Zaks
2012-12-21[analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-14fixed line endingsAnton Yartsev
2012-12-14added post-statement callback to CXXNewExpr and pre-statement callback to CXX...Anton Yartsev
2012-12-14[analyzer] Propagate the checker's state from checkBranchConditionAnna Zaks
2012-12-07[analyzer] Optimization heuristic: do not reanalyze every ObjC method asAnna Zaks
2012-12-06[analyzer] Remove unused fields from ExprEngine.Jordan Rose
2012-12-06[analyzer] Remove checks that predate the linearized CFG.Jordan Rose
2012-12-06[analyzer] Use optimized assumeDual for branches.Jordan Rose
2012-12-06[analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-11-15[analyzer] Mark symbol values as dead in the environment.Jordan Rose
2012-11-03[analyzer] Run remove dead on end of path.Anna Zaks
2012-11-03[analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks
2012-10-23[analyzer] Handle 'SomeVar.SomeEnumConstant', which is legal in C++.Jordan Rose