https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87059
--- Comment #18 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- BTW, the suggest patch in comment 10 causes an x86-64 regression on gcc.dg/attr-nonstring-3.c because of some incompatibility with ssizetype and sizetype. I believe it's related to this: https://gcc.gnu.org/ml/gcc/2018-08/msg00164.html ...so it may be a rat's nest to fix. I may just make VRP work with broken behavior it expected before.