int a[10], b[10];
#define COPY_ELEMENT(index) (a[(index)]=b[(index)])

void main () {
    int i=0, k=0;

    COPY_ELEMENT (k);         /* Compliant */
    COPY_ELEMENT (i++);       /* Noncompliant  */
}

В этом примере правило нарушено оператором COPY_ELEMENT(i++) потому что i++ происходит дважды, и порядок оценки этих двух выражений не задан.

void f (unsigned int param1, unsigned int param2) {}

void main () {
    unsigned int i=0;
    f ( i++, i );                 /* Non-compliant */
}

В этом примере нарушено правило, потому что это не задано ли операция i++ происходит прежде или после того, как второй аргумент передается f. Вызов f(i++,i) может перевести в любой f(0,0) или f(0,1).

volatile float res;
volatile float x; 
volatile float y; 

float xCopy;
float yCopy;


void function4(void) {
    res = x + y;          //Noncompliant
    xCopy = x;
    yCopy = y;
    res = xCopy + yCopy;  //Compliant
} 

В этом примере, выражение x + y несовместимо, потому что выражение включает несколько энергозависимых переменных. Выражение эффективно состоит из трех операций, получая доступ к значению x, доступ к значению y, и наконец сложение. Значения энергозависимых переменных x и y может варьироваться, в зависимости от которого переменная читается сначала. Стандарт не задает порядок, в котором читаются переменные. Поэтому результат выражения может отличаться согласно позволенным порядкам оценки. Например, это возможно то чтение x первые результаты в изменении в значении y, который впоследствии читается.

Чтобы избежать нарушения, присвойте энергозависимые переменные энергонезависимым временным переменным и используйте эти временные переменные в выражении.