diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-03-06 18:07:14 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-03-06 18:07:14 +0000 |
| commit | 21183e9e07c3a5793957a6d156beb4544c8c409d (patch) | |
| tree | 6d2463101de20b98eeb4b330c031737abbc35ad8 | |
| parent | 9b2cb7a7f9386525e292d072e86ca1fea4727296 (diff) | |
| download | gcc-21183e9e07c3a5793957a6d156beb4544c8c409d.tar.gz | |
* gcc-interface/trans.c (Attribute_to_gnu): Abort instead of erroring
out for an unimplemented attribute.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196507 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | 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,5 +1,10 @@ 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 a misaligned integral type if a size is specified for the field. 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 |