aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ada/libgnat/a-cihama.adb2
-rw-r--r--gcc/ada/libgnat/a-cohama.adb2
-rw-r--r--gcc/ada/libgnat/a-cohase.adb2
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;
----------------