On Mar 19, 2012, at 17:10, Ted Kremenek wrote:
> +int rdar10553686_positive(void)
> +{
> + NSObject* bar = static_objc_cast<NSObject*>([[NSObject alloc] init]); //
> expected-warning {{Potential leak}}
> + [bar release];
> + [bar retain];
> + return 0;
> +}
Why is this not a use-after-free? Even if there is a valid test here, we
shouldn't use an invalid test case. Or am I missing something?
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
