https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101197
--- Comment #15 from cqwrteur <unlvsur at live dot com> --- (In reply to cqwrteur from comment #14) > (In reply to Tamar Christina from comment #13) > > (In reply to cqwrteur from comment #12) > > > (In reply to cqwrteur from comment #11) > > > > (In reply to Tamar Christina from comment #10) > > How do you think you know when the size is small? > > That is unfortunate you have no way to deal with that. > > > > but on small memcopy and memmove. > > > > By logic this means you know the size is constant. > > That is for type punning reason I just mentioned before. You have no way to tell the compiler your size is small or how small it is. maybe __builtin_unreachable() could help. But it is still useless.