This patch adds processing for N_Variable_Reference_Marker nodes to the
transformation phase of gigi.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-11-09 Hristian Kirtchev
* gcc-interface/trans.c (gnat_to_gnu): Add processing for
N_Variable_Reference_Marker nodes.
In
This patch reimplements the handling of variable references by the access-
before-elaboration mechanism for the purpose of SPARK elaboration checks.
Prior to the patch, variable references (N_Expanded_Name and N_Identifier)
were detected and processed as is, however such references might be folded,
