Improved fix for #4455, no false negatives if variable is used before first memset