https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108896
--- Comment #43 from Martin Uecker <muecker at gwdg dot de> --- Yes, this is great! I am also looking forward to your patch! It seems it works with the bounds checking code? Does it also interact with the object size pass?