When manipulating bounded hash-table based container objects,
that do not otherwise have any explicit initialization expression,
the compiler would emit a warning about the object not being
initialized, because the Nodes component of the hash table
type had not been given an initialization expression.
This warning is a false positive, because the logical state of the
object is empty, and other components of the hash table record type
are initialized, in a manner that establishes the representation
invariant of the object.
In order to eliminate the warning, the Nodes component of the hash
table type was given an initialization expression.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-04 Matthew Heaney <hea...@adacore.com>
* a-cohata.ads (Hash_Table_Type): default-initialize the Nodes
component.
Index: a-cohata.ads
===================================================================
--- a-cohata.ads (revision 177274)
+++ a-cohata.ads (working copy)
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
--- Copyright (C) 2004-2010, Free Software Foundation, Inc. --
+-- Copyright (C) 2004-2011, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
@@ -66,7 +66,7 @@
Busy : Natural := 0;
Lock : Natural := 0;
Free : Count_Type'Base := -1;
- Nodes : Nodes_Type (1 .. Capacity);
+ Nodes : Nodes_Type (1 .. Capacity) := (others => <>);
Buckets : Buckets_Type (1 .. Modulus) := (others => 0);
end record;
end Generic_Bounded_Hash_Table_Types;
