On Tue, 11 Feb 2020, Richard Biener wrote:
> Bootstrapped / tested on x86_64-unknown-linux-gnu, pushed.
> diff --git a/gcc/testsuite/gcc.dg/pr93661.c b/gcc/testsuite/gcc.dg/pr93661.c
> new file mode 100644
> index 00000000000..e311ba545c4
> --- /dev/null
> +++ b/gcc/testsuite/gcc.dg/pr93661.c
> @@ -0,0 +1,9 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O2" } */
Missing int32plus qualifier considering the assumed-to-fit
constants?
> +
> +int f ()
> +{
> + unsigned x = 0xffffffff;
> + __builtin_memset (1+(char *) &x, 0, -1); /* { dg-warning "maximum object
> size" } */
> + return (x != 0xf0000000);
brgds, H-P
PS. no, doesn't fail for targets I care for, just random.
