Brad Bishop | 316dfdd | 2018-06-25 12:45:53 -0400 | [diff] [blame] | 1 | From 5cb883f67d00a63531ef195c242763d36b1905ca Mon Sep 17 00:00:00 2001 |
| 2 | From: Joshua Watt <Joshua.Watt@garmin.com> |
| 3 | Date: Fri, 9 Feb 2018 12:46:38 -0600 |
| 4 | Subject: [PATCH] Use fallthrough attribute |
| 5 | |
| 6 | Use __attribute__ ((fallthrough)) to indicate switch case fall through |
| 7 | instead of a comment. This ensure that the fallthrough warning is not |
| 8 | triggered even if the file is pre-processed (hence stripping the |
| 9 | comments) before it is compiled. |
| 10 | |
| 11 | The actual fallback implementation is hidden behind a FALLBACK macro in |
| 12 | case the compiler doesn't support it. |
| 13 | |
| 14 | Finally, the -Wimplict-fallthrough warning was upgraded to only allow |
| 15 | the attribute to satisfy it; a comment alone is no longer sufficient. |
| 16 | |
| 17 | Signed-off-by: Joshua Watt <JPEWhacker@gmail.com> |
| 18 | |
| 19 | Upstream-Status: Submitted [1] |
| 20 | |
| 21 | [1] https://sourceware.org/ml/elfutils-devel/2018-q1/msg00027.html |
| 22 | --- |
| 23 | backends/aarch64_retval.c | 2 +- |
| 24 | backends/alpha_retval.c | 4 ++-- |
| 25 | backends/arm_regs.c | 2 +- |
| 26 | backends/arm_retval.c | 2 +- |
| 27 | backends/i386_regs.c | 2 +- |
| 28 | backends/i386_retval.c | 4 ++-- |
| 29 | backends/ia64_retval.c | 2 +- |
| 30 | backends/linux-core-note.c | 2 +- |
| 31 | backends/m68k_retval.c | 4 ++-- |
| 32 | backends/mips_retval.c | 4 ++-- |
| 33 | backends/parisc_retval.c | 5 +++-- |
| 34 | backends/ppc64_retval.c | 6 +++--- |
| 35 | backends/ppc_regs.c | 2 +- |
| 36 | backends/ppc_retval.c | 4 ++-- |
| 37 | backends/s390_retval.c | 4 ++-- |
| 38 | backends/sh_retval.c | 2 +- |
| 39 | backends/sparc_retval.c | 2 +- |
| 40 | backends/tilegx_retval.c | 4 ++-- |
| 41 | backends/x86_64_regs.c | 2 +- |
| 42 | backends/x86_64_retval.c | 2 +- |
| 43 | config/eu.am | 4 +++- |
| 44 | configure.ac | 6 ++++++ |
| 45 | lib/eu-config.h | 7 +++++++ |
| 46 | libcpu/i386_disasm.c | 2 +- |
| 47 | libcpu/i386_parse.c | 4 ++-- |
| 48 | libdw/cfi.c | 4 ++-- |
| 49 | libdw/dwarf_frame_register.c | 2 +- |
| 50 | libdwfl/dwfl_report_elf.c | 2 +- |
| 51 | libdwfl/frame_unwind.c | 2 +- |
| 52 | libebl/eblobjnote.c | 2 +- |
| 53 | libelf/elf32_updatenull.c | 2 +- |
| 54 | libelf/elf_begin.c | 4 ++-- |
| 55 | libelf/elf_cntl.c | 2 +- |
| 56 | src/addr2line.c | 2 +- |
| 57 | src/elfcompress.c | 2 +- |
| 58 | src/elflint.c | 8 ++++---- |
| 59 | src/objdump.c | 2 +- |
| 60 | src/readelf.c | 8 ++++---- |
| 61 | src/strings.c | 2 +- |
| 62 | tests/backtrace.c | 2 +- |
| 63 | tests/elfstrmerge.c | 3 ++- |
| 64 | 41 files changed, 75 insertions(+), 58 deletions(-) |
| 65 | |
| 66 | diff --git a/backends/aarch64_retval.c b/backends/aarch64_retval.c |
| 67 | index 68de307..1308340 100644 |
| 68 | --- a/backends/aarch64_retval.c |
| 69 | +++ b/backends/aarch64_retval.c |
| 70 | @@ -292,7 +292,7 @@ aarch64_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 71 | assert (count > 0); |
| 72 | if (count <= 4) |
| 73 | return pass_hfa (locp, base_size, count); |
| 74 | - /* Fall through. */ |
| 75 | + FALLTHROUGH; |
| 76 | |
| 77 | case 1: |
| 78 | /* Not a HFA. */ |
| 79 | diff --git a/backends/alpha_retval.c b/backends/alpha_retval.c |
| 80 | index 53dbfa4..d9bae3b 100644 |
| 81 | --- a/backends/alpha_retval.c |
| 82 | +++ b/backends/alpha_retval.c |
| 83 | @@ -85,7 +85,7 @@ alpha_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 84 | typedie = dwarf_formref_die (attr, &die_mem); |
| 85 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 86 | } |
| 87 | - /* Fall through. */ |
| 88 | + FALLTHROUGH; |
| 89 | |
| 90 | case DW_TAG_base_type: |
| 91 | case DW_TAG_enumeration_type: |
| 92 | @@ -131,7 +131,7 @@ alpha_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 93 | } |
| 94 | } |
| 95 | |
| 96 | - /* Else fall through. */ |
| 97 | + FALLTHROUGH; |
| 98 | |
| 99 | case DW_TAG_structure_type: |
| 100 | case DW_TAG_class_type: |
| 101 | diff --git a/backends/arm_regs.c b/backends/arm_regs.c |
| 102 | index 4ee1039..418c931 100644 |
| 103 | --- a/backends/arm_regs.c |
| 104 | +++ b/backends/arm_regs.c |
| 105 | @@ -81,7 +81,7 @@ arm_register_info (Ebl *ebl __attribute__ ((unused)), |
| 106 | * but gcc maps FPA registers here |
| 107 | */ |
| 108 | regno += 96 - 16; |
| 109 | - /* Fall through. */ |
| 110 | + FALLTHROUGH; |
| 111 | case 96 + 0 ... 96 + 7: |
| 112 | *setname = "FPA"; |
| 113 | *type = DW_ATE_float; |
| 114 | diff --git a/backends/arm_retval.c b/backends/arm_retval.c |
| 115 | index 8687eab..313e4eb 100644 |
| 116 | --- a/backends/arm_retval.c |
| 117 | +++ b/backends/arm_retval.c |
| 118 | @@ -90,7 +90,7 @@ arm_return_value_location_ (Dwarf_Die *functypedie, const Dwarf_Op **locp, |
| 119 | typedie = dwarf_formref_die (attr, &die_mem); |
| 120 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 121 | } |
| 122 | - /* Fall through. */ |
| 123 | + FALLTHROUGH; |
| 124 | |
| 125 | case DW_TAG_base_type: |
| 126 | case DW_TAG_enumeration_type: |
| 127 | diff --git a/backends/i386_regs.c b/backends/i386_regs.c |
| 128 | index fd963a6..7ec93bb 100644 |
| 129 | --- a/backends/i386_regs.c |
| 130 | +++ b/backends/i386_regs.c |
| 131 | @@ -92,7 +92,7 @@ i386_register_info (Ebl *ebl __attribute__ ((unused)), |
| 132 | case 5: |
| 133 | case 8: |
| 134 | *type = DW_ATE_address; |
| 135 | - /* Fallthrough */ |
| 136 | + FALLTHROUGH; |
| 137 | case 0 ... 3: |
| 138 | case 6 ... 7: |
| 139 | name[0] = 'e'; |
| 140 | diff --git a/backends/i386_retval.c b/backends/i386_retval.c |
| 141 | index 4aa646f..32fec72 100644 |
| 142 | --- a/backends/i386_retval.c |
| 143 | +++ b/backends/i386_retval.c |
| 144 | @@ -85,7 +85,7 @@ i386_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 145 | typedie = dwarf_formref_die (attr, &die_mem); |
| 146 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 147 | } |
| 148 | - /* Fall through. */ |
| 149 | + FALLTHROUGH; |
| 150 | |
| 151 | case DW_TAG_base_type: |
| 152 | case DW_TAG_enumeration_type: |
| 153 | @@ -123,7 +123,7 @@ i386_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 154 | if (size <= 8) |
| 155 | return nloc_intregpair; |
| 156 | } |
| 157 | - /* Fallthrough */ |
| 158 | + FALLTHROUGH; |
| 159 | |
| 160 | case DW_TAG_structure_type: |
| 161 | case DW_TAG_class_type: |
| 162 | diff --git a/backends/ia64_retval.c b/backends/ia64_retval.c |
| 163 | index dcd5f28..03ea4d8 100644 |
| 164 | --- a/backends/ia64_retval.c |
| 165 | +++ b/backends/ia64_retval.c |
| 166 | @@ -260,7 +260,7 @@ ia64_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 167 | typedie = dwarf_formref_die (attr, &die_mem); |
| 168 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 169 | } |
| 170 | - /* Fall through. */ |
| 171 | + FALLTHROUGH; |
| 172 | |
| 173 | case DW_TAG_base_type: |
| 174 | case DW_TAG_enumeration_type: |
| 175 | diff --git a/backends/linux-core-note.c b/backends/linux-core-note.c |
| 176 | index 67638d7..5f06c89 100644 |
| 177 | --- a/backends/linux-core-note.c |
| 178 | +++ b/backends/linux-core-note.c |
| 179 | @@ -226,7 +226,7 @@ EBLHOOK(core_note) (const GElf_Nhdr *nhdr, const char *name, |
| 180 | if (memcmp (name, "CORE", nhdr->n_namesz) == 0) |
| 181 | break; |
| 182 | /* Buggy old Linux kernels didn't terminate "LINUX". */ |
| 183 | - /* Fall through. */ |
| 184 | + FALLTHROUGH; |
| 185 | |
| 186 | case sizeof "LINUX": |
| 187 | if (memcmp (name, "LINUX", nhdr->n_namesz) == 0) |
| 188 | diff --git a/backends/m68k_retval.c b/backends/m68k_retval.c |
| 189 | index c68ed02..a653ba3 100644 |
| 190 | --- a/backends/m68k_retval.c |
| 191 | +++ b/backends/m68k_retval.c |
| 192 | @@ -92,7 +92,7 @@ m68k_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 193 | typedie = dwarf_formref_die (attr, &die_mem); |
| 194 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 195 | } |
| 196 | - /* Fall through. */ |
| 197 | + FALLTHROUGH; |
| 198 | |
| 199 | case DW_TAG_base_type: |
| 200 | case DW_TAG_enumeration_type: |
| 201 | @@ -135,7 +135,7 @@ m68k_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 202 | if (size <= 8) |
| 203 | return nloc_intregpair; |
| 204 | } |
| 205 | - /* Fallthrough */ |
| 206 | + FALLTHROUGH; |
| 207 | case DW_TAG_structure_type: |
| 208 | case DW_TAG_class_type: |
| 209 | case DW_TAG_union_type: |
| 210 | diff --git a/backends/mips_retval.c b/backends/mips_retval.c |
| 211 | index 57487bb..c6e1ffe 100644 |
| 212 | --- a/backends/mips_retval.c |
| 213 | +++ b/backends/mips_retval.c |
| 214 | @@ -306,7 +306,7 @@ mips_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 215 | typedie = dwarf_formref_die (attr, &die_mem); |
| 216 | tag = dwarf_tag (typedie); |
| 217 | } |
| 218 | - /* Fall through. */ |
| 219 | + FALLTHROUGH; |
| 220 | |
| 221 | case DW_TAG_base_type: |
| 222 | case DW_TAG_enumeration_type: |
| 223 | @@ -389,7 +389,7 @@ mips_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 224 | } |
| 225 | } |
| 226 | |
| 227 | - /* Fallthrough to handle large types */ |
| 228 | + FALLTHROUGH; /* Fallthrough to handle large types */ |
| 229 | |
| 230 | case DW_TAG_array_type: |
| 231 | large: |
| 232 | diff --git a/backends/parisc_retval.c b/backends/parisc_retval.c |
| 233 | index df7ec3a..1f1e91a 100644 |
| 234 | --- a/backends/parisc_retval.c |
| 235 | +++ b/backends/parisc_retval.c |
| 236 | @@ -116,7 +116,7 @@ parisc_return_value_location_ (Dwarf_Die *functypedie, const Dwarf_Op **locp, in |
| 237 | typedie = dwarf_formref_die (attr, &die_mem); |
| 238 | tag = dwarf_tag (typedie); |
| 239 | } |
| 240 | - /* Fall through. */ |
| 241 | + FALLTHROUGH; |
| 242 | |
| 243 | case DW_TAG_base_type: |
| 244 | case DW_TAG_enumeration_type: |
| 245 | @@ -167,6 +167,7 @@ parisc_return_value_location_ (Dwarf_Die *functypedie, const Dwarf_Op **locp, in |
| 246 | |
| 247 | /* Else fall through. */ |
| 248 | } |
| 249 | + FALLTHROUGH; |
| 250 | |
| 251 | case DW_TAG_structure_type: |
| 252 | case DW_TAG_class_type: |
| 253 | @@ -189,7 +190,7 @@ parisc_return_value_location_ (Dwarf_Die *functypedie, const Dwarf_Op **locp, in |
| 254 | *locp = loc_aggregate; |
| 255 | return nloc_aggregate; |
| 256 | #endif |
| 257 | - /* fall through. */ |
| 258 | + FALLTHROUGH; |
| 259 | } |
| 260 | } |
| 261 | |
| 262 | diff --git a/backends/ppc64_retval.c b/backends/ppc64_retval.c |
| 263 | index a251983..eb1c11e 100644 |
| 264 | --- a/backends/ppc64_retval.c |
| 265 | +++ b/backends/ppc64_retval.c |
| 266 | @@ -96,7 +96,7 @@ ppc64_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 267 | typedie = dwarf_formref_die (attr, &die_mem); |
| 268 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 269 | } |
| 270 | - /* Fall through. */ |
| 271 | + FALLTHROUGH; |
| 272 | |
| 273 | case DW_TAG_base_type: |
| 274 | case DW_TAG_enumeration_type: |
| 275 | @@ -141,7 +141,7 @@ ppc64_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 276 | return nloc_intreg; |
| 277 | } |
| 278 | |
| 279 | - /* Else fall through. */ |
| 280 | + FALLTHROUGH; |
| 281 | case DW_TAG_structure_type: |
| 282 | case DW_TAG_class_type: |
| 283 | case DW_TAG_union_type: |
| 284 | @@ -161,7 +161,7 @@ ppc64_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 285 | return nloc_vmxreg; |
| 286 | } |
| 287 | } |
| 288 | - /* Fall through. */ |
| 289 | + FALLTHROUGH; |
| 290 | |
| 291 | case DW_TAG_string_type: |
| 292 | if (dwarf_aggregate_size (typedie, &size) == 0 && size <= 8) |
| 293 | diff --git a/backends/ppc_regs.c b/backends/ppc_regs.c |
| 294 | index c2d5011..43d2534 100644 |
| 295 | --- a/backends/ppc_regs.c |
| 296 | +++ b/backends/ppc_regs.c |
| 297 | @@ -140,7 +140,7 @@ ppc_register_info (Ebl *ebl __attribute__ ((unused)), |
| 298 | case 100: |
| 299 | if (*bits == 32) |
| 300 | return stpcpy (name, "mq") + 1 - name; |
| 301 | - /* Fallthrough */ |
| 302 | + FALLTHROUGH; |
| 303 | case 102 ... 107: |
| 304 | name[0] = 's'; |
| 305 | name[1] = 'p'; |
| 306 | diff --git a/backends/ppc_retval.c b/backends/ppc_retval.c |
| 307 | index b14a99f..39b42da 100644 |
| 308 | --- a/backends/ppc_retval.c |
| 309 | +++ b/backends/ppc_retval.c |
| 310 | @@ -108,7 +108,7 @@ ppc_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 311 | typedie = dwarf_formref_die (attr, &die_mem); |
| 312 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 313 | } |
| 314 | - /* Fall through. */ |
| 315 | + FALLTHROUGH; |
| 316 | |
| 317 | case DW_TAG_base_type: |
| 318 | case DW_TAG_enumeration_type: |
| 319 | @@ -172,7 +172,7 @@ ppc_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 320 | return nloc_intregquad; |
| 321 | } |
| 322 | } |
| 323 | - /* Fall through. */ |
| 324 | + FALLTHROUGH; |
| 325 | |
| 326 | case DW_TAG_structure_type: |
| 327 | case DW_TAG_class_type: |
| 328 | diff --git a/backends/s390_retval.c b/backends/s390_retval.c |
| 329 | index a927d46..2043f98 100644 |
| 330 | --- a/backends/s390_retval.c |
| 331 | +++ b/backends/s390_retval.c |
| 332 | @@ -87,7 +87,7 @@ s390_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 333 | typedie = dwarf_formref_die (attr, &die_mem); |
| 334 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 335 | } |
| 336 | - /* Fall through. */ |
| 337 | + FALLTHROUGH; |
| 338 | |
| 339 | case DW_TAG_base_type: |
| 340 | case DW_TAG_enumeration_type: |
| 341 | @@ -127,7 +127,7 @@ s390_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 342 | return size <= asize ? nloc_intreg : nloc_intregpair; |
| 343 | } |
| 344 | } |
| 345 | - /* Fall through. */ |
| 346 | + FALLTHROUGH; |
| 347 | |
| 348 | case DW_TAG_structure_type: |
| 349 | case DW_TAG_class_type: |
| 350 | diff --git a/backends/sh_retval.c b/backends/sh_retval.c |
| 351 | index d44f260..33d7d96 100644 |
| 352 | --- a/backends/sh_retval.c |
| 353 | +++ b/backends/sh_retval.c |
| 354 | @@ -84,7 +84,7 @@ sh_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 355 | typedie = dwarf_formref_die (attr, &die_mem); |
| 356 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 357 | } |
| 358 | - /* Fall through. */ |
| 359 | + FALLTHROUGH; |
| 360 | |
| 361 | case DW_TAG_base_type: |
| 362 | case DW_TAG_enumeration_type: |
| 363 | diff --git a/backends/sparc_retval.c b/backends/sparc_retval.c |
| 364 | index e1b1775..fb81cdc 100644 |
| 365 | --- a/backends/sparc_retval.c |
| 366 | +++ b/backends/sparc_retval.c |
| 367 | @@ -91,7 +91,7 @@ sparc_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 368 | typedie = dwarf_formref_die (attr, &die_mem); |
| 369 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 370 | } |
| 371 | - /* Fall through. */ |
| 372 | + FALLTHROUGH; |
| 373 | |
| 374 | case DW_TAG_base_type: |
| 375 | case DW_TAG_enumeration_type: |
| 376 | diff --git a/backends/tilegx_retval.c b/backends/tilegx_retval.c |
| 377 | index db81a20..7f7d24b 100644 |
| 378 | --- a/backends/tilegx_retval.c |
| 379 | +++ b/backends/tilegx_retval.c |
| 380 | @@ -79,7 +79,7 @@ tilegx_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 381 | typedie = dwarf_formref_die (attr, &die_mem); |
| 382 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 383 | } |
| 384 | - /* Fall through. */ |
| 385 | + FALLTHROUGH; |
| 386 | |
| 387 | case DW_TAG_base_type: |
| 388 | case DW_TAG_enumeration_type: |
| 389 | @@ -113,7 +113,7 @@ tilegx_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 390 | return nloc_intreg; |
| 391 | } |
| 392 | |
| 393 | - /* Else fall through. */ |
| 394 | + FALLTHROUGH; |
| 395 | case DW_TAG_structure_type: |
| 396 | case DW_TAG_class_type: |
| 397 | case DW_TAG_union_type: |
| 398 | diff --git a/backends/x86_64_regs.c b/backends/x86_64_regs.c |
| 399 | index 8430440..ef987da 100644 |
| 400 | --- a/backends/x86_64_regs.c |
| 401 | +++ b/backends/x86_64_regs.c |
| 402 | @@ -87,7 +87,7 @@ x86_64_register_info (Ebl *ebl __attribute__ ((unused)), |
| 403 | |
| 404 | case 6 ... 7: |
| 405 | *type = DW_ATE_address; |
| 406 | - /* Fallthrough */ |
| 407 | + FALLTHROUGH; |
| 408 | case 0 ... 5: |
| 409 | name[0] = 'r'; |
| 410 | name[1] = baseregs[regno][0]; |
| 411 | diff --git a/backends/x86_64_retval.c b/backends/x86_64_retval.c |
| 412 | index b3799ae..f9114cb 100644 |
| 413 | --- a/backends/x86_64_retval.c |
| 414 | +++ b/backends/x86_64_retval.c |
| 415 | @@ -100,7 +100,7 @@ x86_64_return_value_location (Dwarf_Die *functypedie, const Dwarf_Op **locp) |
| 416 | typedie = dwarf_formref_die (attr, &die_mem); |
| 417 | tag = DWARF_TAG_OR_RETURN (typedie); |
| 418 | } |
| 419 | - /* Fall through. */ |
| 420 | + FALLTHROUGH; |
| 421 | |
| 422 | case DW_TAG_base_type: |
| 423 | case DW_TAG_enumeration_type: |
| 424 | diff --git a/config/eu.am b/config/eu.am |
| 425 | index 8fe1e25..b6ec581 100644 |
| 426 | --- a/config/eu.am |
| 427 | +++ b/config/eu.am |
| 428 | @@ -62,7 +62,9 @@ NULL_DEREFERENCE_WARNING= |
| 429 | endif |
| 430 | |
| 431 | if HAVE_IMPLICIT_FALLTHROUGH_WARNING |
| 432 | -IMPLICIT_FALLTHROUGH_WARNING=-Wimplicit-fallthrough |
| 433 | +# Use strict fallthrough. Only __attribute__((fallthrough)) will prevent the |
| 434 | +# warning |
| 435 | +IMPLICIT_FALLTHROUGH_WARNING=-Wimplicit-fallthrough=5 |
| 436 | else |
| 437 | IMPLICIT_FALLTHROUGH_WARNING= |
| 438 | endif |
| 439 | diff --git a/configure.ac b/configure.ac |
| 440 | index 1f1856d..698efbb 100644 |
| 441 | --- a/configure.ac |
| 442 | +++ b/configure.ac |
| 443 | @@ -360,6 +360,12 @@ CFLAGS="$old_CFLAGS"]) |
| 444 | AM_CONDITIONAL(HAVE_IMPLICIT_FALLTHROUGH_WARNING, |
| 445 | [test "x$ac_cv_implicit_fallthrough" != "xno"]) |
| 446 | |
| 447 | +# Assume the fallthrough attribute is supported if -Wimplict-fallthrough is supported |
| 448 | +if test "$ac_cv_implicit_fallthrough" = "yes"; then |
| 449 | + AC_DEFINE([HAVE_FALLTHROUGH], [1], |
| 450 | + [Defined if __attribute__((fallthrough)) is supported]) |
| 451 | +fi |
| 452 | + |
| 453 | dnl Check if we have argp available from our libc |
| 454 | AC_LINK_IFELSE( |
| 455 | [AC_LANG_PROGRAM( |
| 456 | diff --git a/lib/eu-config.h b/lib/eu-config.h |
| 457 | index 400cdc6..e8d4ec2 100644 |
| 458 | --- a/lib/eu-config.h |
| 459 | +++ b/lib/eu-config.h |
| 460 | @@ -186,5 +186,12 @@ asm (".section predict_data, \"aw\"; .previous\n" |
| 461 | # define COMPAT_VERSION(name, version, prefix) error "should use #ifdef SYMBOL_VERSIONING" |
| 462 | #endif |
| 463 | |
| 464 | +#ifndef FALLTHROUGH |
| 465 | +# ifdef HAVE_FALLTHROUGH |
| 466 | +# define FALLTHROUGH __attribute__ ((fallthrough)) |
| 467 | +# else |
| 468 | +# define FALLTHROUGH ((void) 0) |
| 469 | +# endif |
| 470 | +#endif |
| 471 | |
| 472 | #endif /* eu-config.h */ |
| 473 | diff --git a/libcpu/i386_disasm.c b/libcpu/i386_disasm.c |
| 474 | index 60fd6d4..837a3a8 100644 |
| 475 | --- a/libcpu/i386_disasm.c |
| 476 | +++ b/libcpu/i386_disasm.c |
| 477 | @@ -819,7 +819,7 @@ i386_disasm (Ebl *ebl __attribute__((unused)), |
| 478 | ++param_start; |
| 479 | break; |
| 480 | } |
| 481 | - /* Fallthrough */ |
| 482 | + FALLTHROUGH; |
| 483 | default: |
| 484 | str = ""; |
| 485 | assert (! "INVALID not handled"); |
| 486 | diff --git a/libcpu/i386_parse.c b/libcpu/i386_parse.c |
| 487 | index ef1ac35..6fa7ce3 100644 |
| 488 | --- a/libcpu/i386_parse.c |
| 489 | +++ b/libcpu/i386_parse.c |
| 490 | @@ -1047,7 +1047,7 @@ yytnamerr (char *yyres, const char *yystr) |
| 491 | case '\\': |
| 492 | if (*++yyp != '\\') |
| 493 | goto do_not_strip_quotes; |
| 494 | - /* Fall through. */ |
| 495 | + FALLTHROUGH; |
| 496 | default: |
| 497 | if (yyres) |
| 498 | yyres[yyn] = *yyp; |
| 499 | @@ -2042,7 +2042,7 @@ yyabortlab: |
| 500 | yyexhaustedlab: |
| 501 | yyerror (YY_("memory exhausted")); |
| 502 | yyresult = 2; |
| 503 | - /* Fall through. */ |
| 504 | + FALLTHROUGH; |
| 505 | #endif |
| 506 | |
| 507 | yyreturn: |
| 508 | diff --git a/libdw/cfi.c b/libdw/cfi.c |
| 509 | index daa845f..341e055 100644 |
| 510 | --- a/libdw/cfi.c |
| 511 | +++ b/libdw/cfi.c |
| 512 | @@ -138,7 +138,7 @@ execute_cfi (Dwarf_CFI *cache, |
| 513 | |
| 514 | case DW_CFA_advance_loc1: |
| 515 | operand = *program++; |
| 516 | - /* Fallthrough */ |
| 517 | + FALLTHROUGH; |
| 518 | case DW_CFA_advance_loc + 0 ... DW_CFA_advance_loc + CFI_PRIMARY_MAX: |
| 519 | advance_loc: |
| 520 | loc += operand * cie->code_alignment_factor; |
| 521 | @@ -301,7 +301,7 @@ execute_cfi (Dwarf_CFI *cache, |
| 522 | |
| 523 | case DW_CFA_restore_extended: |
| 524 | get_uleb128 (operand, program, end); |
| 525 | - /* Fallthrough */ |
| 526 | + FALLTHROUGH; |
| 527 | case DW_CFA_restore + 0 ... DW_CFA_restore + CFI_PRIMARY_MAX: |
| 528 | |
| 529 | if (unlikely (abi_cfi) && likely (opcode == DW_CFA_restore)) |
| 530 | diff --git a/libdw/dwarf_frame_register.c b/libdw/dwarf_frame_register.c |
| 531 | index 37e8e91..d0159fb 100644 |
| 532 | --- a/libdw/dwarf_frame_register.c |
| 533 | +++ b/libdw/dwarf_frame_register.c |
| 534 | @@ -62,7 +62,7 @@ dwarf_frame_register (Dwarf_Frame *fs, int regno, Dwarf_Op *ops_mem, |
| 535 | /* Use the default rule for registers not yet mentioned in CFI. */ |
| 536 | if (fs->cache->default_same_value) |
| 537 | goto same_value; |
| 538 | - /*FALLTHROUGH*/ |
| 539 | + FALLTHROUGH; |
| 540 | case reg_undefined: |
| 541 | /* The value is known to be unavailable. */ |
| 542 | break; |
| 543 | diff --git a/libdwfl/dwfl_report_elf.c b/libdwfl/dwfl_report_elf.c |
| 544 | index 6950a37..3fc9384 100644 |
| 545 | --- a/libdwfl/dwfl_report_elf.c |
| 546 | +++ b/libdwfl/dwfl_report_elf.c |
| 547 | @@ -174,7 +174,7 @@ __libdwfl_elf_address_range (Elf *elf, GElf_Addr base, bool add_p_vaddr, |
| 548 | /* An assigned base address is meaningless for these. */ |
| 549 | base = 0; |
| 550 | add_p_vaddr = true; |
| 551 | - /* Fallthrough. */ |
| 552 | + FALLTHROUGH; |
| 553 | case ET_DYN: |
| 554 | default:; |
| 555 | size_t phnum; |
| 556 | diff --git a/libdwfl/frame_unwind.c b/libdwfl/frame_unwind.c |
| 557 | index 4dc9c43..eaea495 100644 |
| 558 | --- a/libdwfl/frame_unwind.c |
| 559 | +++ b/libdwfl/frame_unwind.c |
| 560 | @@ -442,7 +442,7 @@ expr_eval (Dwfl_Frame *state, Dwarf_Frame *frame, const Dwarf_Op *ops, |
| 561 | } |
| 562 | if (val1 == 0) |
| 563 | break; |
| 564 | - /* FALLTHRU */ |
| 565 | + FALLTHROUGH; |
| 566 | case DW_OP_skip:; |
| 567 | Dwarf_Word offset = op->offset + 1 + 2 + (int16_t) op->number; |
| 568 | const Dwarf_Op *found = bsearch ((void *) (uintptr_t) offset, ops, nops, |
| 569 | diff --git a/libebl/eblobjnote.c b/libebl/eblobjnote.c |
| 570 | index f80a1a5..ca4f155 100644 |
| 571 | --- a/libebl/eblobjnote.c |
| 572 | +++ b/libebl/eblobjnote.c |
| 573 | @@ -223,7 +223,7 @@ ebl_object_note (Ebl *ebl, const char *name, uint32_t type, |
| 574 | free (buf); |
| 575 | break; |
| 576 | } |
| 577 | - /* FALLTHROUGH */ |
| 578 | + FALLTHROUGH; |
| 579 | |
| 580 | default: |
| 581 | /* Unknown type. */ |
| 582 | diff --git a/libelf/elf32_updatenull.c b/libelf/elf32_updatenull.c |
| 583 | index a51bf70..5351518 100644 |
| 584 | --- a/libelf/elf32_updatenull.c |
| 585 | +++ b/libelf/elf32_updatenull.c |
| 586 | @@ -232,7 +232,7 @@ __elfw2(LIBELFBITS,updatenull_wrlock) (Elf *elf, int *change_bop, size_t shnum) |
| 587 | __libelf_seterrno (ELF_E_GROUP_NOT_REL); |
| 588 | return -1; |
| 589 | } |
| 590 | - /* FALLTHROUGH */ |
| 591 | + FALLTHROUGH; |
| 592 | case SHT_SYMTAB_SHNDX: |
| 593 | sh_entsize = elf_typesize (32, ELF_T_WORD, 1); |
| 594 | break; |
| 595 | diff --git a/libelf/elf_begin.c b/libelf/elf_begin.c |
| 596 | index 6f85038..6de206a 100644 |
| 597 | --- a/libelf/elf_begin.c |
| 598 | +++ b/libelf/elf_begin.c |
| 599 | @@ -582,7 +582,7 @@ read_unmmaped_file (int fildes, off_t offset, size_t maxsize, Elf_Cmd cmd, |
| 600 | ? sizeof (Elf32_Ehdr) : sizeof (Elf64_Ehdr))) |
| 601 | return file_read_elf (fildes, NULL, mem.header, offset, maxsize, cmd, |
| 602 | parent); |
| 603 | - /* FALLTHROUGH */ |
| 604 | + FALLTHROUGH; |
| 605 | |
| 606 | default: |
| 607 | break; |
| 608 | @@ -1097,7 +1097,7 @@ elf_begin (int fildes, Elf_Cmd cmd, Elf *ref) |
| 609 | retval = NULL; |
| 610 | break; |
| 611 | } |
| 612 | - /* FALLTHROUGH */ |
| 613 | + FALLTHROUGH; |
| 614 | |
| 615 | case ELF_C_READ: |
| 616 | case ELF_C_READ_MMAP: |
| 617 | diff --git a/libelf/elf_cntl.c b/libelf/elf_cntl.c |
| 618 | index ab13ffb..fd68178 100644 |
| 619 | --- a/libelf/elf_cntl.c |
| 620 | +++ b/libelf/elf_cntl.c |
| 621 | @@ -62,7 +62,7 @@ elf_cntl (Elf *elf, Elf_Cmd cmd) |
| 622 | result = -1; |
| 623 | break; |
| 624 | } |
| 625 | - /* FALLTHROUGH */ |
| 626 | + FALLTHROUGH; |
| 627 | |
| 628 | case ELF_C_FDDONE: |
| 629 | /* Mark the file descriptor as not usable. */ |
| 630 | diff --git a/src/addr2line.c b/src/addr2line.c |
| 631 | index ba414a7..444ee52 100644 |
| 632 | --- a/src/addr2line.c |
| 633 | +++ b/src/addr2line.c |
| 634 | @@ -618,7 +618,7 @@ handle_address (const char *string, Dwfl *dwfl) |
| 635 | case 1: |
| 636 | addr = 0; |
| 637 | j = i; |
| 638 | - /* Fallthrough */ |
| 639 | + FALLTHROUGH; |
| 640 | case 2: |
| 641 | if (string[j] != '\0') |
| 642 | break; |
| 643 | diff --git a/src/elfcompress.c b/src/elfcompress.c |
| 644 | index 8e0d5c5..25378a4 100644 |
| 645 | --- a/src/elfcompress.c |
| 646 | +++ b/src/elfcompress.c |
| 647 | @@ -149,7 +149,7 @@ parse_opt (int key, char *arg __attribute__ ((unused)), |
| 648 | N_("Only one input file allowed together with '-o'")); |
| 649 | /* We only use this for checking the number of arguments, we don't |
| 650 | actually want to consume them. */ |
| 651 | - /* Fallthrough */ |
| 652 | + FALLTHROUGH; |
| 653 | default: |
| 654 | return ARGP_ERR_UNKNOWN; |
| 655 | } |
| 656 | diff --git a/src/elflint.c b/src/elflint.c |
| 657 | index 51e53c2..df1b3a0 100644 |
| 658 | --- a/src/elflint.c |
| 659 | +++ b/src/elflint.c |
| 660 | @@ -1764,7 +1764,7 @@ section [%2d] '%s': entry %zu: pointer does not match address of section [%2d] ' |
| 661 | if (dyn->d_tag < DT_ADDRRNGLO || dyn->d_tag > DT_ADDRRNGHI) |
| 662 | /* Value is no pointer. */ |
| 663 | break; |
| 664 | - /* FALLTHROUGH */ |
| 665 | + FALLTHROUGH; |
| 666 | |
| 667 | case DT_AUXILIARY: |
| 668 | case DT_FILTER: |
| 669 | @@ -3993,7 +3993,7 @@ section [%2zu] '%s': merge flag set but entry size is zero\n"), |
| 670 | case SHT_NOBITS: |
| 671 | if (is_debuginfo) |
| 672 | break; |
| 673 | - /* Fallthrough */ |
| 674 | + FALLTHROUGH; |
| 675 | default: |
| 676 | ERROR (gettext ("\ |
| 677 | section [%2zu] '%s' has unexpected type %d for an executable section\n"), |
| 678 | @@ -4137,7 +4137,7 @@ section [%2zu] '%s': ELF header says this is the section header string table but |
| 679 | ERROR (gettext ("\ |
| 680 | section [%2zu] '%s': relocatable files cannot have dynamic symbol tables\n"), |
| 681 | cnt, section_name (ebl, cnt)); |
| 682 | - /* FALLTHROUGH */ |
| 683 | + FALLTHROUGH; |
| 684 | case SHT_SYMTAB: |
| 685 | check_symtab (ebl, ehdr, shdr, cnt); |
| 686 | break; |
| 687 | @@ -4336,7 +4336,7 @@ section [%2d] '%s': unknown core file note type %" PRIu32 |
| 688 | if (nhdr.n_namesz == sizeof "Linux" |
| 689 | && !memcmp (data->d_buf + name_offset, "Linux", sizeof "Linux")) |
| 690 | break; |
| 691 | - /* Fallthrough */ |
| 692 | + FALLTHROUGH; |
| 693 | default: |
| 694 | if (shndx == 0) |
| 695 | ERROR (gettext ("\ |
| 696 | diff --git a/src/objdump.c b/src/objdump.c |
| 697 | index 860cfac..0dd9a6a 100644 |
| 698 | --- a/src/objdump.c |
| 699 | +++ b/src/objdump.c |
| 700 | @@ -223,7 +223,7 @@ parse_opt (int key, char *arg, |
| 701 | } |
| 702 | /* We only use this for checking the number of arguments, we don't |
| 703 | actually want to consume them. */ |
| 704 | - /* Fallthrough */ |
| 705 | + FALLTHROUGH; |
| 706 | default: |
| 707 | return ARGP_ERR_UNKNOWN; |
| 708 | } |
| 709 | diff --git a/src/readelf.c b/src/readelf.c |
| 710 | index 346eccd..6a27e7e 100644 |
| 711 | --- a/src/readelf.c |
| 712 | +++ b/src/readelf.c |
| 713 | @@ -465,7 +465,7 @@ parse_opt (int key, char *arg, |
| 714 | print_string_sections = true; |
| 715 | break; |
| 716 | } |
| 717 | - /* Fall through. */ |
| 718 | + FALLTHROUGH; |
| 719 | case 'x': |
| 720 | add_dump_section (arg, false); |
| 721 | any_control_option = true; |
| 722 | @@ -6029,7 +6029,7 @@ attr_callback (Dwarf_Attribute *attrp, void *arg) |
| 723 | dwarf_form_name (form), (uintmax_t) num); |
| 724 | return DWARF_CB_OK; |
| 725 | } |
| 726 | - /* else fallthrough */ |
| 727 | + FALLTHROUGH; |
| 728 | |
| 729 | /* These cases always take a loclistptr and no constant. */ |
| 730 | case DW_AT_location: |
| 731 | @@ -6195,7 +6195,7 @@ attr_callback (Dwarf_Attribute *attrp, void *arg) |
| 732 | print_block (block.length, block.data); |
| 733 | break; |
| 734 | } |
| 735 | - /* Fall through. */ |
| 736 | + FALLTHROUGH; |
| 737 | |
| 738 | case DW_AT_location: |
| 739 | case DW_AT_data_location: |
| 740 | @@ -9227,7 +9227,7 @@ handle_auxv_note (Ebl *ebl, Elf *core, GElf_Word descsz, GElf_Off desc_pos) |
| 741 | printf (" %s\n", name); |
| 742 | break; |
| 743 | } |
| 744 | - /* Fall through */ |
| 745 | + FALLTHROUGH; |
| 746 | case 'x': /* hex */ |
| 747 | case 'p': /* address */ |
| 748 | case 's': /* address of string */ |
| 749 | diff --git a/src/strings.c b/src/strings.c |
| 750 | index d214356..03d0f13 100644 |
| 751 | --- a/src/strings.c |
| 752 | +++ b/src/strings.c |
| 753 | @@ -246,7 +246,7 @@ parse_opt (int key, char *arg, |
| 754 | case 'b': |
| 755 | case 'B': |
| 756 | big_endian = true; |
| 757 | - /* FALLTHROUGH */ |
| 758 | + FALLTHROUGH; |
| 759 | |
| 760 | case 'l': |
| 761 | case 'L': |
| 762 | diff --git a/tests/backtrace.c b/tests/backtrace.c |
| 763 | index 21abe8a..f5dd761 100644 |
| 764 | --- a/tests/backtrace.c |
| 765 | +++ b/tests/backtrace.c |
| 766 | @@ -127,7 +127,7 @@ callback_verify (pid_t tid, unsigned frameno, Dwarf_Addr pc, |
| 767 | assert (symname2 == NULL || strcmp (symname2, "jmp") != 0); |
| 768 | break; |
| 769 | } |
| 770 | - /* FALLTHRU */ |
| 771 | + FALLTHROUGH; |
| 772 | case 4: |
| 773 | /* Some simple frame unwinders get this wrong and think sigusr2 |
| 774 | is calling itself again. Allow it and just pretend there is |
| 775 | diff --git a/tests/elfstrmerge.c b/tests/elfstrmerge.c |
| 776 | index 8d5b53c..62c549d 100644 |
| 777 | --- a/tests/elfstrmerge.c |
| 778 | +++ b/tests/elfstrmerge.c |
| 779 | @@ -578,7 +578,8 @@ main (int argc, char **argv) |
| 780 | break; |
| 781 | |
| 782 | case SHT_DYNAMIC: |
| 783 | - /* Fallthrough. There are string indexes in here, but |
| 784 | + FALLTHROUGH; |
| 785 | + /* There are string indexes in here, but |
| 786 | they (should) point to a allocated string table, |
| 787 | which we don't alter. */ |
| 788 | default: |
| 789 | -- |
| 790 | 2.14.3 |
| 791 | |