From: Eric Botcazou Date: Wed, 6 Mar 2013 18:07:14 +0000 (+0000) Subject: trans.c (Attribute_to_gnu): Abort instead of erroring out for an unimplemented attribute. X-Git-Tag: releases/gcc-4.8.0~156 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=010dffa97d82bdeca5c91c41574cee155be47840;p=thirdparty%2Fgcc.git 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 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4f0478a1629a..b3228b0367c7 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 8cdc632cca54..39e455b83ea3 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