https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109173 --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- To expand on it further, nothing guarantees that the intrinsic is actually an inline function, it can be also macro etc., so relying on such details as exact operand type is impossible.