]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] tech debt: Parent (Empty) is not allowed
authorBob Duff <duff@adacore.com>
Fri, 9 Apr 2021 18:53:56 +0000 (14:53 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 29 Jun 2021 14:23:47 +0000 (14:23 +0000)
commit898edf758e03a6cc31219405a667c75b67a726ca
tree69749a9c1b8385174595567094c2dc2853a9731a
parent568d3d4656c347012eb7dd2f008845505eab3ca8
[Ada] tech debt: Parent (Empty) is not allowed

gcc/ada/

* atree.adb, atree.ads (Parent, Set_Parent): Assert node is
Present.
(Copy_Parent, Parent_Kind): New helper routines.
* gen_il-gen.adb: Add with clause.
* nlists.adb (Parent): Assert Parent of list is Present.
* aspects.adb, checks.adb, exp_aggr.adb, exp_ch6.adb,
exp_util.adb, lib-xref-spark_specific.adb, osint.ads,
sem_ch12.adb, sem_ch13.adb, sem_ch3.adb, sem_ch6.adb,
sem_dim.adb, sem_prag.adb, sem_res.adb, sem_util.adb,
treepr.adb: Do not call Parent and Set_Parent on the Empty node.
* libgnat/a-stwiun__shared.adb, libgnat/a-stzunb__shared.adb:
Minor: Fix typos in comments.
* einfo.ads: Minor comment update.
* sinfo-utils.ads, sinfo-utils.adb (Parent_Kind, Copy_Parent):
New functions.
25 files changed:
gcc/ada/aspects.adb
gcc/ada/atree.adb
gcc/ada/atree.ads
gcc/ada/checks.adb
gcc/ada/einfo.ads
gcc/ada/exp_aggr.adb
gcc/ada/exp_ch6.adb
gcc/ada/exp_util.adb
gcc/ada/gen_il-gen.adb
gcc/ada/lib-xref-spark_specific.adb
gcc/ada/libgnat/a-stwiun__shared.adb
gcc/ada/libgnat/a-stzunb__shared.adb
gcc/ada/nlists.adb
gcc/ada/osint.ads
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch6.adb
gcc/ada/sem_dim.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb
gcc/ada/sinfo-utils.adb
gcc/ada/sinfo-utils.ads
gcc/ada/treepr.adb