Valgrind can only detect this for single executions, not for all possible ones.