Skip to content

Commit 69aaa52

Browse files
tjj2017martin
authored andcommitted
This should have been added when the branch was created
1 parent 7af1121 commit 69aaa52

File tree

1 file changed

+1
-11
lines changed

1 file changed

+1
-11
lines changed

gnat2goto/driver/tree_walk.adb

Lines changed: 1 addition & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1477,17 +1477,7 @@ package body Tree_Walk is
14771477
when N_Explicit_Dereference => return Do_Dereference (N);
14781478
when N_Case_Expression => return Do_Case_Expression (N);
14791479
when N_Aggregate => return Do_Aggregate_Literal (N);
1480-
when N_Indexed_Component =>
1481-
if Nkind (Etype (Prefix (N))) = N_Defining_Identifier
1482-
and then
1483-
Get_Name_String (Chars (Etype (Etype (Prefix (N)))))
1484-
= "string"
1485-
then
1486-
return Report_Unhandled_Node_Irep (N, "Do_Expression",
1487-
"Index of string unsupported");
1488-
else
1489-
return Do_Indexed_Component (N);
1490-
end if;
1480+
when N_Indexed_Component => return Do_Indexed_Component (N);
14911481
when N_Slice => return Do_Slice (N);
14921482
when N_In => return Do_In (N);
14931483
when N_Real_Literal => return Do_Real_Constant (N);

0 commit comments

Comments
 (0)