[SystemSafety] A seasonal poser ...

[Andrew Banks]

As a seasonal greeting to all, let me throw down a supplemental challenge
:-)

What is the highest number of MISRA C violations that you achieve with one
single "spec"...


Merry Christmas (or other appropriate Seasonal Greetings), and may the
banter continue in 2019

Andrew

-----Original Message-----
From: systemsafety
[mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of
Olwen Morgan
Sent: 19 December 2018 14:10
To: systemsafety at lists.techfak.uni-bielefeld.de
Subject: [SystemSafety] A seasonal poser ...


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


_______________________________________________
The System Safety Mailing List
systemsafety at TechFak.Uni-Bielefeld.DE
Manage your subscription:
https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety