struct FOO {
FOO() : a(0), b(0) {}
int callee();
__attribute__((noinline)) void caller(int n) {
int r = callee();
if (r == 0) {
a += n;
b += 1;
}
int a;
int volatile b;
};