diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 10 | ||||
| -rw-r--r-- | gcc/config/avr/avr.c | 9 | ||||
| -rw-r--r-- | gcc/config/avr/avr.h | 6 | ||||
| -rw-r--r-- | gcc/config/fp-bit.c | 2 |
4 files changed, 17 insertions, 10 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2f0dfcb..a7ef1e3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,13 @@ +2005-04-27 Nathan Sidwell <nathan@codesourcery.com> + + * config/fp-bit.c (abort): Add noreturn attribute. + + * config/avr/avr.c (avr_naked_function_p): Use gcc_assert and + gcc_unreachable as appropriate. + (ptrreg_to_str, cond_string, avr_normalize_condition): Likewise. + * config/avr/avr.h (ASM_OUTPUT_REG_PUSH, + ASM_OUTPUT_REG_POP): Likewise. + 2005-04-27 Paolo Bonzini <bonzini@gnu.org> * tree-complex.c (expand_vector_operations_1): Do not build diff --git a/gcc/config/avr/avr.c b/gcc/config/avr/avr.c index bc51d91..668d4cc 100644 --- a/gcc/config/avr/avr.c +++ b/gcc/config/avr/avr.c @@ -380,8 +380,7 @@ avr_naked_function_p (tree func) { tree a; - if (TREE_CODE (func) != FUNCTION_DECL) - abort (); + gcc_assert (TREE_CODE (func) == FUNCTION_DECL); a = lookup_attribute ("naked", DECL_ATTRIBUTES (func)); return a != NULL_TREE; @@ -1030,7 +1029,7 @@ ptrreg_to_str (int regno) case REG_Y: return "Y"; case REG_Z: return "Z"; default: - abort (); + gcc_unreachable (); } return NULL; } @@ -1062,7 +1061,7 @@ cond_string (enum rtx_code code) case LTU: return "lo"; default: - abort (); + gcc_unreachable (); } } @@ -5534,7 +5533,7 @@ avr_normalize_condition (RTX_CODE condition) case LEU: return LTU; default: - abort (); + gcc_unreachable (); } } diff --git a/gcc/config/avr/avr.h b/gcc/config/avr/avr.h index e0a9c75..5b7c73d 100644 --- a/gcc/config/avr/avr.h +++ b/gcc/config/avr/avr.h @@ -668,15 +668,13 @@ sprintf (STRING, "*.%s%lu", PREFIX, (unsigned long)(NUM)) #define ASM_OUTPUT_REG_PUSH(STREAM, REGNO) \ { \ - if (REGNO > 31) \ - abort (); \ + gcc_assert (REGNO < 32); \ fprintf (STREAM, "\tpush\tr%d", REGNO); \ } #define ASM_OUTPUT_REG_POP(STREAM, REGNO) \ { \ - if (REGNO > 31) \ - abort (); \ + gcc_assert (REGNO < 32); \ fprintf (STREAM, "\tpop\tr%d", REGNO); \ } diff --git a/gcc/config/fp-bit.c b/gcc/config/fp-bit.c index 795e67a..1229bf7 100644 --- a/gcc/config/fp-bit.c +++ b/gcc/config/fp-bit.c @@ -81,7 +81,7 @@ Boston, MA 02111-1307, USA. */ #endif #ifdef EXTENDED_FLOAT_STUBS -extern void abort (void); +extern __attribute__ ((__noreturn__)) void abort (void); void __extendsfxf2 (void) { abort(); } void __extenddfxf2 (void) { abort(); } void __truncxfdf2 (void) { abort(); } |