> Options Result > none increment > -DASSUME_GNULIB increment > -DTWO_ASSUMES single-store > -DASSUME_GNULIB -DTWO_ASSUMES increment
Thanks, I should have included that. However, please note that in the -DASSUME_GNULIB cases, global will have a final value of 2, as it's incremented by f as well as by main; in the "none" case, it will have a final value of 1.