summaryrefslogtreecommitdiffstats
path: root/test/Analysis/uninit-vals-ps.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Clarify 'uninitialized function argument' messagesDaniel Marjamaki2017-03-081-1/+1
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-1/+1
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-1/+1
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-1/+1
* [analyzer] clarify 'result is garbage value' when it is out of boundsDaniel Marjamaki2017-02-271-0/+6
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-1/+1
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-1/+1
* [analyzer] Don't warn for returning void expressions in void blocks.Jordan Rose2013-04-171-1/+16
* [analyzer] Do not report use of undef on "return foo();" when the return type...Anna Zaks2012-09-121-0/+12
* Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek2011-07-281-1/+0
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-2/+2
* [analyzer] Migrate UndefResultChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-2/+2
* Clean up obtuse wording of checker diagnostic of using an uninitialized value...Ted Kremenek2010-09-091-1/+1
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-2/+2
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151-2/+2
* Replace clang-cc with clang -cc1.Zhongxing Xu2009-12-141-2/+2
* Eliminate &&s in tests.Daniel Dunbar2009-11-081-1/+1
* Shorten the static analyzer diagnostic for 'use of garbage value'.Ted Kremenek2009-09-241-3/+3
* Have divide-by-zero checker not handled undefined denominators. This is hand...Ted Kremenek2009-09-161-3/+3
* Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek2009-09-111-4/+4
* Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek2009-07-291-1/+0
* Fix PR 4631. The compound initializers of unions were not being evaluated, whichTed Kremenek2009-07-281-0/+22
* Fix regression in attribute 'nonnull' checking when a transition nodeTed Kremenek2009-07-281-0/+18
* Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek2009-07-101-1/+1
* Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek2009-07-061-1/+2
* Enhance diagnostics value tracking logic for null dereferences and uninitiali...Ted Kremenek2009-05-131-1/+1
* Add a few more analyzer test cases.Ted Kremenek2009-04-021-0/+15
* Rename clang to clang-cc.Daniel Dunbar2009-03-241-2/+2
* Fix PR3509 by providing correct starting locations for initializer listsDouglas Gregor2009-03-011-1/+1
* Static Analyzer driver/options (partial) cleanup:Ted Kremenek2009-02-171-1/+1
* Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar2009-01-201-2/+2
* Fix <rdar://problem/6451816>:Ted Kremenek2008-12-171-2/+20
* Add checker test case: warn about returning an uninitialized value to the cal...Ted Kremenek2008-11-211-0/+7
* Enable test file for 'region store' in addition to basic store.Ted Kremenek2008-11-211-1/+2
* Split region store specific test cases.Zhongxing Xu2008-11-201-17/+0
* Add test for path-sensitive uninit-val detection involving struct field.Zhongxing Xu2008-11-191-0/+18
* Fixed bug in the transfer function for dereferences: the loaded value from Ev...Ted Kremenek2008-05-211-0/+8
* When reporting branch conditions that evaluate to an uninitialized value,Ted Kremenek2008-05-051-0/+17
* Added uninitialized-values (path-sensitive) test case as a regression testTed Kremenek2008-04-241-0/+18
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-15 12:57:51 +0000