summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/MemRegion.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] This patch removes passing around of const-invalidation vs regular...Anton Yartsev2013-09-241-0/+42
* Using the function pointer instead of the function type; this allows us to re...Aaron Ballman2013-07-271-1/+1
* [analyzer] Fix FP warnings when binding a temporary to a local static variablePavel Labath2013-07-261-0/+6
* [analyzer] Accept references to variables declared "extern void" (C only).Jordan Rose2013-05-291-1/+1
* [analyzer] Don't crash if a block doesn't have a type signature.Jordan Rose2013-05-221-3/+12
* [analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks2013-04-201-0/+11
* [analyzer] Flip printPretty and printPrettyAsExpr as per suggestion from Jord...Anna Zaks2013-04-201-4/+4
* [analyzer] Add pretty printing to CXXBaseObjectRegion.Anna Zaks2013-04-151-1/+5
* [analyzer] Address code review for r179395Anna Zaks2013-04-151-15/+24
* [analyzer]Print field region even when the base region is not printableAnna Zaks2013-04-121-5/+29
* [analyzer] Special-case bitfields when finding sub-region bindings.Jordan Rose2013-03-011-0/+4
* [analyzer] Base regions may be invalid when layered on symbolic regions.Jordan Rose2013-02-251-0/+32
* [analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek2013-02-241-0/+8
* [analyzer] Don't canonicalize the RecordDecl used in CXXBaseObjectRegion.Jordan Rose2013-02-221-2/+2
* StaticAnalyzer/Core: Suppress warnings. [-Wunused-variable, -Wunused-function]NAKAMURA Takumi2013-02-211-2/+3
* Whitespace.NAKAMURA Takumi2013-02-211-1/+1
* [analyzer] Record whether a base object region represents a virtual base.Jordan Rose2013-02-211-42/+50
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-3/+2
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-2/+4
* [analyzer] Refactor RegionStore's sub-region bindings traversal.Jordan Rose2013-02-151-2/+23
* Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek2013-02-051-0/+10
* Pull logic to map from VarDecl* to captured region using a helper function. ...Ted Kremenek2012-12-061-17/+24
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-3/+3
* Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer2012-12-011-0/+1
* [analyzer] Fix a crash reported in PR 14400.Anna Zaks2012-11-261-1/+2
* Reapply "[analyzer] Treat fields of unions as having symbolic offsets."Jordan Rose2012-10-101-1/+5
* Temporarily Revert "[analyzer] Treat fields of unions as having symbolic offs...Eric Christopher2012-10-101-5/+1
* [analyzer] Treat fields of unions as having symbolic offsets.Jordan Rose2012-10-101-1/+5
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-1/+1
* [analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks2012-09-171-8/+6
* [analyzer] Don't reimplement an existing function.Anna Zaks2012-09-131-17/+1
* [analyzer] Teach UndefOrNullArgVisitor to track parent regions.Anna Zaks2012-09-121-0/+20
* Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky2012-09-061-4/+4
* [analyzer] Only adjust the type of 'this' when we devirtualize a method call.Jordan Rose2012-08-151-1/+1
* [analyzer] A base class needs a complete definition to provide offsets.Jordan Rose2012-08-151-1/+1
* [analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose2012-08-131-1/+34
* [analyzer] Cluster bindings in RegionStore by base region.Jordan Rose2012-08-091-1/+8
* [analyzer] Cache the "concrete offset base" for regions with symbolic offsets.Jordan Rose2012-08-091-10/+37
* [analyzer] Clean up the printing of FieldRegions for leaks.Jordan Rose2012-08-081-5/+17
* [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose2012-08-081-8/+41
* [analyzer] Don't inline virtual calls unless we can devirtualize properly.Jordan Rose2012-07-121-13/+13
* [analyzer] Anti-aliasing: different heap allocations do not aliasAnna Zaks2012-06-071-0/+4
* [analyzer] Provide debug descriptions for all memory space regions.Jordan Rose2012-06-061-4/+16
* Revert Decl's iterators back to pointer value_type rather than reference valu...David Blaikie2012-06-061-1/+1
* static analyzer: add inlining support for directly called blocks.Ted Kremenek2012-06-011-1/+38
* Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek2012-05-041-6/+29
* Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie2012-04-301-1/+1
* [analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks2012-03-211-0/+13
* Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie2012-03-111-2/+2
* [analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek2012-02-281-0/+17
OpenPOWER on IntegriCloud