2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
+ * gcc-interface/utils.c (maybe_pad_type): Do not apply adjustment to
+ original size for elementary types before issuing the size warning.
+
+2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * get_targ.adb (C_Get_Float_Words_BE): Adjust import name.
+ (C_Get_Words_BE): Likewise.
+ (C_Get_Bytes_BE): Likewise.
+ (C_Get_Bits_BE): Likewise.
+ (Width_From_Size): Remove superfluous space.
* gcc-interface/targtyps.c (get_float_words_be): Rename into...
(get_target_float_words_be): ...this.
(get_words_be): Rename into...
if (CONTAINS_PLACEHOLDER_P (orig_size))
orig_size = max_size (orig_size, true);
- if (align)
+ if (align && AGGREGATE_TYPE_P (type))
orig_size = round_up (orig_size, align);
if (!operand_equal_p (size, orig_size, 0)
+2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat.dg/warn11.adb: New test.
+ * gnat.dg/specs/alignment2.ads: Add dg-warning directive.
+
2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/vfa1_1.adb: New test.
-- OK, big size
type I3 is new Integer_32;
- for I3'Size use 32 * 8;
+ for I3'Size use 32 * 8; -- { dg-warning "unused" }
for I3'Alignment use 32;
end Alignment2;
--- /dev/null
+with Ada.Text_IO; use Ada.Text_IO;
+
+procedure Warn11 is
+
+ type My_Integer is new Integer range 1 .. 10;
+ for My_Integer'Size use 65; -- { dg-warning "unused" }
+
+ type My_Integer2 is new Integer range 1 .. 10;
+ for My_Integer2'Size use 129; -- { dg-warning "unused" }
+
+begin
+ Put_Line ("MB'Size is " & Natural'Image (My_Integer'Size));
+ Put_Line ("MB'Size is " & Natural'Image (My_Integer2'Size));
+end;