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 4f0478a1629ad5a671e11d3a5cec5ed49f6715e0..b3228b0367c702a1af74d2c6b26c56822a6a7b0e 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2013-03-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/trans.c (Attribute_to_gnu): Abort instead of erroring
+       out for an unimplemented attribute.
+
 2013-03-06  Eric Botcazou  <ebotcazou@adacore.com>
 
        * 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 8cdc632cca54573f5ace71018059f065112fd80f..39e455b83ea3845122889da60c1068311edf9ed6 100644 (file)
--- 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