clang/test/Analysis/shallow-mode.m

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config mode=shallow -verify %s
   2 // expected-no-diagnostics
   3
   4 void clang_analyzer_checkInlined(unsigned);
   5
   6 typedef signed char BOOL;
   7 typedef struct objc_class *Class;
   8 typedef struct objc_object {
   9     Class isa;
  10 } *id;
  11 @protocol NSObject  - (BOOL)isEqual:(id)object; @end
  12 @interface NSObject <NSObject> {}
  13 +(id)alloc;
  14 -(id)init;
  15 @end
  16
  17 @interface MyClass : NSObject
  18 + (void)callee;
  19 + (void)caller;
  20 @end
  21
  22 @implementation MyClass
  23 + (void)caller {
  24     [MyClass callee];
  25 }
  26 + (void)callee {
  27   clang_analyzer_checkInlined(0); // The call is not inlined.
  28 }
  29 @end