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