1-- Copyright 2012-2016 Free Software Foundation, Inc. 2-- 3-- This program is free software; you can redistribute it and/or modify 4-- it under the terms of the GNU General Public License as published by 5-- the Free Software Foundation; either version 3 of the License, or 6-- (at your option) any later version. 7-- 8-- This program is distributed in the hope that it will be useful, 9-- but WITHOUT ANY WARRANTY; without even the implied warranty of 10-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 11-- GNU General Public License for more details. 12-- 13-- You should have received a copy of the GNU General Public License 14-- along with this program. If not, see <http://www.gnu.org/licenses/>. 15 16procedure Foo is 17 type Discriminants_Record (A : Integer; B : Boolean) is record 18 C : Float; 19 end record; 20 -- The following variable is unused on purpose, and might be 21 -- optimized out by the compiler. 22 Z : Discriminants_Record := (A => 1, B => False, C => 2.0); 23begin 24 null; 25end Foo; 26