aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Analysis/array-struct.c
AgeCommit message (Expand)AuthorFilesLines
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-1/+1
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen1-1/+1
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-1/+1
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen1-1/+1
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-1/+1
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen1-1/+1
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen1-1/+1
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen1-1/+1
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen1-1/+1
2016-12-01[analyzer] Drop explicit mention of range constraint solverDominic Chen1-1/+1
2016-09-13[analyzer] Fix ExprEngine::VisitMemberExprAlexander Shaposhnikov1-0/+11
2015-02-05[analyzer] Relax an assertion in VisitLvalArraySubscriptExprAnna Zaks1-0/+16
2012-10-01[analyzer] Add a test for PR13927 "offsetof replacement flagged as null deref"Jordan Rose1-0/+8
2012-08-24Fix analyzer tests.Ted Kremenek1-1/+1
2012-08-22Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek1-1/+0
2012-08-16Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek1-1/+1
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek1-2/+2
2011-07-28Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek1-2/+0
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis1-4/+4
2011-02-15[analyzer] Use the new registration mechanism on some of the experimental int...Argyrios Kyrtzidis1-4/+4
2010-07-29Move new test (that requires RegionStore) into its own file.Jordy Rose1-23/+0
2010-07-29Use a LazyCompoundVal to handle initialization with a string literal, rather ...Jordy Rose1-0/+23
2010-02-05Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek1-4/+4
2009-12-15Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar1-4/+4
2009-12-14Replace clang-cc with clang -cc1.Zhongxing Xu1-4/+4
2009-11-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek1-4/+4
2009-11-09Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.Zhongxing Xu1-1/+1
2009-11-08Eliminate &&s in tests.Daniel Dunbar1-3/+3
2009-11-07Implement -Wconversion. Off by default, in the non-gcc group. There'sJohn McCall1-1/+1
2009-07-30Add casts to avoid a bunch of unused expr warnings. (They aren't reported rig...Anders Carlsson1-1/+1
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek1-2/+0
2009-07-21Remove stale comment and fix RUN line.Ted Kremenek1-3/+1
2009-07-10Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek1-2/+2
2009-07-06Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek1-1/+3
2009-06-29Invalidate the alloca region by setting its default value to conjured symbol.Zhongxing Xu1-0/+12
2009-06-28Now this test case passes.Zhongxing Xu1-2/+2
2009-06-28Invalidate a field of struct type by setting its default value to conjured Zhongxing Xu1-0/+11
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek1-1/+0
2009-06-11Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See theZhongxing Xu1-0/+10
2009-05-20Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve().Zhongxing Xu1-1/+4
2009-05-20Add comments to test case.Zhongxing Xu1-0/+2
2009-05-20* API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu1-0/+1
2009-05-12Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu1-0/+10
2009-05-04Per conversations with Zhongxing, add an 'element type' toTed Kremenek1-3/+5
2009-05-03region store: make Retrieve() can retrieve embedded array correctly. AlsoZhongxing Xu1-0/+11
2009-03-24Rename clang to clang-cc.Daniel Dunbar1-5/+5
2009-03-18add test case.Zhongxing Xu1-0/+15
2009-02-19add test case.Zhongxing Xu1-0/+7
2009-02-17Update several tests to explicitly use BasicConstraintManager as well as to u...Ted Kremenek1-3/+5
2009-02-17Static Analyzer driver/options (partial) cleanup:Ted Kremenek1-3/+3
generated by cgit v1.1 at 2025-10-13 00:01:20 +0000