mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-19 22:21:32 +08:00
Code Issues Packages Projects Releases Wiki Activity

[Ada] Delete: set Position to No_Element

Browse Source 
gcc/ada/

	* libgnat/a-cihama.adb, libgnat/a-cohama.adb,
	libgnat/a-cohase.adb (Delete): Set Position.Position, and
	assert.
This commit is contained in:
Bob Duff 2020-09-10 11:49:50 -04:00 committed by Pierre-Marie de Rodat
parent 1ab538527f
commit cc744c0c23
3 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/ada/libgnat/a-cihama.adb
View File

@ -349,6 +349,8 @@ is
Free (Position.Node);
Position.Container := null;
Position.Position := No_Element.Position;
pragma Assert (Position = No_Element);
end Delete;
-------------

2
gcc/ada/libgnat/a-cohama.adb
View File

@ -336,6 +336,8 @@ is
Free (Position.Node);
Position.Container := null;
Position.Position := No_Element.Position;
pragma Assert (Position = No_Element);
end Delete;
-------------

2
gcc/ada/libgnat/a-cohase.adb
View File

@ -319,6 +319,8 @@ is
Free (Position.Node);
Position.Container := null;
Position.Position := No_Element.Position;
pragma Assert (Position = No_Element);
end Delete;
----------------