[SystemSafety] A seasonal poser ...
Olwen Morgan
olwen at phaedsys.com
Wed Dec 19 15:09:57 CET 2018
A wee puzzle for those who enjoy vandalising C verification tools:
Can you come up with a C program containing an expression such that
under one order of evaluation, there are two side effects between
sequence points and under another order of evaluation, there aren't?
... and, before the depradations of SAD make my winter absent-mindedness
a dire pain ...
Happy Easter everyone!
Olwen
More information about the systemsafety
mailing list