blob: 2e95a7f9e24febd4bb17424461c233e27be6910a (
plain)
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
|
// RUN: %clang_cc1 -analyze -analyzer-checker=debug.DumpCFG -analyzer-config cfg-expand-default-aggr-inits=true %s > %t 2>&1
// RUN: FileCheck --input-file=%t %s
static char a[] = "foobar";
struct StringRef {
const char *member = nullptr;
int len = 3;
};
int main() {
StringRef s{a};
(void)s;
}
// CHECK: [B1]
// CHECK-NEXT: 1: a
// CHECK-NEXT: 2: [B1.1] (ImplicitCastExpr, ArrayToPointerDecay, char *)
// CHECK-NEXT: 3: [B1.2] (ImplicitCastExpr, NoOp, const char *)
// CHECK-NEXT: 4: 3
// CHECK-NEXT: 5:
// CHECK-NEXT: 6: {[B1.1]}
// CHECK-NEXT: 7: StringRef s{a};
// CHECK-NEXT: 8: s
// CHECK-NEXT: 9: (void)[B1.8] (CStyleCastExpr, ToVoid, void)
// CHECK-NEXT: Preds (1): B2
// CHECK-NEXT: Succs (1): B0
|
