[Ada] Remove duplicates of empty strings

Pierre-Marie de Rodat derodat@adacore.com
Thu Jan 6 17:12:57 GMT 2022

In package Stringt we already have a Null_String_Id, which represents a
null string with length zero. There is no need to duplicate it in other

Cleanup originating from enabling expansion of dispatching wrappers for
GNATprove; semantics is unaffected.

Tested on x86_64-pc-linux-gnu, committed on trunk


	* par-ch4.adb (P_Simple_Expression): Reuse Null_String_Id.
	* prep.adb (Parse_Def_File): Likewise; remove Empty_String.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-diff
Size: 2270 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20220106/9d7642a9/attachment.bin>

More information about the Gcc-patches mailing list