summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Handle destructors for the argument to C++ 'delete'.Jordan Rose2013-09-251-1/+24
* [analyzer] This patch removes passing around of const-invalidation vs regular...Anton Yartsev2013-09-241-15/+6
* Add the intrinsic __builtin_convertvectorHal Finkel2013-09-181-0/+1
* Add an implicit dtor CFG node just before C++ 'delete' expressions.Jordan Rose2013-09-031-0/+10
* [analyzer] Add very limited support for temporary destructorsPavel Labath2013-09-021-5/+17
* [analyzer] Refactor conditional expression evaluating codePavel Labath2013-08-231-9/+27
* [analyzer] Fix FP warnings when binding a temporary to a local static variablePavel Labath2013-07-261-1/+12
* [analyzer] Enable pseudo-destructor expressions.Jordan Rose2013-07-231-1/+1
* Revert "[analyzer] Add very limited support for temporary destructors"Jordan Rose2013-07-231-9/+1
* OpenMP: basic support for #pragma omp parallelAlexey Bataev2013-07-191-0/+1
* [analyzer] Include analysis stack in crash traces.Jordan Rose2013-07-191-2/+7
* [analyzer] Handle C++11 member initializer expressions.Jordan Rose2013-07-171-8/+14
* [analyzer] Treat std::initializer_list as opaque rather than aborting.Jordan Rose2013-07-171-3/+2
* [analyzer] Add very limited support for temporary destructorsPavel Labath2013-07-171-1/+9
* Teach static analyzer about AttributedStmtsPavel Labath2013-07-021-1/+1
* PR12086, PR15117Richard Smith2013-06-121-0/+1
* [analyzer] fixup the commentAnna Zaks2013-06-061-1/+1
* [analyzer] Fix a crash that occurs when processing an rvalue array.Anna Zaks2013-06-061-1/+18
* [analyzer] Accept references to variables declared "extern void" (C only).Jordan Rose2013-05-291-1/+3
* [analyzer] Don't try to evaluate MaterializeTemporaryExpr as a constant.Jordan Rose2013-05-021-1/+8
* [analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose2013-05-011-10/+4
* 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
OpenPOWER on IntegriCloud