Page History

...

#include <signal.h>

size_t i;

void handler() {
  i = 0;
}

int main(void) {
  signal(SIGINT, handler);
  i = 1;
  while (i) {
   /* do something */
  }
}

Compliant Solution

By adding the volatile qualifier, i is guaranteed to be accessed from it original address for every iteration of the while loop.

#include <signal.h>

volatile size_t i;

void handler() {
  i = 0;
}

int main(void) {
  signal(SIGINT, handler);
  i = 1;
  while (i) {
   /* do something */
  }
}

Risk Assessment

In addition to incorrect optimizations, this can cause race conditions, resulting in Omitting the restrict qualification for objects that can change in ways unexpected to the implementation can lead to unexpected program flow or an inconsistent state.

...