...
This compliant solution performs a postcondition test to ensure that the result of the unsigned addition operation to i is not less than the operand ui_a:
| Code Block | ||||
|---|---|---|---|---|
| ||||
#include <stdatomic.h>
atomic_int i;
int ui_a;
void func(void) {
/* Initialize ui_a, i*/
atomic_fetch_add(&i, ui_a);
if (atomic_load(&i) < ui_a) {
/* Handle error condition */
}
/* ... */
} |
Exceptions
...