1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -fblocks -verify -analyzer-config eagerly-assume=false %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -fblocks -analyzer-config c++-template-inlining=false -DNO_INLINE -verify -analyzer-config eagerly-assume=false %s
void clang_analyzer_eval(bool);
// Do not crash on this templated code which uses a block.
typedef void (^my_block)(void);
static void useBlock(my_block block){}
template<class T> class MyClass;
typedef MyClass<float> Mf;
template<class T>
class MyClass
{
public:
MyClass() {}
MyClass(T a);
void I();
private:
static const T one;
};
template<class T> const T MyClass<T>::one = static_cast<T>(1);
template<class T> inline MyClass<T>::MyClass(T a){}
template<class T> void MyClass<T>::I() {
static MyClass<T>* mPtr = 0;
useBlock(^{ mPtr = new MyClass<T> (MyClass<T>::one); });
};
int main(){
Mf m;
m.I();
}
// <rdar://problem/11949235>
template<class T, unsigned N>
inline unsigned array_lengthof(T (&)[N]) {
return N;
}
void testNonTypeTemplateInstantiation() {
const char *S[] = { "a", "b" };
clang_analyzer_eval(array_lengthof(S) == 2);
#ifndef NO_INLINE
// expected-warning@-2 {{TRUE}}
#else
// expected-warning@-4 {{UNKNOWN}}
#endif
}
namespace rdar13954714 {
template <bool VALUE>
bool blockInTemplate() {
return (^() {
return VALUE;
})();
}
// force instantiation
template bool blockInTemplate<true>();
template <bool VALUE>
void blockWithStatic() {
(void)^() {
static int x;
return ++x;
};
}
// force instantiation
template void blockWithStatic<true>();
}
|