[cfe-commits] r153069 - /cfe/trunk/test/Analysis/retain-release.mm

[Jordan Rose]

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?