https://github.com/5chmidti commented: I think the check should also support `sizeof(float)`, not just `sizeof(var)`. You can compare the underlying canonical types of the arg and the sizeof arg type. https://github.com/llvm/llvm-project/pull/189962