|
22 | 22 | .type good_jump_table,@function
|
23 | 23 | good_jump_table:
|
24 | 24 | // CHECK-NOT: good_jump_table
|
25 |
| -// CFG: GS-PAUTH: Warning: the function has unreachable basic blocks (possibly incomplete CFG) in function good_jump_table |
| 25 | +// CFG: GS-PAUTH: Warning: possibly imprecise CFG, the analysis quality may be degraded in this function. According to BOLT, unreachable code is found in function good_jump_table |
26 | 26 | // CHECK-NOT: good_jump_table
|
27 | 27 | paciasp
|
28 | 28 | cmp x16, #0x2
|
@@ -56,7 +56,7 @@ good_jump_table:
|
56 | 56 | .type jump_table_relaxed_adrp_add,@function
|
57 | 57 | jump_table_relaxed_adrp_add:
|
58 | 58 | // CHECK-NOT: jump_table_relaxed_adrp_add
|
59 |
| -// CFG: GS-PAUTH: Warning: the function has unreachable basic blocks (possibly incomplete CFG) in function jump_table_relaxed_adrp_add |
| 59 | +// CFG: GS-PAUTH: Warning: possibly imprecise CFG, the analysis quality may be degraded in this function. According to BOLT, unreachable code is found in function jump_table_relaxed_adrp_add |
60 | 60 | // CHECK-NOT: jump_table_relaxed_adrp_add
|
61 | 61 | paciasp
|
62 | 62 | cmp x16, #0x2
|
@@ -126,7 +126,7 @@ jump_table_wrong_hint:
|
126 | 126 | .type jump_table_unsafe_reg_1,@function
|
127 | 127 | jump_table_unsafe_reg_1:
|
128 | 128 | // CHECK-NOT: jump_table_unsafe_reg_1
|
129 |
| -// CFG: GS-PAUTH: Warning: the function has unreachable basic blocks (possibly incomplete CFG) in function jump_table_unsafe_reg_1 |
| 129 | +// CFG: GS-PAUTH: Warning: possibly imprecise CFG, the analysis quality may be degraded in this function. According to BOLT, unreachable code is found in function jump_table_unsafe_reg_1 |
130 | 130 | // CHECK-NOT: jump_table_unsafe_reg_1
|
131 | 131 | paciasp
|
132 | 132 | cmp x1, #0x2
|
@@ -157,7 +157,7 @@ jump_table_unsafe_reg_1:
|
157 | 157 | .type jump_table_unsafe_reg_2,@function
|
158 | 158 | jump_table_unsafe_reg_2:
|
159 | 159 | // CHECK-NOT: jump_table_unsafe_reg_2
|
160 |
| -// CFG: GS-PAUTH: Warning: the function has unreachable basic blocks (possibly incomplete CFG) in function jump_table_unsafe_reg_2 |
| 160 | +// CFG: GS-PAUTH: Warning: possibly imprecise CFG, the analysis quality may be degraded in this function. According to BOLT, unreachable code is found in function jump_table_unsafe_reg_2 |
161 | 161 | // CHECK-NOT: jump_table_unsafe_reg_2
|
162 | 162 | paciasp
|
163 | 163 | cmp x16, #0x2
|
@@ -189,7 +189,7 @@ jump_table_unsafe_reg_2:
|
189 | 189 | .type jump_table_wrong_limit,@function
|
190 | 190 | jump_table_wrong_limit:
|
191 | 191 | // CHECK-NOT: jump_table_wrong_limit
|
192 |
| -// CFG: GS-PAUTH: Warning: the function has unreachable basic blocks (possibly incomplete CFG) in function jump_table_wrong_limit |
| 192 | +// CFG: GS-PAUTH: Warning: possibly imprecise CFG, the analysis quality may be degraded in this function. According to BOLT, unreachable code is found in function jump_table_wrong_limit |
193 | 193 | // CHECK-NOT: jump_table_wrong_limit
|
194 | 194 | paciasp
|
195 | 195 | cmp x16, #0x1000
|
@@ -634,7 +634,7 @@ jump_table_wrong_imm_3:
|
634 | 634 | skip_cfi_instructions:
|
635 | 635 | .cfi_startproc
|
636 | 636 | // CHECK-NOT: skip_cfi_instructions
|
637 |
| -// CFG: GS-PAUTH: Warning: the function has unreachable basic blocks (possibly incomplete CFG) in function skip_cfi_instructions |
| 637 | +// CFG: GS-PAUTH: Warning: possibly imprecise CFG, the analysis quality may be degraded in this function. According to BOLT, unreachable code is found in function skip_cfi_instructions |
638 | 638 | // CHECK-NOT: skip_cfi_instructions
|
639 | 639 | paciasp
|
640 | 640 | cmp x16, #0x2
|
|
0 commit comments