FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ada: Add comment for assertion

Browse source 
Add possible cause for a failed assertion.

gcc/ada/

	* gcc-interface/utils2.cc (build_simple_component_ref): Add
	comment on assertion.
This commit is contained in:
Marc Poulhiès 2023-11-06 11:16:40 +01:00
parent 348cb1c015
commit 60123b134b
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/ada/gcc-interface/utils2.cc
View file

@ -2021,7 +2021,10 @@ build_simple_component_ref (tree record, tree field, bool no_fold)
/* The failure of this assertion will very likely come from a missing
insertion of an explicit dereference. */
gcc_assert (RECORD_OR_UNION_TYPE_P (type) && COMPLETE_TYPE_P (type));
gcc_assert (RECORD_OR_UNION_TYPE_P (type));
/* The type must be frozen at this point. */
gcc_assert (COMPLETE_TYPE_P (type));
/* Try to fold a conversion from another record or union type unless the type
contains a placeholder as it might be needed for a later substitution. */