Synopsis

(Required) All memory synchronization operations shall be executed in sequentially consistent order

Enabled by default

Yes

Severity/Certainty

Low/Medium

Full description

Use of other than memory_order_seq_cst parameter found.

Coding standards

Code examples

The following code example fails the check and will give a warning:

#include <stdatomic.h>

typedef struct s { 
  short a; 
  short b;
} s_t;

_Atomic s_t astr;

void main( void ) { 
  s_t lstr = atomic_load_explicit( &astr, memory_order_relaxed );  /* Non-compliant */ 
}

The following code example passes the check and will not give a warning about this issue:

#include <stdatomic.h>

typedef struct s { 
  short a; 
  short b;
} s_t;

_Atomic s_t astr;

void main( void ) { 
  s_t lstr = atomic_load( &astr ); /* Compliant */ 
}