| 651f13cea278ec967336033dd032faef0e9fc2ec |
|
24-Apr-2014 |
Stephen Hines <srhines@google.com> |
Updated to Clang 3.5a.
Change-Id: I8127eb568f674c2e72635b639a3295381fe8af82
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| e768c974a696388072effd617e87af3f8716a581 |
|
05-Sep-2013 |
Pavel Labath <labath@google.com> |
[analyzer] Restructure a test file
Summary:
I've had a test failure here while experimenting and I've found that it's
impossible to find what is wrong with the previous structure of the file. So I
have grouped the expected output with the function that produces it, to make
searching for discrepancies more obvious.
Reviewers: jordan_rose
CC: cfe-commits
Differential Revision: http://llvm-reviews.chandlerc.com/D1595
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@190037 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 3d115cfd1b9c48155d478b1f2f14dba1b6ba9a91 |
|
25-Jan-2013 |
Dmitri Gribenko <gribozavr@gmail.com> |
Remove useless 'XPASS: *' from tests
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@173511 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 5a1ffe98b04120846a15f7105905b5f363b08635 |
|
06-Sep-2012 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] Always include destructors in the analysis CFG.
While destructors will continue to not be inlined (unless the analyzer
config option 'c++-inlining' is set to 'destructors'), leaving them out
of the CFG is an incomplete model of the behavior of an object, and
can cause false positive warnings (like PR13751, now working).
Destructors for temporaries are still not on by default, since
(a) we haven't actually checked this code to be sure it's fully correct
(in particular, we probably need to be very careful with regard to
lifetime-extension when a temporary is bound to a reference,
C++11 [class.temporary]p5), and
(b) ExprEngine doesn't actually do anything when it sees a temporary
destructor in the CFG -- not even invalidate the object region.
To enable temporary destructors, set the 'cfg-temporary-dtors' analyzer
config option to '1'. The old -cfg-add-implicit-dtors cc1 option, which
controlled all implicit destructors, has been removed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163264 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 3f635c08b2d0b2d5bafb38da09589cb238407faa |
|
14-Jul-2012 |
Ted Kremenek <kremenek@apple.com> |
Refine CFG so that '&&' and '||' don't lead to extra confluence points when used in a branch, but
instead push the terminator for the branch down into the basic blocks of the subexpressions of '&&' and '||'
respectively. This eliminates some artifical control-flow from the CFG and results in a more
compact CFG.
Note that this patch only alters the branches 'while', 'if' and 'for'. This was complex enough for
one patch. The remaining branches (e.g., do...while) can be handled in a separate patch, but they
weren't immediately tackled because they were less important.
It is possible that this patch introduces some subtle bugs, particularly w.r.t. to destructor placement.
I've tried to audit these changes, but it is also known that the destructor logic needs some refinement
in the area of '||' and '&&' regardless (i.e., their are known bugs).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@160218 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| aa5609891df937291bf962dd2fc7deb2ceae292f |
|
13-Mar-2012 |
Anna Zaks <ganna@apple.com> |
[analyzer] Use recursive AST visitor to drive simple visitation order in
AnalysisConsumer.
As a result:
- We now analyze the C++ methods which are defined within the
class body. These were completely skipped before.
- Ensure that AST checkers are called on functions in the
order they are defined in the Translation unit.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152650 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 337e4dbc6859589b8878146a88bebf754e916702 |
|
10-Mar-2012 |
Ted Kremenek <kremenek@apple.com> |
[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it doesn't understand. We registered
as aborted, but didn't treat such cases as sinks in the ExplodedGraph.
Along the way, add basic support for CXXCatchStmt, expanding the set of code we actually analyze (hopefully correctly).
Fixes: <rdar://problem/10892489>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152468 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 682060c5d95f6e4f79536013781ab0870cdd3850 |
|
23-Dec-2011 |
Ted Kremenek <kremenek@apple.com> |
Colorize and condense CFG pretty-printing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@147203 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 960809e7e9f4a6e949797d20bc081da80495c0e1 |
|
16-Nov-2011 |
Abramo Bagnara <abramo.bagnara@gmail.com> |
Added missing ImplicitCastExpr around conversion operator call.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@144850 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 882998923889a2fcce9b49696506c499e22cf38f |
|
29-Jul-2011 |
Ted Kremenek <kremenek@apple.com> |
[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs.
The motivation of this large change is to drastically simplify the logic in ExprEngine going forward.
Some fallout is that the output of some BugReporterVisitors is not as accurate as before; those will
need to be fixed over time. There is also some possible performance regression as RemoveDeadBindings
will be called frequently; this can also be improved over time.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@136419 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| d40066b0fb883839a9100e5455e33190b9b8abac |
|
05-Apr-2011 |
Ted Kremenek <kremenek@apple.com> |
Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes:
1) Change the CFG to include the DeclStmt for conditional variables, instead of using the condition itself as a faux DeclStmt.
2) Update ExprEngine (the static analyzer) to understand (1), so not to regress.
3) Update UninitializedValues.cpp to initialize all tracked variables to Uninitialized at the start of the function/method.
4) Only use the SelfReferenceChecker (SemaDecl.cpp) on global variables, leaving the dataflow analysis to handle other cases.
The combination of (1) and (3) allows the dataflow-based -Wuninitialized to find self-init problems when the initializer
contained control-flow.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@128858 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| abea951c34876a5374d0e3678c7989b225c5c895 |
|
28-Feb-2011 |
Anders Carlsson <andersca@mac.com> |
Add -fcxx-exceptions to all tests that use C++ exceptions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126599 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| e41721e7dfabcc15cb50be9075a4153f1ad648ea |
|
19-Feb-2011 |
Anders Carlsson <andersca@mac.com> |
Pass -fexceptions to all tests that use try/catch/throw.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126037 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 2d67b90a21c9c1093e6598809c2cbc832919cfe6 |
|
17-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Use the new registration mechanism for the debugging info "checks".
The relative checker package is 'debug':
'-dump-live-variables' is replaced by '-analyzer-checker=debug.DumpLiveVars'
'-cfg-view' is replaced by '-analyzer-checker=debug.ViewCFG'
'-cfg-dump' is replaced by '-analyzer-checker=debug.DumpCFG'
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125780 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 81bc7d07b701042371a5723b6f394cd2482ed7be |
|
01-Nov-2010 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Make all CXXConstructExpr's block-level expressions. This is required by
method inlining. Temporarily fail a test case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117907 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| b1c52870b8c2feaa7cd112295368bec53af490a0 |
|
25-Oct-2010 |
Marcin Swiderski <marcin.sfider@gmail.com> |
Added generation of destructors for constant size arrays.
There's only one destructor call generated for each not empty array (at least for now this should be enough).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117251 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 0e97bcbee9d5f7735edecbccfb5031a2f065f286 |
|
01-Oct-2010 |
Marcin Swiderski <marcin.sfider@gmail.com> |
Added generating CFGAutomaticObjDtors for exception variable in catch statement.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@115266 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 47575f1f775f5f250be4f395fa694a7274a65f33 |
|
01-Oct-2010 |
Marcin Swiderski <marcin.sfider@gmail.com> |
Added generating CFGAutomaticObjDtors for init statement, condition variable and implicit scope in for statement.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@115265 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 8ae6058cecba902c0069c24bdc9c26d475559291 |
|
01-Oct-2010 |
Marcin Swiderski <marcin.sfider@gmail.com> |
dded generating CFGAutomaticObjDtors for condition variable and implicit scopes in switch statement.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@115264 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 05adedcb5e199e377e35f576288caf5ceed40136 |
|
01-Oct-2010 |
Marcin Swiderski <marcin.sfider@gmail.com> |
Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in while and do statements.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@115262 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| 04e046cbf7153fc261d730d460f081322d5c42f6 |
|
01-Oct-2010 |
Marcin Swiderski <marcin.sfider@gmail.com> |
Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in if statement.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@115256 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|
| fcb72ac985c26372315fabc08d43d6f66ff906b4 |
|
01-Oct-2010 |
Marcin Swiderski <marcin.sfider@gmail.com> |
Added:
- Adding LocalScope for CompoundStmt,
- Adding CFGAutomaticObjDtors for end of scope, return, goto, break, continue,
- Regression tests for above cases.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@115252 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
|