From 010dffa97d82bdeca5c91c41574cee155be47840 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Wed, 6 Mar 2013 18:07:14 +0000 Subject: [PATCH] trans.c (Attribute_to_gnu): Abort instead of erroring out for an unimplemented attribute. * gcc-interface/trans.c (Attribute_to_gnu): Abort instead of erroring out for an unimplemented attribute. From-SVN: r196507 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/gcc-interface/trans.c | 9 ++------- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4f0478a1629..b3228b0367c 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2013-03-06 Eric Botcazou + + * gcc-interface/trans.c (Attribute_to_gnu): Abort instead of erroring + out for an unimplemented attribute. + 2013-03-06 Eric Botcazou * gcc-interface/decl.c (gnat_to_gnu_field): Remove the wrapper around diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 8cdc632cca5..39e455b83ea 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -2066,13 +2066,8 @@ Attribute_to_gnu (Node_Id gnat_node, tree *gnu_result_type_p, int attribute) break; default: - /* Say we have an unimplemented attribute. Then set the value to be - returned to be a zero and hope that's something we can convert to - the type of this attribute. */ - post_error ("unimplemented attribute", gnat_node); - gnu_result_type = get_unpadded_type (Etype (gnat_node)); - gnu_result = integer_zero_node; - break; + /* This abort means that we have an unimplemented attribute. */ + gcc_unreachable (); } /* If this is an attribute where the prefix was unused, force a use of it if -- 2.30.2