procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR debug/78587 (dwarf2out.c:1517:45: runtime error: negation of -9223372036854775808 cannot be represented in type 'long int [4]'; cast to an unsigned type to negate this value to itself)

Browse source 
PR debug/78587
	* dwarf2out.c (loc_descr_plus_const): For negative offset use
	uint_loc_descriptor instead of int_loc_descriptor and perform negation
	in unsigned HOST_WIDE_INT type.
	(scompare_loc_descriptor): Shift UINTVAL left instead of INTVAL.

	* gcc.dg/debug/pr78587.c: New test.

From-SVN: r243100
This commit is contained in:
Jakub Jelinek 2016-12-01 10:24:55 +01:00 • committed by Jakub Jelinek
parent 43d0b501ee
commit d26b3eb765
4 changed files with 38 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ChangeLog
View file

@ -1,5 +1,11 @@
2016-12-01 Jakub Jelinek <jakub@redhat.com>
PR debug/78587
* dwarf2out.c (loc_descr_plus_const): For negative offset use
uint_loc_descriptor instead of int_loc_descriptor and perform negation
in unsigned HOST_WIDE_INT type.
(scompare_loc_descriptor): Shift UINTVAL left instead of INTVAL.
PR target/78614
* config/rs6000/rs6000.c (rs6000_frame_related): Call
set_used_flags (pat) before any simplifications. Clear used flag on

7
gcc/dwarf2out.c
View file

@ -1514,7 +1514,8 @@ loc_descr_plus_const (dw_loc_descr_ref *list_head, HOST_WIDE_INT offset)
else
{
loc->dw_loc_next = int_loc_descriptor (-offset);
loc->dw_loc_next
= uint_loc_descriptor (-(unsigned HOST_WIDE_INT) offset);
add_loc_descr (&loc->dw_loc_next, new_loc_descr (DW_OP_minus, 0, 0));
}
}
@ -13837,7 +13838,7 @@ scompare_loc_descriptor (enum dwarf_location_atom op, rtx rtl,
if (CONST_INT_P (XEXP (rtl, 1))
&& GET_MODE_BITSIZE (op_mode) < HOST_BITS_PER_WIDE_INT
&& (size_of_int_loc_descriptor (shift) + 1
+ size_of_int_loc_descriptor (INTVAL (XEXP (rtl, 1)) << shift)
+ size_of_int_loc_descriptor (UINTVAL (XEXP (rtl, 1)) << shift)
>= size_of_int_loc_descriptor (GET_MODE_MASK (op_mode)) + 1
+ size_of_int_loc_descriptor (INTVAL (XEXP (rtl, 1))
& GET_MODE_MASK (op_mode))))
@ -13852,7 +13853,7 @@ scompare_loc_descriptor (enum dwarf_location_atom op, rtx rtl,
add_loc_descr (&op0, int_loc_descriptor (shift));
add_loc_descr (&op0, new_loc_descr (DW_OP_shl, 0, 0));
if (CONST_INT_P (XEXP (rtl, 1)))
op1 = int_loc_descriptor (INTVAL (XEXP (rtl, 1)) << shift);
op1 = int_loc_descriptor (UINTVAL (XEXP (rtl, 1)) << shift);
else
{
add_loc_descr (&op1, int_loc_descriptor (shift));

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2016-12-01 Jakub Jelinek <jakub@redhat.com>
PR debug/78587
* gcc.dg/debug/pr78587.c: New test.
2016-12-01 Segher Boessenkool <segher@kernel.crashing.org>
PR rtl-optimization/78607

23
gcc/testsuite/gcc.dg/debug/pr78587.c Normal file
View file

@ -0,0 +1,23 @@
/* PR debug/78587 */
/* { dg-do compile } */
/* { dg-additional-options "-w" } */
extern void bar (void);
void
foo (long long x)
{
x ^= 9223372036854775808ULL;
bar ();
}
struct S { int w[4]; } a[1], b;
void
baz ()
{
int e = (int) baz;
if (e <= -80)
e = 0;
b = a[e];
}