aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/GRExprEngine.cpp
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-22If the unary operator is prefix and an lvalue (in C++), bindZhongxing Xu
2010-12-22After inlining the CXXConstructExpr, bind the temporary object region to it.Zhongxing Xu
2010-12-20Rename 'VisitLocation' to 'visitLocation'.Ted Kremenek
2010-12-20Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.Ted Kremenek
2010-12-19If the initializer is an rvalue and the variable is a const reference,Zhongxing Xu
2010-12-18The evaluation of dereference and address-of is identical.Zhongxing Xu
2010-12-17Rename several methods/functions in the analyzerTed Kremenek
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-12-10It's kindof silly that ExtQuals has an ASTContext&, and we can use thatJohn McCall
2010-12-08Remove the TypesCompatibleExprClass AST node. Merge its functionality into Bi...Francois Pichet
2010-12-07Type traits intrinsic implementation: __is_base_of(T, U)Francois Pichet
2010-12-06Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoreticalJohn McCall
2010-12-04More anonymous struct/union redesign. This one deals with anonymous field use...Francois Pichet
2010-12-04Although we currently have explicit lvalue-to-rvalue conversions, they'reJohn McCall
2010-12-03Also include the pointer address of the ExplodedNodeTed Kremenek
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-12-02Simplify the ASTs by consolidating ObjCImplicitGetterSetterExpr and ObjCPrope...John McCall
2010-12-01Rename all 'AssumeXXX' methods in libCheckerTed Kremenek
2010-12-01Rename all 'EvalXXX' methods in libChecker toTed Kremenek
2010-12-01Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek
2010-12-01Restore the lvalue-to-rvalue conversion patch with a minimal fix.John McCall
2010-11-30L-value to r-value conversion is not ready for prime-time.John McCall
2010-11-30Introduce an r-value to l-value cast kind. I'm not promising anythingJohn McCall
2010-11-26Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion.Zhongxing Xu
2010-11-25For CFGAutomaticObjDtor, the type may be reference type, e.g., const A &c = A();Zhongxing Xu
2010-11-25handle CXXFunctionalCastExpr in visitLValue and Environment.Zhongxing Xu
2010-11-24Let StackFrameContext represent if the call expr is evaluated as lvalue.Zhongxing Xu
2010-11-24Use StackFrameContext directly in CallEnter program point. Then we don't needZhongxing Xu
2010-11-24Add an assert() to catch errors using EvalLoad(). Reviewed by kremenek.Zhanyong Wan
2010-11-20Handle CFGAutomaticObjDtor. Zhongxing Xu
2010-11-18Added method for handling CXXOperatorCallExpr differently from CallExpr if CX...Marcin Swiderski
2010-11-17Add skeleton for handling various cfg dtors.Zhongxing Xu
2010-11-16Handle member initializer in C++ ctor. Zhongxing Xu
2010-11-16Kill CK_Unknown and flesh out the documentation for the existing CastKinds.John McCall
2010-11-15Add a new expression kind, OpaqueValueExpr, which is useful forJohn McCall
2010-11-15Assorted work leading towards the elimination of CK_Unknown.John McCall
2010-11-15Add skeleton for handling other kinds of CFGElements.Zhongxing Xu
2010-11-14Add a few more complex-related cast kinds that arise due to arbitraryJohn McCall
2010-11-13Introduce five new cast kinds for various conversions into andJohn McCall
2010-11-13Introduce a null-to-pointer implicit cast kind.John McCall
2010-11-01Now initializer of C++ record type is visited as block-level expr. Zhongxing Xu
2010-10-20Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely su...Ted Kremenek
2010-10-14Eliminate usage of ObjCSuperExpr used forFariborz Jahanian
2010-10-14Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II.Zhongxing Xu
2010-09-23Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXX...Ted Kremenek
2010-09-16Refactored BugReporter to refer to EndNode as ErrorNode. We currently make th...Tom Care
2010-09-16Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patchZhongxing Xu
2010-09-14Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect t...Tom Care