summaryrefslogtreecommitdiffstats
path: root/test/Analysis/misc-ps-region-store.cpp
Commit message (Expand)AuthorAgeFilesLines
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-2/+2
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-2/+2
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-2/+2
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-2/+2
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-2/+2
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-2/+2
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-2/+2
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-2/+2
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-2/+2
* Fix all tests under test/CXX (and test/Analysis) to pass if clang's defaultRichard Smith2016-08-311-1/+1
* Add -Wtautological-undefined-compare and -Wundefined-bool-conversion warningsRichard Trieu2014-06-061-2/+2
* [analyzer] Extend IdenticalExprChecker to check the two branches of an if.Jordan Rose2014-02-191-0/+1
* [analyzer] Add new debug helper clang_analyzer_warnIfReached.Jordan Rose2013-10-031-40/+25
* Add test case for PR 12921.Ted Kremenek2013-03-221-0/+19
* [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa".Anna Zaks2013-01-241-2/+2
* Do not model loads from complex types, since we don't accurately model the im...Ted Kremenek2013-01-091-0/+16
* Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <...Ted Kremenek2012-11-291-0/+11
* Fix another false positive due to a CXX temporary object appearing in a C ini...Ted Kremenek2012-11-281-0/+38
* Provide stop-gap solution to crash reported in PR 14436.Ted Kremenek2012-11-271-0/+23
* [analyzer] Fix a crash reported in PR 14400.Anna Zaks2012-11-261-0/+5
* Fix analyzer tests.Ted Kremenek2012-08-241-2/+2
* [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests.Jordan Rose2012-08-211-2/+2
* [analyzer] Treat C++ 'throw' as a sink.Jordan Rose2012-08-181-2/+4
* [analyzer] Use a more robust check for null in CallAndMessageChecker.Jordan Rose2012-08-041-4/+4
* [analyzer] Add a simple check for initializing reference variables with null.Jordan Rose2012-08-021-1/+15
* Implement initial static analysis inlining support for C++ methods.Ted Kremenek2012-06-221-0/+20
* Teach the analyzer about CXXScaleValueInitExpr.Ted Kremenek2012-05-081-0/+14
* Handle symbolicating a reference in an initializer expression that we don't u...Ted Kremenek2012-04-051-0/+10
* Fix static analyzer crash on code taking the address of a field. Fixes PR 11...Ted Kremenek2012-03-221-0/+16
* Fix analyzer crash on analyzing 'catch' with no condition variable.Ted Kremenek2012-03-161-0/+23
* [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek2012-03-101-2/+25
* Fix typo.Ted Kremenek2011-12-011-1/+1
* When analyzing a C++ method (without a specific caller), assume 'this' is non...Ted Kremenek2011-12-011-0/+14
* Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac...Ted Kremenek2011-11-291-0/+8
* Fixed crash with initializer lists and unnamed bitfields in the RegionStoreJim Goodnow II2011-11-161-0/+17
* Fix crash when analyzing C++ code involving constant enums and switch stateme...Ted Kremenek2011-09-301-0/+26
* [analyzer] teach ExprEngine about loads from static C++ class fields. Fixes ...Ted Kremenek2011-08-161-0/+27
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-2/+2
* Teach RegionStore not to symbolic array values whose indices it cannot reason...Ted Kremenek2011-05-191-0/+19
* static analyzer: invalidate by-ref arguments passed to constructors in a 'new...Ted Kremenek2011-04-121-0/+16
* Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '...Ted Kremenek2011-04-121-0/+19
* RegionStoreManager::invalidateRegions: treat classes the same as structs.Ted Kremenek2011-04-121-0/+14
* Teach GRState::getSValAsScalarOrLoc() about C++ references.Ted Kremenek2011-04-121-0/+10
* C++ static analysis: also invalidate fields of objects that are the callees i...Ted Kremenek2011-04-111-0/+33
* Start overhauling static analyzer support for C++ constructors. The inlining...Ted Kremenek2011-04-081-0/+25
* Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn...Ted Kremenek2011-03-311-0/+14
* Teach static analyzer about the basics of handling new[]. We still don't sim...Ted Kremenek2011-03-311-0/+8
* Begin reworking static analyzer support for C++ method calls. The current lo...Ted Kremenek2011-03-301-0/+16
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-2/+2
* [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-03 17:02:39 +0000