aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/complex.c
AgeCommit message (Expand)Author
2009-11-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek
2009-11-08Eliminate &&s in tests.Daniel Dunbar
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-21Prep for new warnings about control flow falling off the ends ofMike Stump
2009-07-10Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek
2009-07-06Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-03-24Rename clang to clang-cc.Daniel Dunbar
2009-02-17Update several tests to explicitly use BasicConstraintManager as well as to u...Ted Kremenek
2009-02-17Static Analyzer driver/options (partial) cleanup:Ted Kremenek
2009-01-22This test case now passes with RegionStore.Ted Kremenek
2009-01-20Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar
2008-06-21Include stdint.h instead of stdio.h.Ted Kremenek
2008-06-19Introduce initial transfer function support for __imag__ and __real__. We don'tTed Kremenek