summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/base-init.cpp
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa".Anna Zaks2013-01-241-1/+1
| | | | | | | | | The idea is to eventually place all analyzer options under "analyzer-config". In addition, this lays the ground for introduction of a high-level analyzer mode option, which will influence the default setting for IPAMode. llvm-svn: 173385
* [analyzer] Though C++ inlining is enabled, don't inline ctors and dtors.Jordan Rose2012-08-311-1/+1
| | | | | | | | | | | | | | | | More generally, this adds a new configuration option 'c++-inlining', which controls which C++ member functions can be considered for inlining. This uses the new -analyzer-config table, so the cc1 arguments will look like this: ... -analyzer-config c++-inlining=[none|methods|constructors|destructors] Note that each mode implies that all the previous member function kinds will be inlined as well; it doesn't make sense to inline destructors without inlining constructors, for example. The default mode is 'methods'. llvm-svn: 163004
* [analyzer] Inline constructors for any object with a trivial destructor.Jordan Rose2012-08-271-1/+0
| | | | | | | | | | | | This allows us to better reason about status objects, like Clang's own llvm::Optional (when its contents are trivially destructible), which are often intended to be passed around by value. We still don't inline constructors for temporaries in the general case. <rdar://problem/11986434> llvm-svn: 162681
* [analyzer] Turn -cfg-add-initializers on by default, and remove the flag.Jordan Rose2012-07-311-1/+1
| | | | llvm-svn: 161060
* [analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose2012-05-161-5/+4
| | | | llvm-svn: 156920
* Begin reworking static analyzer support for C++ method calls. The current ↵Ted Kremenek2011-03-301-0/+1
| | | | | | | | | | | logic was divorced from how we process ordinary function calls, had a tremendous about of redundancy, and relied strictly on inlining behavior (which was incomplete) to provide semantics instead of falling back to the conservative analysis we use for C functions. This is a significant step into making C++ analyzer support more useful. llvm-svn: 128557
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best ↵Argyrios Kyrtzidis2011-02-281-1/+1
| | | | | | misnomer award. llvm-svn: 126676
* CXXBaseObjectRegion is like FieldRegion. Need to blast through it whenZhongxing Xu2011-01-131-1/+1
| | | | | | getting the base region. This makes the RemoveDeadBindings() correct. llvm-svn: 123375
* Support inlining base initializers. We still haven't got it completely right,Zhongxing Xu2011-01-131-0/+30
since the bindings are purged after they are set up. Need to investigate RemoveDeadBindings algorithm. llvm-svn: 123374
OpenPOWER on IntegriCloud