aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
AgeCommit message (Expand)Author
2013-04-03[analyzer] Better model for copying of array fields in implicit copy ctors.Jordan Rose
2013-03-30[analyzer] Restructure ExprEngine::VisitCXXNewExpr to do a bit less work.Jordan Rose
2013-03-30[analyzer] Handle caching out while evaluating a C++ new expression.Jordan Rose
2013-03-28[analyzer] For now assume all standard global 'operator new' functions alloca...Anton Yartsev
2013-03-27[analyzer] Use evalBind for C++ new of scalar types.Jordan Rose
2013-03-16[analyzer] Model trivial copy/move assignment operators with a bind as well.Jordan Rose
2013-02-26[analyzer] Don't look through casts when creating pointer temporaries.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-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-15Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-02Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-01Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-01-31Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-01-30[analyzer] Model trivial copy/move ctors with an aggregate bind.Jordan Rose
2012-12-12[analyzer] Don't crash running destructors for multidimensional arrays.Jordan Rose
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-10-20[analyzer] Assume 'new' never returns NULL if it could throw an exception.Jordan Rose
2012-09-08[analyzer] Cast the result of a placement new-expression to the correct type.Jordan Rose
2012-09-06[analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose
2012-09-05[analyzer] Be more forgiving about calling methods on struct rvalues.Jordan Rose
2012-08-27[analyzer] Inline constructors for any object with a trivial destructor.Jordan Rose
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-08-03[analyzer] Update initializer assertion for delegating constructors.Jordan Rose
2012-07-30[analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-26[analyzer] Don't crash on array constructors and destructors.Jordan Rose
2012-07-26[analyzer] Handle C++ member initializers and destructors.Jordan Rose
2012-07-26[analyzer] Use the CFG to see if a constructor is for a local variable.Jordan Rose
2012-07-26[analyzer] Handle base class initializers and destructors.Jordan Rose
2012-07-19[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on theAnna Zaks
2012-07-18[analyzer] Remove unused ExprEngine::VisitCXXTemporaryObjectExpr.Jordan Rose
2012-07-16[analyzer] Handle new-expressions with initializers for scalars.Jordan Rose
2012-07-10[analyzer] Add a CXXDestructorCall CallEvent.Jordan Rose
2012-07-02[analyzer] Introduce CXXAllocatorCall to handle placement arg invalidation.Jordan Rose
2012-07-02[analyzer] Add generic preCall and postCall checks.Jordan Rose
2012-07-02[analyzer] Convert CXXConstructExpr over to use CallEvent for evaluation.Jordan Rose
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose
2012-06-22Implement initial static analysis inlining support for C++ methods.Ted Kremenek
2012-06-20[analyzer] Invalidate placement args; return the pointer given to placement newJordan Rose
2012-03-16Fix analyzer crash on analyzing 'catch' with no condition variable.Ted Kremenek
2012-03-15[analyzer] Remove AggExprVisitor, a dead class that assisted in visiting C++ ...Jordy Rose
2012-03-14'#if 0' out a variable that's only used in other preprocessor-disabled code.Matt Beaumont-Gay
2012-03-14[Analyser] Removes more recursive visitations in ExprEngine that are noErik Verbruggen
2012-03-10[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek
2012-02-29Remove a recursive visitiation in ExprEngine that is no longer neededErik Verbruggen