clang/test/Analysis/inline-not-supported.c


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

// RUN: %clang_cc1 -fblocks -analyze -analyzer-checker=core -analyzer-ipa=inlining -analyzer-store region -verify %s

// For now, don't inline varargs.
void foo(int *x, ...) {
  *x = 1;
}

void bar() {
  foo(0, 2); // no-warning
}

// For now, don't inline vararg blocks.
void (^baz)(int *x, ...) = ^(int *x, ...) { *x = 1; };

void taz() {
  baz(0, 2); // no-warning
}

// For now, don't inline blocks.
void (^qux)(int *p) = ^(int *p) { *p = 1; };
void test_qux() {
  qux(0); // no-warning
}


void test_analyzer_is_running() {
  int *p = 0;
  *p = 0xDEADBEEF; // expected-warning {{null}}
}