+2008-01-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/33788
+ * fold-const.c (fold_unary) <VIEW_CONVERT_EXPR>: Fold an existing
+ NOP_EXPR if it is between integral types with the same precision.
+
2008-01-12 Jan Hubicka <jh@suse.cz>
PR other/28023
+2008-01-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * utils.c (unchecked_convert): Fold the VIEW_CONVERT_EXPR expression.
+
2008-01-10 John David Anglin <dave.anglin.@nrc-cnrc.gc.ca>
PR ada/34466
expr = convert (rtype, expr);
if (type != rtype)
- expr = build1 (final_unchecked ? VIEW_CONVERT_EXPR : NOP_EXPR,
- type, expr);
+ expr = fold_build1 (final_unchecked ? VIEW_CONVERT_EXPR : NOP_EXPR,
+ type, expr);
}
/* If we are converting TO an integral type whose precision is not the
else
{
expr = maybe_unconstrained_array (expr);
-
- /* There's no point in doing two unchecked conversions in a row. */
- if (TREE_CODE (expr) == VIEW_CONVERT_EXPR)
- expr = TREE_OPERAND (expr, 0);
-
etype = TREE_TYPE (expr);
- expr = build1 (VIEW_CONVERT_EXPR, type, expr);
+ expr = fold_build1 (VIEW_CONVERT_EXPR, type, expr);
}
/* If the result is an integral type whose size is not equal to
case VIEW_CONVERT_EXPR:
if (TREE_TYPE (op0) == type)
return op0;
- if (TREE_CODE (op0) == VIEW_CONVERT_EXPR)
+ if (TREE_CODE (op0) == VIEW_CONVERT_EXPR
+ || (TREE_CODE (op0) == NOP_EXPR
+ && INTEGRAL_TYPE_P (TREE_TYPE (op0))
+ && INTEGRAL_TYPE_P (TREE_TYPE (TREE_OPERAND (op0, 0)))
+ && TYPE_PRECISION (TREE_TYPE (op0))
+ == TYPE_PRECISION (TREE_TYPE (TREE_OPERAND (op0, 0)))))
return fold_build1 (VIEW_CONVERT_EXPR, type, TREE_OPERAND (op0, 0));
return fold_view_convert_expr (type, op0);
+2008-01-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat.dg/bit_packed_array.ad[sb]: New test.
+
2008-01-12 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR fortran/34432
--- /dev/null
+-- PR ada/33788
+-- Origin: Oliver Kellogg <oliver.kellogg@eads.com>
+
+-- { dg-do compile }
+
+package body Bit_Packed_Array is
+
+ procedure Generate_Callforward is
+ Compiler_Crash : String :=
+ Laser_Illuminator_Code_Group_T'Image
+ (MADR.ISF.Laser_Illuminator_Code (0));
+ begin
+ null;
+ end Generate_Callforward;
+
+end Bit_Packed_Array;
--- /dev/null
+with Interfaces;
+
+package Bit_Packed_Array is
+
+ type laser_illuminator_code_group_t is (zero, one);
+ pragma Convention (C, laser_illuminator_code_group_t);
+
+ subtype lic_array_index_t is Interfaces.Unsigned_8 range 0 .. 3;
+
+ type lic_array_t is array (lic_array_index_t) of laser_illuminator_code_group_t;
+ pragma Convention (C, lic_array_t);
+
+ type Eighty_Bytes_T is array (1 .. 80) of Interfaces.Unsigned_8;
+
+ type Mission_Assignment_T is record
+ Eighty_Bytes : Eighty_Bytes_T;
+ Laser_Illuminator_Code : lic_array_t;
+ end record;
+
+ for Mission_Assignment_T use record
+ Eighty_Bytes at 0 range 0 .. 639;
+ Laser_Illuminator_Code at 0 range 653 .. 780;
+ end record;
+
+ type Mission_Assignment_Dbase_Rec_T is record
+ ISF : Mission_Assignment_T;
+ end record;
+
+ MADR : Mission_Assignment_Dbase_Rec_T;
+
+ procedure Generate_Callforward;
+
+end Bit_Packed_Array;