[cfe-commits] r156660 - /cfe/trunk/test/Analysis/objc-boxing.m

[Jordy Rose]

Do we need a test for boxed expressions and retain counts? I see there's already a test for collection literals, but not integer literals or arbitrary boxed expressions.

Jordy


On May 11, 2012, at 19:15, Anna Zaks wrote:

> Author: zaks
> Date: Fri May 11 18:15:16 2012
> New Revision: 156660
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=156660&view=rev
> Log:
> [analyzer] Test objC boxing.
> 
> Added:
>    cfe/trunk/test/Analysis/objc-boxing.m
> 
> Added: cfe/trunk/test/Analysis/objc-boxing.m
> URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/objc-boxing.m?rev=156660&view=auto
> ==============================================================================
> --- cfe/trunk/test/Analysis/objc-boxing.m (added)
> +++ cfe/trunk/test/Analysis/objc-boxing.m Fri May 11 18:15:16 2012
> @@ -0,0 +1,44 @@
> +// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc -analyzer-store=region -verify %s
> +
> +typedef signed char BOOL;
> +typedef long NSInteger;
> +typedef unsigned long NSUInteger;
> + at interface NSString @end
> + at interface NSString (NSStringExtensionMethods)
> ++ (id)stringWithUTF8String:(const char *)nullTerminatedCString;
> + at end
> +
> + at interface NSNumber
> ++ (NSNumber *)numberWithChar:(char)value;
> ++ (NSNumber *)numberWithUnsignedChar:(unsigned char)value;
> ++ (NSNumber *)numberWithShort:(short)value;
> ++ (NSNumber *)numberWithUnsignedShort:(unsigned short)value;
> ++ (NSNumber *)numberWithInt:(int)value;
> ++ (NSNumber *)numberWithUnsignedInt:(unsigned int)value;
> ++ (NSNumber *)numberWithLong:(long)value;
> ++ (NSNumber *)numberWithUnsignedLong:(unsigned long)value;
> ++ (NSNumber *)numberWithLongLong:(long long)value;
> ++ (NSNumber *)numberWithUnsignedLongLong:(unsigned long long)value;
> ++ (NSNumber *)numberWithFloat:(float)value;
> ++ (NSNumber *)numberWithDouble:(double)value;
> ++ (NSNumber *)numberWithBool:(BOOL)value;
> ++ (NSNumber *)numberWithInteger:(NSInteger)value ;
> ++ (NSNumber *)numberWithUnsignedInteger:(NSUInteger)value ;
> + at end
> +
> +
> +extern char *strdup(const char *str);
> +
> +id constant_string() {
> +    return @("boxed constant string.");
> +}
> +
> +id dynamic_string() {
> +    return @(strdup("boxed dynamic string")); // expected-warning{{Memory is never released; potential leak}}
> +}
> +
> +id const_char_pointer(int *x) {
> +  if (x)
> +    return @(3);
> +  return @(*x); // expected-warning {{Dereference of null pointer (loaded from variable 'x')}}
> +}
> \ No newline at end of file
> 
> 
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits