Analysis of an OpenMP Program for Race Detection