aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Modules/diag-mappings.c
blob: ddc8380a862e9ba5baa517a374ef12e60936c294 (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
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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
// Test that diagnostic mappings are emitted only when needed and in order of
// diagnostic ID rather than non-deterministically. This test passes 3
// -W options and expects exactly 3 mappings to be emitted in the pcm. The -W
// options are chosen to be far apart in ID (see DiagnosticIDs.h) so we can
// check they are ordered. We also intentionally trigger several other warnings
// inside the module and ensure they do not show up in the pcm as mappings.

// RUN: rm -rf %t
// RUN: split-file %s %t

// RUN: %clang_cc1 -fmodules -fimplicit-module-maps \
// RUN:   -fmodules-cache-path=%t/cache -triple x86_64-apple-macosx10.11.0 \
// RUN:   %t/main.m -fdisable-module-hash \
// RUN:   -Werror=stack-protector -Werror=empty-translation-unit -Werror=float-equal

// RUN: mv %t/cache/A.pcm %t/A1.pcm

// RUN: llvm-bcanalyzer --dump --disable-histogram %t/A1.pcm | FileCheck %s

// CHECK: <DIAG_PRAGMA_MAPPINGS

// == Initial mappings
// Number of mappings = 3
// CHECK-SAME: op2=3
// Common diag id is < 1000 (see DiagnosticIDs.h)
// CHECK-SAME: op3=[[STACK_PROT:[0-9][0-9]?[0-9]?]] op4=
// Parse diag id is somewhere in 1000..2999, leaving room for changes
// CHECK-SAME: op5=[[EMPTY_TU:[12][0-9][0-9][0-9]]] op6=
// Sema diag id is > 2000
// CHECK-SAME: op7=[[FLOAT_EQ:[2-9][0-9][0-9][0-9]]] op8=

// == Pragmas:
// Each pragma creates a mapping table; and each copies the previous table. The
// initial mappings are copied as well, but are not serialized since they have
// isPragma=false.

// == ignored "-Wfloat-equal"
// CHECK-SAME: op{{[0-9]+}}=1
// CHECK-SAME: op{{[0-9]+}}=[[FLOAT_EQ]] op{{[0-9]+}}=

// == ignored "-Wstack-protector"
// CHECK-SAME: op{{[0-9]+}}=2
// CHECK-SAME: op{{[0-9]+}}=[[STACK_PROT]] op{{[0-9]+}}=
// CHECK-SAME: op{{[0-9]+}}=[[FLOAT_EQ]] op{{[0-9]+}}=

// == warning "-Wempty-translation-unit"
// CHECK-SAME: op{{[0-9]+}}=3
// CHECK-SAME: op{{[0-9]+}}=[[STACK_PROT]] op{{[0-9]+}}=
// CHECK-SAME: op{{[0-9]+}}=[[EMPTY_TU]] op{{[0-9]+}}=
// CHECK-SAME: op{{[0-9]+}}=[[FLOAT_EQ]] op{{[0-9]+}}=

// == warning "-Wstack-protector"
// CHECK-SAME: op{{[0-9]+}}=3
// CHECK-SAME: op{{[0-9]+}}=[[STACK_PROT]] op{{[0-9]+}}=
// CHECK-SAME: op{{[0-9]+}}=[[EMPTY_TU]] op{{[0-9]+}}=
// CHECK-SAME: op{{[0-9]+}}=[[FLOAT_EQ]] op{{[0-9]+}}=

// RUN: %clang_cc1 -fmodules -fimplicit-module-maps \
// RUN:   -fmodules-cache-path=%t/cache -triple x86_64-apple-macosx10.11.0 \
// RUN:   %t/main.m -fdisable-module-hash \
// RUN:   -Werror=stack-protector -Werror=empty-translation-unit -Werror=float-equal

// RUN: diff %t/cache/A.pcm %t/A1.pcm

//--- module.modulemap
module A { header "a.h" }

//--- a.h
// Lex warning
#warning "w"

static inline void f() {
// Parse warning
  ;
}

#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wfloat-equal"
#pragma clang diagnostic ignored "-Wstack-protector"

static inline void g() {
// Sema warning
  int x;
}

#pragma clang diagnostic push
#pragma clang diagnostic warning "-Wempty-translation-unit"
#pragma clang diagnostic warning "-Wstack-protector"

#pragma clang diagnostic pop
#pragma clang diagnostic pop

//--- main.m
#import "a.h"