| 9ed6d8068f767819951bc4eebf6f4912087c442a |
|
25-Apr-2013 |
Anna Zaks <ganna@apple.com> |
[analyzer] Teach DeadStoreChecker to look though BO_Comma and disregard the LHS.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@180579 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| cdc3a89d5de90b2299c56f4a46c3de590c5184d1 |
|
24-Aug-2012 |
Ted Kremenek <kremenek@apple.com> |
Fix analyzer tests.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162588 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| e3f3825bd82f84f2a1ae0a02274a33298bb720b3 |
|
22-Aug-2012 |
Ted Kremenek <kremenek@apple.com> |
Remove BasicConstraintManager. It hasn't been in active service for a while.
As part of this change, I discovered that a few of our tests were not testing
the RangeConstraintManager. Luckily all of those passed when I moved them
over to use that constraint manager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162384 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| bb811cab1bfa91074f1992b154fcb0c288e6eda3 |
|
04-Apr-2012 |
Ted Kremenek <kremenek@apple.com> |
Look through chains of 'x = y = z' when employing silencing heuristics in the DeadStoresChecker.
Fixes <rdar://problem/11185138>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@154040 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 5faf5d31fa634e1fdb576c4d9708cd4efa5ea310 |
|
28-Jan-2012 |
Jean-Daniel Dupas <devlists@shadowlab.org> |
Remove the "C" in "implicitly declaring C library function" diagnostic
because all functions are not C functions (i.e. NSLog).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@149150 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| a8180e5a8795b4b80587662167dfc13646a494a1 |
|
20-Jan-2012 |
Ted Kremenek <kremenek@apple.com> |
Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148533 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| a4c7a4314ffbe402091695874e93d9b0a79c8099 |
|
29-Jul-2011 |
Ted Kremenek <kremenek@apple.com> |
Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@136422 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| ade3195a201e16e989e9f93a568fb1806519077c |
|
12-Mar-2011 |
Ted Kremenek <kremenek@apple.com> |
Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@127531 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| c4d2c9074be6eb2091086eddd6c8f052f3b245c8 |
|
28-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126676 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| a676d501a001657892c483bd4d651650e168f337 |
|
28-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Move the DeadStores checker out of the 'core' package.
-Now it gets enabled with '-analyzer-checker=DeadStores'.
-The driver passes the above flag by default.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126612 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 65d39251ff57b8e33cf6d3a7fcc6aa1c6f8cdc68 |
|
24-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126440 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 38c8fe705ec4a8efa8992b99ab6d264fff14ca36 |
|
24-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
Allow passing a list of comma separated checker names to -analyzer-checker, e.g:
-analyzer-checker=cocoa,unix
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126372 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 7dd445ec20e704846cfbdb132e56539280d71311 |
|
17-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
DeadStoresChecker
ObjCMethSigsChecker
ObjCUnusedIvarsChecker
SizeofPointerChecker
ObjCDeallocChecker
SecuritySyntaxChecker
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125779 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| c9f2e0f286500c7e747849b3aa9c0e67a4dc90d7 |
|
15-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125611 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| f4e532b5a1683a9f6c842f361c7415bf3474315f |
|
12-Feb-2011 |
Ted Kremenek <kremenek@apple.com> |
Don't emit a dead store for '++' operations unless it occurs with a return statement. We've never seen any other cases that were real bugs.
Fixes <rdar://problem/6962292>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125419 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 848ec83483ca4ba52ed72c7e29ebc330f8c87252 |
|
12-Feb-2011 |
Ted Kremenek <kremenek@apple.com> |
Don't report dead stores on unreachable code paths. Fixes <rdar://problem/8405222>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125415 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 56b1f71156db11b9c8234ca621c29213a73218e0 |
|
13-Jan-2011 |
Ted Kremenek <kremenek@apple.com> |
Remove warning in dead stores checker for
dead stores within nested assignments. I have
never seen an actual bug found by this specific
warning, and it can lead to many false positives.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123394 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 1b2ad2fd9e2d5352144481aa1fd995d333d9adc9 |
|
20-Sep-2010 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
Revert r114316, -Wunused-value enabled by default was intended.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@114318 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 6dff2288a8054bdbc97217568e5831bcce809db8 |
|
19-Sep-2010 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
Make -Wunused-value off by default, matching GCC. Fixes rdar://7126194.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@114316 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 96ebad66c451d79c9f57b1edb31efaeeb23b9a01 |
|
09-Sep-2010 |
Ted Kremenek <kremenek@apple.com> |
Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().
The end result is now we eagarly constant-fold symbols in the analyzer that are perfectly constrained
to be a constant value. This allows us to recover some path-sensitivity in some cases by lowering
the required level of reasoning power needed to evaluate some expressions.
The net win from this change is that the false positive in PR 8015 is fixed, and we also
find more idempotent operations bugs.
We do, however, regress with the BugReporterVisitors, which need to be modified to understand
this constant folding (and look past it). This causes some diagnostic regressions in plist-output.m
which will get addressed in a future patch. plist-output.m is now marked XFAIL, while
plist-output-alternate.m now tests that the plist output is working, but with the suboptimal
diagnostics. This second test file will eventually be removed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@113477 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 58f9e13e87e57236fee4b914eea9be6f92a1c345 |
|
05-Sep-2010 |
Chris Lattner <sabre@nondot.org> |
make clang print types as "const int *" instead of "int const*",
which is should have done from the beginning. As usual, the most
fun with this sort of change is updating all the testcases.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@113090 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| ef52bcb606c73950139a775af61495f63fbc3603 |
|
24-Aug-2010 |
Tom Care <tom.care@uqconnect.edu.au> |
Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis
- Added wasReferenced function to PseudoConstantAnalysis to determine if a variable was ever referenced in a function (outside of a self-assignment)
- BlockDeclRefExpr referenced variables are now explicitly added to the non-constant list
- Remove unnecessary ignore of implicit casts
- Generalized parameter self-assign detection to detect deliberate self-assigns of variables to avoid unused variable warnings
- Updated test cases with deliberate self-assignments
- Fixed bug with C++ references and pseudoconstants
- Added test case for C++ references and pseudoconstants
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111965 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 334c19566104d3333cf662f0017088a18eddfa81 |
|
17-Aug-2010 |
Ted Kremenek <kremenek@apple.com> |
Fix horrible CFG bug caused by a series of NullStmts appearing at the beginning of a do...while loop. This would cause
the body of the DoStmt to be disconnected from the preceding code.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111283 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| a7a8a450d908b34fa5f569f2e694ebd4b61aae2f |
|
13-Aug-2010 |
Tom Care <tom.care@uqconnect.edu.au> |
Improved IdempotentOperationChecker false positives and false negatives.
- Unfinished analysis may still report valid warnings if the path was completely analyzed
- New 'CanVary' heuristic to recursively determine if a subexpression has a varying element
- Updated test cases, including one known bug
- Exposed GRCoreEngine through GRExprEngine
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110970 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 3e5637f8a1c5b3cc3fa9d4e33a5763883ea97fc6 |
|
27-Jul-2010 |
Ted Kremenek <kremenek@apple.com> |
Finesse 'idempotent operations' analyzer issues to include the opcode of the binary operator for clearer error reporting. Also remove the 'Idempotent operation' prefix in messages; it's redundant since the bug type is the same.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@109527 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| df4ca423ec7d9b62842e112d1b824faa08b64810 |
|
16-Jul-2010 |
Tom Care <tcare@apple.com> |
Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options.
- Added checks for static local variables, self assigned parameters, and truncating/extending self assignments
- Removed command line option (now default with --analyze)
- Updated test cases to pass with idempotent operation warnings
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@108550 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 25973455aed1cdc9c40b208c792b5db4f8f1297d |
|
30-Jun-2010 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
Fix rdar://8139785 "implement warning on dead expression in comma operator"
As a bonus, fix the warning for || and && operators; it was emitted even if one of the operands had side effects, e.g:
x || test_logical_foo1();
emitted a bogus "expression result unused" for 'x'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@107274 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 3f64a0e3be2c9408f8256bd3aa9f0ce9e268982c |
|
21-May-2010 |
Ted Kremenek <kremenek@apple.com> |
Fix crash in CFG construction for 'break' statements appearing in statement expressions
within the increment code of a for loop.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@104375 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| ebd42f40803396d63bc59b77285d088cca61f53f |
|
18-Mar-2010 |
Ted Kremenek <kremenek@apple.com> |
Tweak dead stores checker to not emit a warning when initialization
a scalar variable with a scalar parameter. This is a
form of defensive programming. If the variable is unused,
it will be caused by -Wunused-variable.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@98795 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 2cfe28b6a061e72c6c8726d7ecb879093a1ab7a3 |
|
10-Mar-2010 |
Ted Kremenek <kremenek@apple.com> |
When computing in AnalysisContext the variables referenced
by a block, also look at the contained blocks.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@98111 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 565e465c6d0093f1bf8414b2cabdc842022385a9 |
|
05-Feb-2010 |
Ted Kremenek <kremenek@apple.com> |
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95348 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| cd9902bfb79c5c67559360514951714bdafac36e |
|
05-Feb-2010 |
Ted Kremenek <kremenek@apple.com> |
Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95343 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 46171917dc87caf0c7a741a7301f36db2e20b132 |
|
23-Jan-2010 |
Mike Stump <mrs@apple.com> |
Insulate these from changes to the default for -Wunreachable-code.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@94326 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| e030358cc06e1cbce3c2e00ca67c946f9164b2a8 |
|
09-Jan-2010 |
Chris Lattner <sabre@nondot.org> |
add a bunch of missing prototypes to tests
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@93072 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| a5728872c7702ddd09537c95bc3cbd20e1f2fb09 |
|
15-Dec-2009 |
Daniel Dunbar <daniel@zuster.org> |
Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.
- This is designed to make it obvious that %clang_cc1 is a "test variable"
which is substituted. It is '%clang_cc1' instead of '%clang -cc1' because it
can be useful to redefine what gets run as 'clang -cc1' (for example, to set
a default target).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91446 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| ef74f4c6dcd59b3af1de9d8f613c1caf3e6cb63d |
|
14-Dec-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Replace clang-cc with clang -cc1.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91272 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 74635d8cd3c367890735dc4af2c2825a7e4b434c |
|
03-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
Add a heuristic to the dead stores checker to prune dead stores for variables annotated with '__block'. This is overly conservative, but now the analyzer doesn't report dead stores for variables that can be updated by a block call.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90364 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 9a0459c0f59a09ac7287ca1f49083fc6b31e4142 |
|
02-Dec-2009 |
Ted Kremenek <kremenek@apple.com> |
Added dead-stores test cases that involve the use of blocks.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90277 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 3a9763491c41fe140a8777e0a71e046c56c9cbdb |
|
26-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Add test case that shows that dead stores checking now works in the presence of blocks.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89939 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 93fab7c94008d9e2b1e4ce15784544c6710945fe |
|
22-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Change CheckDeadStores to use Expr::isNullPointerConstant, which will correctly determine whether an expression is a null pointer constant.
Patch by Kovarththanan Rajaratnam!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89621 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 8382cf57b722f130f1a6b45380639871c07271c1 |
|
13-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Add clang-cc option "--analyzer-experimental-internal-checks". This
option enables new "internal" checks that will eventually be turned on
by default but still require broader testing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@88671 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 4fcfde4d5c8f25e40720972a5543d538a0dcb220 |
|
08-Nov-2009 |
Daniel Dunbar <daniel@zuster.org> |
Eliminate &&s in tests.
- 'for i in $(find . -type f); do sed -e 's#\(RUN:.*[^ ]\) *&& *$#\1#g' $i | FileUpdate $i; done', for the curious.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86430 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| f66d5cd8926541099def3cb187d56eff60d3be99 |
|
13-Oct-2009 |
John McCall <rjmccall@apple.com> |
Turn -Wparentheses on by default.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@83993 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| f7a0cf426eddae76e1a71dd2295631a2cf0560af |
|
29-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
OldCastRegion used), and the associated command line option
'-analyzer-store=old-basic-cast'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@77509 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| a5495eadc816b29954e22df55aa9a9d6bb41429c |
|
21-Jul-2009 |
Mike Stump <mrs@apple.com> |
Prep for new warning.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76625 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 22cd6581188bbbc6bedaca64ab171b1187a1c06a |
|
21-Jul-2009 |
Mike Stump <mrs@apple.com> |
Wire up CFG improvements for __builtin_choose_expr.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76531 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 8f9893a2beeacd5149bd2d3d4c6e130516915068 |
|
21-Jul-2009 |
Mike Stump <mrs@apple.com> |
Wire up CFG improvements for do { } while () when the condition is known.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76530 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| fefb9f7009702befaf715e7a8debc9505c3c8634 |
|
21-Jul-2009 |
Mike Stump <mrs@apple.com> |
Wire up for statement CFG improvements for conditionals that are known.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76529 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 5f20363dc8ea094b3f6139f52084beb10d6fcd85 |
|
21-Jul-2009 |
Mike Stump <mrs@apple.com> |
Wire up CFG improvements for while when the condition is known.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76522 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| e5af3ce53ec58995b09381ba645ab2117a46647b |
|
21-Jul-2009 |
Mike Stump <mrs@apple.com> |
Add yet more analysis for CFGs involving conditionals that are actually constant.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76500 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| cd7bf230a77c550115e4a78ee371fc49a7563692 |
|
17-Jul-2009 |
Mike Stump <mrs@apple.com> |
Make noreturn functions alter the CFG.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76133 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| c037eac3bda3c636c961aab6377beea3242e81e4 |
|
10-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Switch BasicStoreManager to use the new CastRegion implementation by default,
and replace the 'clang-cc' option '-analyzer-store=basic-new-cast' with
'-analyzer-store=basic-old-cast'. We'll keep the old CastRegion implementation
around for a little while for regression testing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75209 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| e1cea75e70d76f55157749a7bcad319050492945 |
|
06-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74865 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 6c07bdba93b095b66e2c8c82dd5ed458fa8285ea |
|
26-Jun-2009 |
Ted Kremenek <kremenek@apple.com> |
Introduce a new concept to the static analyzer: SValuator.
GRTransferFuncs had the conflated role of both constructing SVals (symbolic
expressions) as well as handling checker-specific logic. Now SValuator has the
role of constructing SVals from expressions and GRTransferFuncs just handles
checker-specific logic. The motivation is by separating these two concepts we
will be able to much more easily create richer constraint-generating logic
without coupling it to the main checker transfer function logic.
We now have one implementation of SValuator: SimpleSValuator.
SimpleSValuator is essentially the SVal-related logic that was in GRSimpleVals
(which is removed in this patch). This includes the logic for EvalBinOp,
EvalCast, etc. Because SValuator has a narrower role than the old
GRTransferFuncs, the interfaces are much simpler, and so is the implementation
of SimpleSValuator compared to GRSimpleVals. I also did a line-by-line review of
SVal-related logic in GRSimpleVals and cleaned it up while moving it over to
SimpleSValuator.
As a consequence of removing GRSimpleVals, there is no longer a
'-checker-simple' option. The '-checker-cfref' did everything that option did
but also ran the retain/release checker. Of course a user may not always wish to
run the retain/release checker, nor do we wish core analysis logic buried in the
checker-specific logic. The next step is to refactor the logic in CFRefCount.cpp
to separate out these pieces into the core analysis engine.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74229 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 28433ff063fe5ba5eac486d4bfcfa9e210097772 |
|
31-Mar-2009 |
Ted Kremenek <kremenek@apple.com> |
Update test case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68084 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| d7d5f0223bd30dfd618762349c6209dd1d5ea3e6 |
|
24-Mar-2009 |
Daniel Dunbar <daniel@zuster.org> |
Rename clang to clang-cc.
Tests and drivers updated, still need to shuffle dirs.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67602 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 632d1ece2715b1c8a0c99e1b8b487f4c148c89d5 |
|
23-Mar-2009 |
Ted Kremenek <kremenek@apple.com> |
A test case to test that -warn-dead-stores does not emit a warning for stores to variables marked with '#pragma unused'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67570 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 9457a800f1fea4db4bb595c77de277609913b1b3 |
|
18-Feb-2009 |
Ted Kremenek <kremenek@apple.com> |
Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@64854 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| a316e7b735b12ce6b34961a9dcfaae34f4b08d29 |
|
14-Feb-2009 |
Douglas Gregor <dgregor@apple.com> |
Extend builtin "attribute" syntax to include a notation for
printf-like functions, both builtin functions and those in the
C library. The function-call checker now queries this attribute do
determine if we have a printf-like function, rather than scanning
through the list of "known functions IDs". However, there are 5
functions they are not yet "builtins", so the function-call checker
handles them specifically still:
- fprintf and vfprintf: the builtins mechanism cannot (yet)
express FILE* arguments, so these can't be encoded.
- NSLog: the builtins mechanism cannot (yet) express NSString*
arguments, so this (and NSLogv) can't be encoded.
- asprintf and vasprintf: these aren't part of the C99 standard
library, so we really shouldn't be defining them as builtins in
the general case (and we don't seem to have the machinery to make
them builtins only on certain targets and depending on whether
extensions are enabled).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@64512 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| d3098ee64c069a3eff4d2d0a5d655d968c7b5dd2 |
|
09-Feb-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix PR 2514: Do not flag dead initializations for variables initialized to a constant global variable.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@64149 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| d427023c334fe03105d9359711a3df4d6f23b344 |
|
21-Jan-2009 |
Daniel Dunbar <daniel@zuster.org> |
Add -analyze action to run static analyzer, instead of inferring from
individual checker options.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62634 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 7f5fce7200fdbf03f7d70134a57271e584fcb766 |
|
20-Jan-2009 |
Ted Kremenek <kremenek@apple.com> |
Dead stores checker: Fix <rdar://problem/6506065> by being more selective when say that a store is dead even though the computed value is used in the enclosing expression.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62552 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 3b58786f85aaa173e122f6eaff0b6efa233d59a2 |
|
09-Jan-2009 |
Ted Kremenek <kremenek@apple.com> |
Dead stores checker: Don't flag dead stores for self-assignments (common escape hatch for 'unused variable' warnings).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62010 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 380277e46ec1d2d9abedcddf357ceea935cbe576 |
|
15-Oct-2008 |
Ted Kremenek <kremenek@apple.com> |
Enhance dead store checker to not flag preincrements to dead variables where the preincrement is a subexpression, e.g. foo(++x); This can cause false negatives, but will remove a whole class of false positives.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57554 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| d2025e26738c3017af6685e342a3a746cdf8249f |
|
27-Sep-2008 |
Ted Kremenek <kremenek@apple.com> |
Add more control-flow to test case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56707 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 610a09e409bea151a42dd907768f1e0c4b103f1f |
|
27-Sep-2008 |
Ted Kremenek <kremenek@apple.com> |
Add CFG support for implicit-control flow for VLA size expressions within an SizeOfAlignOfTypeExpr.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56706 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 84fa6b90abf73e8cc539c9947ed5a6286f588569 |
|
26-Sep-2008 |
Ted Kremenek <kremenek@apple.com> |
Examine VLA size expressions when computing liveness information.
Fixes <rdar://problem/6248086>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56645 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| b497ebdce35c708e902db2d49183925a612b4914 |
|
04-Sep-2008 |
Ted Kremenek <kremenek@apple.com> |
Added test case for the dead stores checker that was originally an FP reported in PR 2763.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55801 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| efe88f5776b42ec2defb8ba29269a6c3683e9485 |
|
07-Aug-2008 |
Ted Kremenek <kremenek@apple.com> |
Enhanced test case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@54436 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 4489fe10fa073eb326e2c8906db170f009050911 |
|
05-Aug-2008 |
Daniel Dunbar <daniel@zuster.org> |
Add EXTWARN Diagnostic class.
- Like EXTENSION but always generates a warning (even without
-pedantic).
- Updated ptr -> int, int -> ptr, and incompatible cast warnings to
be EXTWARN.
- Other EXTENSION level diagnostics should be audited for upgrade.
- Updated several test cases to fix code which produced unanticipated
warnings.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@54335 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| fc7ff5540412f8003024e1b4940fb8408dff2ca6 |
|
25-Jul-2008 |
Ted Kremenek <kremenek@apple.com> |
Don't emit 'dead initialization' warnings for variables marked 'unused'.
This fixes PR 2573: http://llvm.org/bugs/show_bug.cgi?id=2573
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@54009 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| b0f36323d9d8392075274b95816e2241f99ddb0d |
|
24-Jul-2008 |
Ted Kremenek <kremenek@apple.com> |
Issue dead store warnings for preincrements involved in a subexpression.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53983 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 8b00b6e80dbeb04dd919699f7818344dd4cbaad9 |
|
24-Jul-2008 |
Ted Kremenek <kremenek@apple.com> |
Added dead stores test case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53966 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 2cfac226b028e5a2165af077268f70cd2ab4b1a8 |
|
23-Jul-2008 |
Ted Kremenek <kremenek@apple.com> |
Further refine dead store checking to distinguish between dead stores and dead increments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53960 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 489f7b64199b054128452c903cf18bb3daa71444 |
|
04-Jul-2008 |
Ted Kremenek <kremenek@apple.com> |
'&&' clang commands together so that the test status reflects the results of all three clang executions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53132 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| e81da5080ce0d5f10baf6b34f599101a569bb2e6 |
|
03-Jul-2008 |
Ted Kremenek <kremenek@apple.com> |
Update test case: simply running "clang -checker-simple" doesn't invoke the dead store checker anymore. We need "-warn-dead-stores" as well.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53055 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 5bce1b0f57b9bc2c2012291e351c27baf8610f21 |
|
21-Jun-2008 |
Ted Kremenek <kremenek@apple.com> |
Test the dead-store checker using both -warn-dead-stores and -checker-simple.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52568 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 1a654b60ef40e84f3943cdb581795c4d4dae1e45 |
|
20-Jun-2008 |
Ted Kremenek <kremenek@apple.com> |
Modified the dead stores checker to...
1) Check if a dead store appears as a subexpression. For such cases, we emit
a verbose diagnostic so that users aren't confused. This addresses:
<rdar://problem/5968508> checker gives misleading report for dead store in loop
2) Don't emit a dead store warning when assigning a null value to a pointer.
This is a common form of defensive programming. We may wish to make
this an option to the the checker one day.
This addresses the feature request in the following email:
http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-June/001978.html
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52555 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 3eb817e5095d25e7bf4a8df9ed3f9b13bed6f298 |
|
22-May-2008 |
Ted Kremenek <kremenek@apple.com> |
Improve dead stores diagnostics to include the variable name.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@51395 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| a23157e6b9e2388edebd3d383dd7acfab6a4c0c0 |
|
06-May-2008 |
Ted Kremenek <kremenek@apple.com> |
Emit dead store warnings for ++ and -- operators.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50679 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| f87821c086a46411883b385c743996a35cc8e154 |
|
15-Apr-2008 |
Ted Kremenek <kremenek@apple.com> |
Added test case illustrating the use of '&'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49735 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 49a2fd2758996b6f674babf19c75b3d01e77e2d4 |
|
14-Apr-2008 |
Ted Kremenek <kremenek@apple.com> |
Added test case to dead stores checker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49647 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| 0fdf06e5eef80ce56ce6499ba662453919b95af1 |
|
19-Mar-2008 |
Ted Kremenek <kremenek@apple.com> |
Convert tabs to spaces.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48539 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|
| bfc5e500bfb2febcf2e85588f2f839601b9fc1e0 |
|
24-Nov-2007 |
Ted Kremenek <kremenek@apple.com> |
Moved dead-stores test cast to a new test suite subdirectory: Analysis.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@44305 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/dead-stores.c
|