|
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