2. Compiling and Running OpenMP Programs
3. Implementation-Defined Behaviors
6. Automatic Scoping of Variables
7.1 Using the Scope Checking Feature
As mentioned above, scope checking only works with optimization level -xO3 or higher. Scope checking does not work if the program is compiled with just -xopenmp=noopt.
Only synchronizations specified by using OpenMP synchronization directives, such as BARRIER and MASTER, are recognized and used in the data race analysis. User-implemented synchronizations, such as busy-waiting, are not recognized.