It's not possible to determine all possible undefined behavior in a C program. -fsanitize=undefined is best-effort.