]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Follow-up adjustment after fix to Default_Initialize_Object
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 12 Feb 2024 18:25:39 +0000 (19:25 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 14 May 2024 08:19:54 +0000 (10:19 +0200)
commitba0b16a527b6d658dddca2e2609ab6b6c1fe32d4
tree5761fb006ad530be83b8a73b61c750dd2f295656
parent0b7673ae72286ba1a8939320580f6e9002980e73
ada: Follow-up adjustment after fix to Default_Initialize_Object

Now that Default_Initialize_Object honors the No_Initialization flag in all
cases, objects of an access type declared without initialization expression
can no longer be considered as being automatically initialized to null.

gcc/ada/

* exp_ch3.adb (Expand_N_Object_Declaration): Examine the Expression
field after the call to Default_Initialize_Object in order to set
Is_Known_Null, as well as Is_Known_Non_Null, on an access object.
gcc/ada/exp_ch3.adb