| c568f1e98938584c0ef0b12ae5018ff7d90a4072 |
|
21-Jul-2014 |
Stephen Hines <srhines@google.com> |
Update Clang for rebase to r212749.
This also fixes a small issue with arm_neon.h not being generated always.
Includes a cherry-pick of:
r213450 - fixes mac-specific header issue
r213126 - removes a default -Bsymbolic on Android
Change-Id: I2a790a0f5d3b2aab11de596fc3a74e7cbc99081d
/external/clang/test/Analysis/retain-release.m
|
| 651f13cea278ec967336033dd032faef0e9fc2ec |
|
24-Apr-2014 |
Stephen Hines <srhines@google.com> |
Updated to Clang 3.5a.
Change-Id: I8127eb568f674c2e72635b639a3295381fe8af82
/external/clang/test/Analysis/retain-release.m
|
| 391165f4b6e90918dd8b97d6970617591821a8d8 |
|
07-Oct-2013 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] RetainCountChecker: add support for CFAutorelease.
<rdar://problems/13710586&13710643>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@192113 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 73fa2525b4d8b9768dbc1e5a09976d6f9e568e23 |
|
17-Sep-2013 |
Anna Zaks <ganna@apple.com> |
[analyzer] Stop tracking the objects with attribute cleanup in the RetainCountChecker.
This suppresses false positive leaks. We stop tracking a value if it is assigned to a variable declared with a cleanup attribute.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@190835 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 8a729b4b20796bc0ca25e8d86d57c0cd0c5e40d4 |
|
02-May-2013 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] RetainCountChecker: don't track through xpc_connection_set_context.
It is unfortunate that we have to mark these exceptions in multiple places.
This was already in CallEvent. I suppose it does let us be more precise
about saying /which/ arguments have their retain counts invalidated -- the
connection's is still valid even though the context object's isn't -- but
we're not tracking the retain count of XPC objects anyway.
<rdar://problem/13783514>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@180904 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 2545b1d99942080bac4a74cda92c620123d0d6e9 |
|
23-Apr-2013 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] RetainCountChecker: Clean up path notes for autorelease.
No functionality change.
<rdar://problem/13710586>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@180075 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 27d99dd714895564b526b786284a46b40f53be01 |
|
10-Apr-2013 |
Anna Zaks <ganna@apple.com> |
[analyzer] Cleanup leak warnings: do not print the names of variables from other functions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179219 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 44405b7aacdb869be129430313a7bcb050336aa4 |
|
05-Apr-2013 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] RetainCountChecker: refactor annotation handling.
...and add a new test case.
I thought this was broken, but it isn't; refactoring and reformatting anyway
so that I don't make the same mistake again. No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@178799 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 0217b1d045ea99fe792e83ed1a785816289dd53c |
|
31-Jan-2013 |
Anna Zaks <ganna@apple.com> |
[analyzer]RetainCount: Fix an autorelease related false positive.
The Cnt variable is adjusted (incremented) for simplification of
checking logic. The increment should not be stored in the state.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@174104 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| e36d81b1eeab13fb1bbd15291d009a1699de6ec1 |
|
31-Jan-2013 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] Don't track autorelease pools created by +new.
This matches our behavior for autorelease pools created by +alloc. Some
people like to create autorelease pools in one method and release them
somewhere else.
If you want safe autorelease pool semantics, use the new ARC-compatible
syntax: @autoreleasepool { ... }
<rdar://problem/13121353>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@174096 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 14a372bb7d7681cdfbcebe71b109e773327e4e1c |
|
14-Jan-2013 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] -drain is not an alias for -release.
This was previously added to support -[NSAutoreleasePool drain], which
behaves like -release under non-GC and "please collect" under GC. We're
not currently modeling the autorelease pool stack, though, so we can
just take this out entirely.
Fixes PR14927.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@172444 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| bbf4d53343c2bbd082b7c1488f34650a7d07ae3b |
|
20-Dec-2012 |
Ted Kremenek <kremenek@apple.com> |
Update RetainCountChecker to understand attribute ns_returns_autoreleased.
Fixes <rdar://problem/12887356>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@170724 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 63bc186d6ac0b44ba4ec6fccb5f471b05c79b666 |
|
15-Nov-2012 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] Report leaks at the closing brace of a function body.
This fixes a few cases where we'd emit path notes like this:
+---+
1| v
p = malloc(len);
^ |2
+---+
In general this should make path notes more consistent and more correct,
especially in cases where the leak happens on the false branch of an if
that jumps directly to the end of the function. There are a couple places
where the leak is reported farther away from the cause; these are usually
cases where there are several levels of nested braces before the end of
the function. This still matches our current behavior for when there /is/
a statement after all the braces, though.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@168070 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 0fe4d400ab05995727440620c25fe1d185b4e046 |
|
07-Nov-2012 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] Check that the argument to CFMakeCollectable is non-NULL.
Patch by Sean McBride!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@167537 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 93040b75251f3d8e27ff06bf3d0437cc8e0be1b4 |
|
12-Sep-2012 |
Chandler Carruth <chandlerc@gmail.com> |
Fix up more "$t"s in this test that should be "%t"s.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163673 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| bd7e30605253ae053087619173713c19355e28ea |
|
10-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Now that I have a test file to work with, disable the Filecheck part of this test.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163536 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| ac0bc913b3d681a5fb0781c325b221658dc6854c |
|
10-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Correctly 'cat' out test files.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163534 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 776da9e05efadf86e4d7cc177d8ff2b1a0953319 |
|
10-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
As a debugging aid to unbreak the buildbots, cat the plist files so I can view them on different builders.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163529 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 121ec0a1a903d07ca8f5eaa6976f3233795a3d20 |
|
10-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Re-enable FileCheck testing of retain-release.m test, and force
a C++ dialect. Let's see if this is the portability issue with this test.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163524 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 84012e60599ec5d67405b19953737f59d8a53cbf |
|
10-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Temporarily disable FileCheck part of this test.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163515 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| acc714ba6c448e6dc278acf9b6eafee44d7f48a7 |
|
10-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Revert "Revert Ted's r163489 and r163490, due to breakage."
I need to see how this breaks on other platforms when I fix the issue
that Benjamin Kramer pointed out.
This includes r163489 and r163490, plus a two line change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163512 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 2343b3d0c29356583a013d900f2817083ac2d4a0 |
|
10-Sep-2012 |
NAKAMURA Takumi <geek4civic@gmail.com> |
Revert Ted's r163489 and r163490, due to breakage.
r163489, "Take another crack at stabilizing the emission order of analyzer"
r163490, "Use isBeforeInTranslationUnitThan() instead of operator<."
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163497 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 4dfd141350009c742f4949a753ffe4a1524a2792 |
|
10-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Take another crack at stabilizing the emission order of analyzer
diagnostics without using FoldingSetNodeIDs. This is done
by doing a complete recursive comparison of the PathDiagnostics.
Note that the previous method of comparing FoldingSetNodeIDs did
not end up relying on unstable things such as pointer addresses, so
I suspect this may still have some issues on various buildbots because
I'm not sure if the true source of non-determinism has been eliminated.
The tests pass for me, so the only way to know is to commit this change
and see what happens.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163489 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 9655ecb06277fa6aade4092531ec6925926767e2 |
|
08-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Try disabling the FileCheck part of the retain-release.m test to see if it fixes the buildbots.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163462 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 22505ef15e32db31a4f834a387cf73a913bc8f66 |
|
08-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Fix bug in BugReporter::RemoveUneededCalls() where "prunable"
PathDiagnosticEventPieces were *always* pruned. Instead, they
are suppose to only be pruned if the entire call gets pruned.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163460 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 0187a1b8b9b2b7657de0ba8b0d4f67d30bec83e8 |
|
08-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Attempt (again) to stabilize the order of the emission of diagnostics
of the analyzer by using the FullProfile() of a PathDiagnostic
for ordering them.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163455 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 30ca73237c05ec466f43054c2b686d65538c26e7 |
|
08-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Revert "Add plist output for retain-release.m in addition to -verify checking."
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163447 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| e157ae53772e90a3ee3cba3eaa7da3300eb249eb |
|
08-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Revert "Attempt to make the PathDiagnostic emission order more deterministic by"
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163446 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| b4b4523cc52bebc5ed47cc501959ab31286a1065 |
|
08-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Attempt to make the PathDiagnostic emission order more deterministic by
looking at PathPieces.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163427 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 2308436b2cd30473d5f94bf7e9ac616ac27fe6b2 |
|
07-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Add plist output for retain-release.m in addition to -verify checking.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163418 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 971073b8e4eb82fa1bae9d2b0d354f35a54099ee |
|
07-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Revert "Rework the retain-release.m test to use FileCheck and the "text" output"
Apparently the output of this test is not deterministic. Needs investigation.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163377 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 689268a426cf4624c1b8ce67bf9d437ad84c6b04 |
|
07-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Rework the retain-release.m test to use FileCheck and the "text" output
of the analyzer, as the RetainReleaseChecker has many fine-grain
path diagnostic events that were not being checked. This uncovered
an inconsistency between the path diagnostics between Objective-C
and Objective-C++ code in ConditionBRVisitor that was fixed in a recent
patch.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163373 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 061707a86f20bf608758e7013df24bd1be12ffc6 |
|
07-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Teach RetainCountChecker that CFPlugInInstanceCreate does not
return a CF object at all.
Fixes <rdar://problem/9566345>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163362 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| ec9f36ea83e0f57683dceaa53163f6246d1442d5 |
|
07-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Refine diagnostics for leaks reported when returning an object
via function/method with [CF,NS]_RETURNS_NOT_RETAINED.
Fixes <rdar://problem/11379000>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163355 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 3f2a55d81983577c85c03f6b9844f51c566c785b |
|
31-Aug-2012 |
Anna Zaks <ganna@apple.com> |
[analyzer] Make analyzer-ipa=dynamic-bifurcate the default.
There are two tests regressions that come from the fact that the Retain
Count checker does not cancel out inlining of ObjC methods.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162950 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| e788365f513a579b03ff7f49296d5b95645ea3fe |
|
30-Aug-2012 |
Ted Kremenek <kremenek@apple.com> |
Teach RetainCountChecker about 'pragma clang arc_cf_code_audited'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162934 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| dc42dc9a2cab7aaf257e391c62435785c95e6819 |
|
21-Aug-2012 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] More tests for "release and stop tracking".
Under GC, a release message is ignored, so "release and stop tracking" just
becomes "stop tracking". But CFRelease is still honored. This is the main
difference between ns_consumed and cf_consumed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162234 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| f902d097bf7ee24d27e34f351e7c3d66a9db538e |
|
20-Aug-2012 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] Add a test for "release and stop tracking" behavior.
This is used to handle functions and methods that consume an argument
(annotated with the ns_consumed or cf_consumed attribute), but then the
argument's retain count may be further modified in a callback. We want
to warn about over-releasing, but we can't really track the object afterwards.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162221 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| daa88985ed6d174aeb8c6ddca394f734a73268b7 |
|
07-Aug-2012 |
Jordan Rose <jordan_rose@apple.com> |
[analyzer] Add a test case for OS X 10.8's NSMakeCollectable under non-GC.
This is an additional test for r161349 (ignoring 10.8's annotations for
NSMakeCollectable).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@161380 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 9dda4746867a747c1c3421d8a04a1b666aeb5809 |
|
22-Jun-2012 |
Dmitri Gribenko <gribozavr@gmail.com> |
Add a warning about almost-Doxygen trailing comments: //< and /*< ... */
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@159001 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 7fa9b4f258636d89342eda28f21a986c8ac353b1 |
|
01-Jun-2012 |
Ted Kremenek <kremenek@apple.com> |
static analyzer: add inlining support for directly called blocks.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@157833 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 350e956532d99ce2e804a478df5b6f1f5e096d88 |
|
27-May-2012 |
Fariborz Jahanian <fjahanian@apple.com> |
-Wdeprecated warning to include reference (as a note)
to the declaration in this patch. // rdar://10893232
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@157537 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 70fdbc366da85880aae5baebd3351e993ca05603 |
|
12-May-2012 |
Jordy Rose <jediknil@belkadan.com> |
[analyzer] RetainCountChecker: track ObjC boxed expression objects.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156699 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| caa62af79db9be0ef0843aa77cbc216108842855 |
|
09-May-2012 |
Anna Zaks <ganna@apple.com> |
[analyzer] Allow pointers to escape through selector callbacks.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156481 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| c91fdf662d4f453ce9bb975b25cec348d0ced9c6 |
|
08-May-2012 |
Ted Kremenek <kremenek@apple.com> |
Teach the static analyzer that NSLog() and friends do not hold on to object references (thus extending their lifetime).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156346 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 58822c403cc8855adeecba92248612ee08dc1f3a |
|
05-May-2012 |
Anna Zaks <ganna@apple.com> |
[analyzer] RetainCountChecker: Allow objects to escape through callbacks
Fixes radar://10973977.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156215 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| e7958da55ec0ec66e56b6beed6c6ce24dbdc4075 |
|
02-May-2012 |
Anna Zaks <ganna@apple.com> |
[analyzer] RetainRelease: Self assignment should not suppress a leak
warning.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@155966 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| befc6d2eae269efa2da9c81d0be8dba144a74d47 |
|
26-Apr-2012 |
Ted Kremenek <kremenek@apple.com> |
Teach RetainCountChecker that it doesn't quite understand pthread_setspecific and it should just give up when it sees it. Fixes <rdar://problem/11282706>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@155613 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| b2f6820773aabff3c5c9e0dbb1cbbbda0d80c41f |
|
06-Apr-2012 |
Patrick Beard <pcbeard@mac.com> |
Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared.
The warning this inhibits, -Wobjc-root-class, is opt-in for now. However, all clang unit tests that would trigger
the warning have been updated to use -Wno-objc-root-class. <rdar://problem/7446698>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@154187 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| de5b4fbe31e50641806234b3334eb9aa829673f8 |
|
27-Mar-2012 |
Ted Kremenek <kremenek@apple.com> |
Change RetainCountChecker to eagerly "escape" retained objects when they are
assigned to a struct. This is fallout from inlining results, which expose
far more patterns where people stuff CF objects into structs and pass them
around (and we can reason about it). The problem is that we don't have
a general way to detect when values have escaped, so as an intermediate step
we need to eagerly prune out such tracking.
Fixes <rdar://problem/11104566>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@153489 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 7acf23f03e4598d9a68d4a5e5441947300f0d32c |
|
10-Mar-2012 |
Ted Kremenek <kremenek@apple.com> |
Teach RetainCountChecker about mixing method families with explicit annotations. Fixes <rdar://problem/10824732>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152448 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 1a45a5ff5d495cb6cd9a3d4d06317af79c0f634d |
|
06-Mar-2012 |
Ted Kremenek <kremenek@apple.com> |
Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152139 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 212000e24cf11da0badea90c23d4f300da34e607 |
|
28-Feb-2012 |
Anna Zaks <ganna@apple.com> |
[analyzer] Retain release: drop the line number info from the leak
message.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@151657 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| a979712238d6285e79e8f1d6e8b813a1f640e88c |
|
18-Feb-2012 |
Ted Kremenek <kremenek@apple.com> |
Teach analyzer about NSAutoreleasePool -allocWithZone:. Fixes <rdar://problem/10640253>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@150892 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 1c87980ef18dbf4669c7194d60138ff9747d7ab7 |
|
04-Jan-2012 |
Ted Kremenek <kremenek@apple.com> |
Teach the static analyzer to not treat XPC types as CF types.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@147506 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 93edbc5269c166e3ab50ccb323b934c7bdf07c3c |
|
06-Oct-2011 |
Ted Kremenek <kremenek@apple.com> |
Fix major regression in RetainCountChecker. DefaultSummaries were not being used when they were meant to be. Fixes <rdar://problem/10241614>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@141250 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 09ca9ef5f92cf4375a19bf7a80d571779c9f370f |
|
21-Sep-2011 |
Anna Zaks <ganna@apple.com> |
[analyzer] Fix a bug where PathDiagnosticLocation did not generate a valid range and add asserts to check validity of locations early on. Ignore invalid ranges in PathDiagnosticPiece (they could be added by checker writers).
Addresses radar://10124836 and radar://radar10102244.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@140218 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 17a38e2636a8b1ce473fc6504c4b16cb09db29f4 |
|
02-Sep-2011 |
Jordy Rose <jediknil@belkadan.com> |
[analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine.
Remove TransferFuncs from ExprEngine and AnalysisConsumer.
Demote RetainReleaseChecker to a regular checker, and give it the name osx.cocoa.RetainCount (class name change coming shortly). Update tests accordingly.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@138998 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 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/retain-release.m
|
| 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/retain-release.m
|
| 6c2c250db1e2d0138bbfaadbbec3118db7e8a8c9 |
|
22-Jul-2011 |
John McCall <rjmccall@apple.com> |
In Objective-C, pull arbitrary attributes from overridden
methods, including indirectly overridden methods like those
declared in protocols and categories. There are mismatches
that we would like to diagnose but aren't yet, but this
is fine for now.
I looked at approaches that avoided doing this lookup
unless we needed it, but the infer-related-result-type
checks were doing it anyway, so I left it with the same
fast-path check for no previous declartions of that
selector.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@135743 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 797a7be0de6fbedaa85082b07ec9ce0674f30773 |
|
16-Jul-2011 |
Ted Kremenek <kremenek@apple.com> |
[analyzer] Per discussions with the Cocoa team, extend CF naming conventions to extend to camel case functions instead of just title case functions. Fixes <rdar://problem/9732321>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@135350 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| deefaf6eac47046f60b059d519585c42618a5291 |
|
16-Jul-2011 |
Jordy Rose <jediknil@belkadan.com> |
Update retain-release.m to match updated warnings from r135310
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@135317 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 786dcd9dca76e3780fdb9642c0db33ed13db1187 |
|
06-Jul-2011 |
Douglas Gregor <dgregor@apple.com> |
Teach the static analyzer's interpretation of Cocoa conventions to
obey the objc_method_family attribute when provided. Fixes
<rdar://problem/9726279>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@134493 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 4c4efee6d3113f20b41efaeec08934332d2ea40e |
|
13-Jun-2011 |
Douglas Gregor <dgregor@apple.com> |
Eliminate the -f[no]objc-infer-related-result-type flags; there's no
reason to allow the user to control these semantics through a flag.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@132919 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| d368d71169cd87ef8ff95388be80a044fa35112f |
|
25-May-2011 |
Ted Kremenek <kremenek@apple.com> |
Enhance retain/release checker to flag warnings when functions returning CG types do not follow the Core Foundation naming conventions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@132048 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 35bdbf40624beba3fc00cb72ab444659939c1a6b |
|
02-May-2011 |
Ted Kremenek <kremenek@apple.com> |
Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@130711 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| b94dd9e76b3f86d9b6e4e38cf0b5da07ada82993 |
|
30-Apr-2011 |
Ted Kremenek <kremenek@apple.com> |
Adjust test/Analysis/retain-release.m to also test the retain/release checker in Objective-C++ mode.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@130559 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 98b8f16a0b056919f24206a8a3ca86f9ea75fa34 |
|
06-Apr-2011 |
John McCall <rjmccall@apple.com> |
When updating the retain summary based on {cf,ns}_consumed attributes,
be sure to consume the argument index that actually had the attribute
rather than always the first. rdar://problem/9234108
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@128998 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 5188507b9a1b09ec95c14ffadf0e832f2b47aa8a |
|
24-Mar-2011 |
Ted Kremenek <kremenek@apple.com> |
Rework checker "packages" and groups to be more hierarchical.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@128187 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 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/retain-release.m
|
| 3267d9563f8265bfce967b3801273a7c53b91346 |
|
28-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Migrate NoReturnFunctionChecker to CheckerV2.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126613 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 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/retain-release.m
|
| 21206d5e3167d5e8066c005c1773afc80ff50ae6 |
|
24-Feb-2011 |
Chandler Carruth <chandlerc@gmail.com> |
Implement a warning for known shift overflows on constant shift
expressions. Consider the code:
int64_t i = 10 << 30;
This compiles fine, but most developers expect it to produce the value
for 10 gigs, not -2 gigs. This is actually undefined behavior because
the LHS is a signed integer type.
The warning is currently gated behind -Wshift-overflow.
There is a special case where only the sign bit is overridden that gets
a custom error message and is by default ignored. This case is much less
likely to cause observed buggy behavior, it's just undefined behavior
according to the spec. This warning can be enabled with
-Wshift-sign-overflow.
Original patch by Oleg Slezberg, with style tweaks and some correctness
fixes by me.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126342 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 0b1ba6227c67d5e04b589ed8a08afa2345a40666 |
|
16-Feb-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Use the new registration mechanism on the apple checkers:
NilArgChecker
CFNumberCreateChecker
NSAutoreleasePoolChecker
CFRetainReleaseChecker
ClassReleaseChecker
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125636 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 11fe175346242744bd9cb4040f3c84e243934134 |
|
27-Jan-2011 |
Ted Kremenek <kremenek@apple.com> |
Wire up attributes 'ns_consumed' and 'cf_consumed' in the static analyzer's ObjC retain/release checker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@124386 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 12b9434d5bf801e24242b1f6fd04899f8a7fa92c |
|
27-Jan-2011 |
Ted Kremenek <kremenek@apple.com> |
Hook up attribute ns_consumes_self in the ObjC retain/release checker in the static analyzer.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@124360 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| d6b8de0e7b01196bd2bee207feb81bc409a5baf9 |
|
25-Jan-2011 |
John McCall <rjmccall@apple.com> |
Change the wording of the bad-decl-for-attribute warning and error
to make it clear that we're talking about the declarations and not the types.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@124175 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| c7ad38168d329d778e884a8b6400bcbed8dc85ee |
|
25-Jan-2011 |
John McCall <rjmccall@apple.com> |
Add the ns_consumes_self, ns_consumed, cf_consumed, and ns_returns_autoreleased
attributes for the benefit of the static analyzer.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@124174 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| d7a31ba6db617e38bb064df0ab09dbd41cdfed18 |
|
11-Jan-2011 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
[analyzer] Introduce ObjCSelfInitChecker, which checks initialization methods to verify that they assign 'self' to the
result of an initialization call (e.g. [super init], or [self initWith..]) before using any instance variable or
returning 'self'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123264 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| af86b0c160bc998bdde2f35d526ca819d7b3a1f2 |
|
17-Dec-2010 |
Ted Kremenek <kremenek@apple.com> |
Revise Cocoa conventions detection: 'copy' and 'mutableCopy'
only indicates the create rule if it starts
at the beginning of the method name, not
within the method name.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122036 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 83300e884d0cfb78a2e8f889b65a77e6781456fe |
|
03-Dec-2010 |
Ted Kremenek <kremenek@apple.com> |
Add test case for r120795.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120796 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| cf38af20ebf829c9808245ab0ed323b08600fbc9 |
|
28-Oct-2010 |
Ted Kremenek <kremenek@apple.com> |
Add test case for <rdar://problem/8356342>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117525 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 4019c4f692e7b8b2d7a7b6a377c78337596052e4 |
|
05-Aug-2010 |
Ted Kremenek <kremenek@apple.com> |
Correctly handle 'Class<...>' when examining Cocoa conventions in the static analyzer. Fixes a crash reported in <rdar://problem/8272168>. Patch by Henry Mason!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110289 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| b829d72294b029ef1aff54052cae9890400071be |
|
06-Jul-2010 |
Jordy Rose <jediknil@belkadan.com> |
Oops, tabs --> spaces in test.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@107634 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 61fb55c87909bd749a367f7c12b302e39aa3e392 |
|
06-Jul-2010 |
Jordy Rose <jediknil@belkadan.com> |
Improve NULL-checking for CFRetain/CFRelease. We now remember that the argument was non-NULL, and we report where the null assumption came from (like AttrNonNullChecker already did).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@107633 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| d775c66b3a1ea17e770cf8fbf4ae37c667c1e043 |
|
21-May-2010 |
Ted Kremenek <kremenek@apple.com> |
Update retain-release checker to understand changes to how 'super' is represented
in the ASTs. Fixes <rdar://problem/8015556>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@104389 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| cfd8ea930a119dc8a1e9a343d2a5cfe142b3d964 |
|
26-Mar-2010 |
Ted Kremenek <kremenek@apple.com> |
Fix NoReturnFunctionChecker to properly look at a function's type
when determining if it returns. Fixes <rdar://problem/7796563>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@99663 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 6041111f3749e76a1712ec58dd17449bd3177ddd |
|
18-Feb-2010 |
Ted Kremenek <kremenek@apple.com> |
Recognize attributes ns_returns_not_retained and cf_returns_not_retained
in the static analyzer.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@96539 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 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/retain-release.m
|
| 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/retain-release.m
|
| 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/retain-release.m
|
| 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/retain-release.m
|
| 38cc6bca5c172e2888c86fb0bef6883db0692cf6 |
|
26-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Add a PostVisitBlockExpr() method to RetainReleaseChecker to query for
the set of variables "captured" by a block. Until the analysis gets
more sophisticated, for now we stop the retain count tracking of any
objects (transitively) referenced by these variables.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89929 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 772250ca0b15f9ba74e5cb97773815d3d3beffa4 |
|
25-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Add really basic support for blocks in the retain/release checker. For now, anytime we pass a tracked object to a block call we stop tracking it.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89831 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 50e837b3cbc9315b6808daabb96c5c7cccf11ea7 |
|
20-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Add simple static analyzer checker to check for sending 'release', 'retain', etc. directly to a class. Fixes <rdar://problem/7252064>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89449 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 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/retain-release.m
|
| 002174f7d60761931f4ec958ca384212a42bb655 |
|
03-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: CGBitmapContextCreateWithData() returns an owned object.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85867 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 882a51e497c7cf3c21530c51c5b6f44ff2560226 |
|
03-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: Add special handling of CGBitmapContextCreateWithData().
Fixes: <rdar://problem/7358899>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85864 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| e9731832ec3b995defba821ec24343d74d004f9f |
|
20-Oct-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule.
Fixes: <rdar://problem/7265711>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@84569 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 6fe2b7a3da783395379b12c75e4e7608809f9062 |
|
16-Oct-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: Use simpler utility method for creating class method summaries. No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@84210 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 008636ab8acbcc58954c7173f9563aefa510b252 |
|
14-Oct-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: Recognize that calls to
'CVPixelBufferCreateWithPlanarBytes()' and
'CVPixelBufferCreateWithBytes' (Core Video API) can indirectly release
a pixel buffer object via a callback.
This fixes <rdar://problem/7283567>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@84064 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 6240cf190a660507777558660994cc566839c1a1 |
|
14-Oct-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: retained objects passed to pthread_create (as
the data argument) should not be tracked further until we support full IPA.
(fixes <rdar://problem/7299394>)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@84047 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| bb206fdd9d4465fee4336e6a12d7e936add17389 |
|
01-Oct-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@83204 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| e2b5744f9a8a08129f1d51e99410a3f3cdda0c91 |
|
15-Sep-2009 |
Ted Kremenek <kremenek@apple.com> |
Add static analyzer transfer function support for __builtin_offsetof.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@81820 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| cc58eae181b11f284e8fa50ca951feb2af5fcad8 |
|
01-Sep-2009 |
Ted Kremenek <kremenek@apple.com> |
Add test case from <rdar://problem/7184450>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@80700 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| ac02f20424d35121f66c7271b1a8538df8149188 |
|
20-Aug-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:'
just as if it behaved like an init function. This fixes <rdar://problem/7129086>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@79515 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| c484381467789938b06872bb1b270db1b6ec164c |
|
20-Aug-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: Special case handling of CFAttributedStringSetAttribute,
fixing <rdar://problem/7152619>. Along the way, merge test cases in
'test/Analysis/rdar-6539791.c' into 'test/Analysis/retain-release.m'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@79499 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 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/retain-release.m
|
| 8b31826a4b703ad21916b2f88e28d003e289a9ff |
|
21-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Add test case for PR 4596, which is already fixed due to Steve Naroff's overhaul of the Objective-C type system, but isn't in a checker build yet.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76648 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 08631d1ea0ef44cceb3d6a9c7a54d6a84fbbe4fe |
|
21-Jul-2009 |
Mike Stump <mrs@apple.com> |
Prep for new warning.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76619 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 71ef5d61dfef99acb1b242327dbcdf4ddb66d4d5 |
|
17-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Update test case to use '__has_feature' macro.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76129 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 79b4f7d37530a1c41df26b6ac3a159f7cd6388d6 |
|
14-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Add basic checking for passing NULL to CFRetain/CFRelease, since those functions
are not explicitly marked as not accepting NULL pointers. This check illustrates
how we need more refactoring in the custom-check logic.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75570 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 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/retain-release.m
|
| 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/retain-release.m
|
| 6d4b76d93cbc5ad05af4cd2815c86febbfd5e798 |
|
06-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix <rdar://problem/7033733>. The CF_RETURNS_RETAINED attribute should work if the return type on an Objective-C method is a CF type reference, not just an Objective-C object reference.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74841 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| fdd8b8ebf60bf98118731d7fc12c9c96e7f2d95a |
|
16-Jun-2009 |
Ted Kremenek <kremenek@apple.com> |
Add IOKit test cases for retain/release checker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73549 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| b9d8db86ab1d9c95c09083d8e9792414ae9fcd6d |
|
06-Jun-2009 |
Ted Kremenek <kremenek@apple.com> |
Enhance attribute cf_returns_retained to also work (in the analyzer)
for non-Objctive-C pointer types. This implicitly documents that the
return type is a CF object reference.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72968 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 767d649c5353ca19c5a1e181783240a0994bb20a |
|
21-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Add special cases to retain checker for 'create' methods in QCView, QCRenderer, and CIContext (Apple APIs).
This fixes:
<rdar://problem/6902710> clang: false positives w/QC and CoreImage methods.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72187 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| ba67f6aa95733aaa9d79c82a8802e67b84e5d8e5 |
|
19-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix PR 4230: Don't flag leaks of NSAutoreleasePools until we know that we aren' at the top-most scope of autorelease pools.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72065 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| fae664ac57991485a6235c2e27eaf089d5f54846 |
|
16-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix: <rdar://problem/6893565> False positive: don't flag leaks for return types that cannot be determined to be CF types
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71921 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 7db16041263f39df6deb1145b5c039dfd8da6af0 |
|
15-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix crash when deriving the enclosing summary of a method whose first selector slot has a null IdentifierInfo*. This happens when analyzing Growl.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71857 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 304376651e85a6f84055ffa0b42517f8631e7f6b |
|
14-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a retained object.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71797 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 5dc53c9c2328b5bea5422005b04960c18afd83ad |
|
13-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Add some basic type checking for attributes ns_returns_retained and
cf_returns_retained. Currently this attribute can now be applied to any
Objective-C method or C function that returns a pointer or Objective-C object
type.
Modify the tablegen definition of diagnostic 'warn_attribute_wrong_decl_type' to
expect that the diagnostics infrastructure will add quotes around the attribute
name when appropriate. Alonq with this change, I modified the places where this
warning is issued to passed the attribute's IdentifierInfo* instead of having a
hard-coded C constant string.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71718 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 78a35a3900b39702ffb9835702a1329f8d3e04b3 |
|
12-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix: <rdar://problem/6320065> false positive - init method returns an object owned by caller
Now 'init' methods are treated by the retain/release checker as
claiming their receiver and allocating a new object.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71579 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 6738b731a6f6621ae920391906132a9cdc09185f |
|
12-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the same treatment as CF objects
This was accomplished by having 'isTypeRef' recursively walk the typedef stack.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71538 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| ebd5a2dc1a3743fed9157379d89e5eb26293c9d6 |
|
11-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix regression reported in <rdar://problem/6866843>. The analyzer should extend the lifetime of an object stored to a container.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71452 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| a0cc00dfb19897873cba1a1ff29e09a7f6ef9562 |
|
11-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Add test case for <rdar://problem/6257780>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71444 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| e8720ce787d83ffd0de19d82e35dba61e61d9648 |
|
10-May-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: Flag a warning for non-owned objects returned
where an owned one is expected. Also add preliminary checking for
returning a positive retain count object in GC mode where an owned GC
object is expected.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71388 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| eaedfeab9eab0d003859aab138784f2c59531408 |
|
10-May-2009 |
Ted Kremenek <kremenek@apple.com> |
analyzer:
- Improve -autorelease diagnostics.
- Improve VLA diagnostics.
- Use "short description" for bug when outputting to TextDiagnostics
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71383 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 8c6096e374203b1c79d85ca03ddebbc1d486c9fe |
|
09-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Add back test cases for ns_returns_retained and cf_returns_retained.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71312 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 6b62ec90d498eb512f2e231547b05d485814a146 |
|
09-May-2009 |
Ted Kremenek <kremenek@apple.com> |
It lives! The retain/release checker now tracks objects that are sent
'autorelease'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71307 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 008fc73ac971e5d30c8710e37e1f5f8a843052f1 |
|
08-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Remove experimental ownership attributes from Clang.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71216 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 7704a33fb398a4352a18bd3fcb18218d3dc5cc60 |
|
07-May-2009 |
Ted Kremenek <kremenek@apple.com> |
More attribute renaming:
- Rename 'ns_returns_owned' -> 'ns_returns_retained'.
- Rename 'cf_returns_owned' -> 'cf_returns_retained'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71182 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 69aa08072decc20094bd1f75f4f9842e9bd357ad |
|
05-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Implement attribute 'ns_autorelease'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70990 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 4222f21c98e6fdd559f8beb1332663767c64b71e |
|
05-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Enhance ownership attribute tests with functions that use the attributes!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70984 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| e351aa10dab6eb8b9b502166c7035dc7b0e723e0 |
|
05-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Implement attribute 'cf_returns_owned' (mirrors 'ns_returns_owned').
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70952 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| d331dd7fa43f547197efcd757e4a7b477c29fd6e |
|
05-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Rename ownership attributes:
ns_ownership_returns -> ns_returns_owned
ns_ownership_retain -> ns_retains
ns_ownership_release -> ns_releases
cf_ownership_retain -> cf_retains
cf_ownership_release -> cf_releases
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70949 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 6a08469ebe3e15262733841a9c29e2e563d78ba5 |
|
05-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Rename attribute 'ns_ownership_returns' to 'ns_returns_ownership'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70941 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 75494ffb4ed3964fa22fb9ab15fddecedbc9fe10 |
|
04-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Rename attributes 'objc_ownership...' to 'ns_ownership...'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70897 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 31c215e62031b14e85c2f695c261817c044b465b |
|
04-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Rename attributes:
'objc_ownership_cfretain' -> 'cf_ownership_retain'
'objc_ownership_cfrelease' -> 'cf_ownership_release'
Motivation: Core Foundation objects can be used in isolation from Objective-C,
and this forces users to reason about the separate semantics of CF objects. More
Sema support pending.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70884 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 1c6a3cc88177c67498fccdf14cfdf09959214e41 |
|
04-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Remove support for ObjCMethodDecl attributes that appear between the
return type and the selector. This is inconsistent with C functions
(where such attributes would be placed on the return type, not the the
FunctionDecl), and is inconsistent with what people are use to seeing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70878 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 2cd1293ad32dd5db3f3fcead9720cc2676c088e6 |
|
30-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: Hook up attributes 'objc_ownership_retain' and
'objc_ownership_release' to the effects on receivers.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70507 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 72c9dcd9dbc1ee65d7863d1ea04c2cc928007cc9 |
|
30-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Allow attributes 'objc_ownership_retain' and 'objc_ownership_release' to be
applied to ObjCMethodDecls, not just parameters. This allows one to specific
side-effects on the receiver of a message expression. No checker support yet.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70505 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| b27d1174673d457e2ee7906c14a92bba35242cea |
|
30-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Hook up Sema support for attributes on Objective-C method declarations that
appear between the return type and the selector. This is a separate code path
from regular attribute processing, as we only want to (a) accept only a specific
set of attributes in this place and (b) want to distinguish to clients the
context in which an attribute was added to an ObjCMethodDecl.
Currently, the attribute 'objc_ownership_returns' is the only attribute that
uses this new feature. Shortly I will add a warning for 'objc_ownership_returns'
to be placed at the end of a method declaration.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70504 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 77755a57c9e85418626ac64c0d38975d5fa9aded |
|
30-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Add parsing support in an Objective-C method declaration for attributes between
the return type and selector. Haven't hooked this up to Sema yet.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70501 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| a883355a6fe8d72b8899efb65a7d7645a51afc3b |
|
30-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: When determining whether an analyzed method can return
an owned object, consult its summary instead of inspecting the selector. This
picks up annotations, and is just more general.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70429 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| c887d13b07d72c8e67d1a73a82d3167e866f50e5 |
|
29-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: Hoist code for bug reports above transfer function logic
(those diffs are just code moving) and move the logic for "return of owned
object" leak reporting to EvalReturnStmt.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70399 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| fde52c92b1a4973fa95322f1992a1388d3d94766 |
|
29-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Add regression test case provided by <rdar://problem/6833332>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70350 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| c613f4e37558ed392351e08cc1cb52157075c661 |
|
28-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Improve retain/release test cases for ownership attributes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70327 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| c6a59e4bf225c7f8152faca72897321f0f6cabd1 |
|
27-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Add two new checker-specific attributes: 'objc_ownership_release' and
'objc_ownership_cfrelease'. These are the 'release' equivalents of
'objc_ownership_retain' and 'objc_ownership_cfretain' respectively.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70235 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 4064de959853503d9b87065adac1b277fff8af20 |
|
27-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Add new checker-specific attribute 'objc_ownership_cfretain'. This is the same
as 'objc_ownership_cfretain' except that the method acts like a CFRetain instead
of a [... retain] (important in GC modes). Checker support is wired up, but
currently only for Objective-C message expressions (not function calls).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70218 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 4da0427a20f31db9b6934b280d49ab264236b34c |
|
25-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Hook up attribute 'objc_ownership_retain' to the analyzer. This attribute allows
users to specify that a method's argument is visibly retained (reference count
incremented).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70008 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| de9a81b92e9098daa8ca19df138e4807b4d8afe8 |
|
25-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Add new checker-specific attribute 'objc_ownership_retain'. This isn't hooked up
to the checker yet, but essentially it allows a user to specify that an
Objective-C method or C function increments the reference count of a passed
object.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70005 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 8650f088ce375ac8dcc00c8c7afa99df36f6b097 |
|
25-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Hook up __attribute__((objc_ownership_returns)) to the retain/release checker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70002 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 0fc169e864aef7fc9a782e60b222a360f406704a |
|
25-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Add new checker-specific attribute 'objc_ownership_returns'. This isn't hooked
up to the checker yet, but essentially it allows a user to specify that an
Objective-C method or C function returns an owned an Objective-C object.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70001 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| f9df1362f0f2768ddab01fbf8d60c4808e641162 |
|
23-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: Don't call isTrackedObject() with the canonical type.
This was preventing the checker from tracking return objects referenced by 'id'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@69922 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 829bf507946a3db93400ff8b096adb88e6bc994d |
|
23-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Temporarily remove expected warnings.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@69917 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| e87450e5a398543b85205b3255d4c36204c00182 |
|
23-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Per discussions with Ken Ferry and Paul Marks (<rdar://problem/6815234>) greatly
extend the number of objects tracked by the retain/release checker by assuming
that all class and instance methods should follow Cocoa object "getter" and
"alloc/new" conventions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@69908 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| e82e13ad4ee707d71e320946887f47f45b303e07 |
|
07-Apr-2009 |
Ted Kremenek <kremenek@apple.com> |
Add test case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68505 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 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/retain-release.m
|
| 68ac94a8d7c7a967ace59c565736d07e80de77e7 |
|
23-Mar-2009 |
Ted Kremenek <kremenek@apple.com> |
analyzer: Provide temporary workaround for false positive reported by
<rdar://problem/6704930> involving SimpleConstraintManager not reasoning well
about symbolic constraint values involving arithmetic operators.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67534 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| c505d4f1568796f29ec9f1c57d861b54a088da1f |
|
19-Mar-2009 |
Ted Kremenek <kremenek@apple.com> |
Add test cases for PR 3820.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67327 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 8be2a67620b6be5f2c15dc44099e71b2c8e59ef7 |
|
13-Mar-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix PR 3677 [retain checker]: custom 'allocWithZone' methods should be allowed
to return an owning pointer.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66934 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 25d01badc5c37d3c8b7b9a41001f9c7e2cabda05 |
|
09-Mar-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker: Allow allocations to fail by returning nil.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66487 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| cd57fcec52c48c781700653cf7c39143110b2b1d |
|
09-Mar-2009 |
Ted Kremenek <kremenek@apple.com> |
Add test case for <rdar://problem/6659160>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66483 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 9f45d28d06e52bd051ff70994a6cd09b2eb1bed5 |
|
05-Mar-2009 |
Ted Kremenek <kremenek@apple.com> |
Update test case: objects stored to self.ivar are not tracked.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66168 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 79f7f8ab9a8c741e29ea9e648d05f774de49cd9b |
|
19-Feb-2009 |
Ted Kremenek <kremenek@apple.com> |
Update test case to include a leak that occurs at the place of allocation.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65048 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6c |
|
17-Feb-2009 |
Ted Kremenek <kremenek@apple.com> |
Static Analyzer driver/options (partial) cleanup:
- Move all analyzer options logic to AnalysisConsumer.cpp.
- Unified specification of stores/constraints/output to be:
-analyzer-output=...
-analyzer-store=...
-analyzer-constraints=...
instead of -analyzer-range-constraints, -analyzer-store-basic, etc.
- Updated drivers (ccc-analyzer, scan-builds, new ccc) to obey this new
interface
- Updated test cases to conform to new driver options
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@64737 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| cf118d41f7930a18dce97416ef7834a62642f587 |
|
05-Feb-2009 |
Ted Kremenek <kremenek@apple.com> |
Overhaul BugReporter interface and implementation. The new interface cleans up
the ownership of BugTypes and BugReports. Now BugReports are owned by BugTypes,
and BugTypes are owned by the BugReporter object.
The major functionality change in this patch is that reports are not immediately
emitted by a call to BugReporter::EmitWarning (now called EmitReport), but
instead of queued up in report "equivalence classes". When
BugReporter::FlushReports() is called, it emits one diagnostic per report
equivalence class. This provides a nice cleanup with the caching of reports as
well as enables the BugReporter engine to select the "best" path for reporting a
path-sensitive bug based on all the locations in the ExplodedGraph that the same
bug could occur.
Along with this patch, Leaks are now coalesced into a common equivalence class
by their allocation site, and the "summary" diagnostic for leaks now reports the
allocation site as the location of the bug (this may later be augmented to also
provide an example location where the leak occurs).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@63796 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| a7ecc3788df207f1c1ef925447f41aff5e91c7a3 |
|
28-Jan-2009 |
Ted Kremenek <kremenek@apple.com> |
Add autorelease test case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@63237 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 3148eb4a75f70f2636075c364d03104223f004d3 |
|
24-Jan-2009 |
Ted Kremenek <kremenek@apple.com> |
More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62903 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 0964a06d5cc1dc36ac5f8c89ba47ec0a47c08bb1 |
|
21-Jan-2009 |
Ted Kremenek <kremenek@apple.com> |
Get RegionStore to work with the retain/release checker and its test cases.
Because the RegionStore can reason about values beyond the reasoning power of BasicStore, this patch splits some of the test cases for the retain/release checker to have versions that are handled by RegionStore (more warnings) and BasicStore (less warnings).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62667 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 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/retain-release.m
|
| 99890659385f052412d479e8569b10069ac2b12b |
|
16-Jan-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62331 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|
| 1261938ec42b0a1b82bec5fe901b7fc02a23d9a1 |
|
12-Jan-2009 |
Ted Kremenek <kremenek@apple.com> |
retain/release checker:
- Refactor a bunch of logic in the retain/release checker, making it more
condense and easier to read.
- Add support for "Create" methods in the DiskArbitration framework
retain/release tests:
- Rename CFDate.m to retain-release.m, and move test from CFString.c to
retain-release.m
- Add DiskArbitration framework tests cases.
- Add/refine and few more retain/release GC test cases.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62106 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Analysis/retain-release.m
|