annotate clang/test/Analysis/static_local.m @ 236:c4bab56944e8 llvm-original

LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900 (2022-11-09)
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify -Wno-objc-root-class %s
anatofuz
parents:
diff changeset
2 // expected-no-diagnostics
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 // Test reasoning about static locals in ObjCMethods.
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
5 int *getValidPtr(void);
150
anatofuz
parents:
diff changeset
6 @interface Radar11275803
anatofuz
parents:
diff changeset
7 - (int) useStaticInMethod;
anatofuz
parents:
diff changeset
8 @end
anatofuz
parents:
diff changeset
9 @implementation Radar11275803
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 - (int) useStaticInMethod
anatofuz
parents:
diff changeset
12 {
anatofuz
parents:
diff changeset
13 static int *explInit = 0;
anatofuz
parents:
diff changeset
14 static int implInit;
anatofuz
parents:
diff changeset
15 if (!implInit)
anatofuz
parents:
diff changeset
16 explInit = getValidPtr();
anatofuz
parents:
diff changeset
17 return *explInit; //no-warning
anatofuz
parents:
diff changeset
18 }
anatofuz
parents:
diff changeset
19 @end