rocketrascal

2 ms·

1. 1.▲
   by rocketrascal 5mo ago

   Are you sure? >unsequenced side effects on the same scalar object are UB >6.5.3.3.8 tells us that the evaluations of function arguments are indeterminately sequenced w.r.t. each other. Read 5.1.2.4.3: "If A is not sequenced befo
2. 2.▲
   by rocketrascal 5mo ago

   You can't make any useful software in "Portable C" - or any portable language for that matter. Side effects matter, and they are always non-portable/implementation defined/dependent on the hardware. What printf() a
3. 3.▲
   by rocketrascal 5mo ago

   You can fail to verify something which you actually wanted to verify (i.e you made a proof of something else instead of the thing that mattered). See WPA2 KRACK as an example.