diff --git a/gcc/attribs.cc b/gcc/attribs.cc index 776655dde00..4e313d38f0f 100644 --- a/gcc/attribs.cc +++ b/gcc/attribs.cc @@ -315,7 +315,7 @@ void free_attr_data () { for (auto x : ignored_attributes_table) - delete[] x; + delete x; ignored_attributes_table.release (); }