https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114995
--- Comment #10 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- Created attachment 58202 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58202&action=edit proof of concept implementing a range-op entry for builtin_assume_aligned Something like this (properly coded and enhanced) would work. The pointers_handled_p() cruft is temporary boilerplate to indicate that we only support a fold-range() of PRANGE = IRANGE op PRANGE for this operation. This is going away when the dust settles.