diff options
| author | Bob Duff <duff@adacore.com> | 2023-05-10 15:21:15 -0400 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-08-01 10:06:44 +0200 |
| commit | 62d8dae02728b8a991ee04133732016e2906233e (patch) | |
| tree | 0c71fe323bc898041d5fa4811fb14e360e1dd2ba /gcc/tree-cfg.cc | |
| parent | 7fef55ece2345a14d351a89cfd611482bb9a025f (diff) | |
| download | gcc-62d8dae02728b8a991ee04133732016e2906233e.zip gcc-62d8dae02728b8a991ee04133732016e2906233e.tar.gz gcc-62d8dae02728b8a991ee04133732016e2906233e.tar.bz2 | |
ada: check Atree.Get/Set_Field_Value
Get_Field_Value and Set_Field_Value now check that the Nkind or Ekind is
correct. However, the checks are partially disabled, because they
sometimes fail.
gcc/ada/
* atree.adb (Field_Present): New function to detect whether or not
a given field is present in a given node, based on either the node
kind or the entity kind as appropriate.
(Get_Field_Value): Check that the field begin fetched exists.
However, disable the check in the case of Scope_Depth_Value,
because we have failures in that case. Those failures need to be
fixed, and then the check can be enabled for all fields.
(Set_Field_Value): Check that the field begin set exists.
Diffstat (limited to 'gcc/tree-cfg.cc')
0 files changed, 0 insertions, 0 deletions