File tree Expand file tree Collapse file tree 3 files changed +0
-42
lines changed Expand file tree Collapse file tree 3 files changed +0
-42
lines changed Original file line number Diff line number Diff line change @@ -116,9 +116,6 @@ void ansi_c_convert_typet::read_rec(const typet &type)
116
116
{
117
117
gcc_attribute_mode=type;
118
118
}
119
- else if (type.id ()==ID_gcc_attribute)
120
- {
121
- }
122
119
else if (type.id ()==ID_msc_based)
123
120
{
124
121
const exprt &as_expr=static_cast <const exprt &>(static_cast <const irept &>(type));
Original file line number Diff line number Diff line change @@ -1476,27 +1476,6 @@ aggregate_key:
1476
1476
| TOK_UNION
1477
1477
{ $$ =$1 ; set($$ , ID_union); }
1478
1478
;
1479
-
1480
- gcc_attribute_expression_list :
1481
- assignment_expression
1482
- {
1483
- init ($$, ID_expression_list);
1484
- mto ($$, $1 );
1485
- }
1486
- | gcc_attribute_expression_list ' ,' assignment_expression
1487
- {
1488
- $$ =$1 ;
1489
- mto ($$, $3 );
1490
- }
1491
- ;
1492
-
1493
- gcc_attribute_expression_list_opt :
1494
- /* empty */
1495
- {
1496
- init ($$, ID_expression_list);
1497
- }
1498
- | gcc_attribute_expression_list
1499
- ;
1500
1479
1501
1480
gcc_type_attribute :
1502
1481
TOK_GCC_ATTRIBUTE_PACKED
@@ -1532,23 +1511,6 @@ gcc_attribute:
1532
1511
{
1533
1512
init ($$);
1534
1513
}
1535
- | TOK_CONST
1536
- {
1537
- $$ =$1 ;
1538
- stack ($$).id(ID_gcc_attribute);
1539
- stack ($$).set(ID_identifier, ID_const);
1540
- }
1541
- | identifier
1542
- {
1543
- $$ =$1 ;
1544
- stack ($$).id(ID_gcc_attribute);
1545
- }
1546
- | identifier ' (' gcc_attribute_expression_list_opt ' )'
1547
- {
1548
- $$ =$1 ;
1549
- stack ($$).id(ID_gcc_attribute);
1550
- stack ($$).operands().swap(stack($3 ).operands());
1551
- }
1552
1514
| gcc_type_attribute
1553
1515
;
1554
1516
Original file line number Diff line number Diff line change @@ -529,7 +529,6 @@ explicit
529
529
storage_spec
530
530
member_spec
531
531
msc_declspec
532
- gcc_attribute
533
532
packed
534
533
C_packed #packed
535
534
transparent_union
You can’t perform that action at this time.
0 commit comments