On Tue, Mar 7, 2017 at 3:48 PM, Martin Liška <mli...@suse.cz> wrote:
> On 03/07/2017 11:17 AM, Rainer Orth wrote:
>> marxin <mli...@suse.cz> writes:
>>
>>> diff --git a/gcc/testsuite/g++.dg/pr79769.C b/gcc/testsuite/g++.dg/pr79769.C
>>> new file mode 100644
>>> index 00000000000..f9223db1b2d
>>> --- /dev/null
>>> +++ b/gcc/testsuite/g++.dg/pr79769.C
>>> @@ -0,0 +1,4 @@
>>> +/* { dg-do compile { target { ! x32 } } } */
>>> +/* { dg-options "-fcheck-pointer-bounds -mmpx -mabi=ms" } */
>>
>> ... and again: make this x86-only.
>>
>>       Rainer
>>
>
> Thanks. I'm sending v2 of the patch.

Hmm, not sure why we should handle REAL_CST here explicitely for example.

Why not, instead of internal_error in the default: case do

  bounds = chkp_get_invalid_op_bounds ();

there?  For the testcase why do we invoke chkp_find_bounds_1 on sth that is
a REAL_CST for example?

Richard.

> Martin

Reply via email to