Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Anchor
conforming program
conforming program

conforming [ISO/IEC 9899:2011]
Conforming programs may depend on nonportable features of a conforming implementation.

Anchor
critical sections
critical sections

critical sections

Shared data that would otherwise be protected from data races.

Anchor
data flow analysis
data flow analysis

data flow analysis

Tracking of value constraints along nonexcluded paths through the code.

...