diff options
author | Bob Duff <duff@adacore.com> | 2020-09-10 11:49:50 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-26 04:58:57 -0400 |
commit | cc744c0c238975146980db13facb0307f4d73968 (patch) | |
tree | 725ffa98505a197d72c1a2d817205864ff2e47f4 | |
parent | 1ab538527f9a67d2af427d1d65015611f4c46a6d (diff) | |
download | gcc-cc744c0c238975146980db13facb0307f4d73968.zip gcc-cc744c0c238975146980db13facb0307f4d73968.tar.gz gcc-cc744c0c238975146980db13facb0307f4d73968.tar.bz2 |
[Ada] Delete: set Position to No_Element
gcc/ada/
* libgnat/a-cihama.adb, libgnat/a-cohama.adb,
libgnat/a-cohase.adb (Delete): Set Position.Position, and
assert.
-rw-r--r-- | gcc/ada/libgnat/a-cihama.adb | 2 | ||||
-rw-r--r-- | gcc/ada/libgnat/a-cohama.adb | 2 | ||||
-rw-r--r-- | gcc/ada/libgnat/a-cohase.adb | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/a-cihama.adb b/gcc/ada/libgnat/a-cihama.adb index 64f662f..7a490d5 100644 --- a/gcc/ada/libgnat/a-cihama.adb +++ b/gcc/ada/libgnat/a-cihama.adb @@ -349,6 +349,8 @@ is Free (Position.Node); Position.Container := null; + Position.Position := No_Element.Position; + pragma Assert (Position = No_Element); end Delete; ------------- diff --git a/gcc/ada/libgnat/a-cohama.adb b/gcc/ada/libgnat/a-cohama.adb index 1475330..9c4e51a 100644 --- a/gcc/ada/libgnat/a-cohama.adb +++ b/gcc/ada/libgnat/a-cohama.adb @@ -336,6 +336,8 @@ is Free (Position.Node); Position.Container := null; + Position.Position := No_Element.Position; + pragma Assert (Position = No_Element); end Delete; ------------- diff --git a/gcc/ada/libgnat/a-cohase.adb b/gcc/ada/libgnat/a-cohase.adb index 63e44e1..0131f73 100644 --- a/gcc/ada/libgnat/a-cohase.adb +++ b/gcc/ada/libgnat/a-cohase.adb @@ -319,6 +319,8 @@ is Free (Position.Node); Position.Container := null; + Position.Position := No_Element.Position; + pragma Assert (Position = No_Element); end Delete; ---------------- |