4 ms·
> UB licenses a program to do anything Only if it is reachable under the given inputs. We've gone over this, and you were on the right track a few comments up.
by jjnoakes 9y ago
> UB licenses a program to do anything
Only if it is reachable under the given inputs. We've gone over this, and you were on the right track a few comments up. Why revert now?
> Writing a non-trivial C program that contain no UB is practically impossible
> The point is that you think you can write correct C code
We happen to agree on both of these points, but I'm not sure how you got on this topic? Let's stay focused...
> And no, I'm not going to tell you what it is because that would be missing the point.
That's about what I expected, since there's no UB in my example.
Good day!
- lisper 9y ago> Only if it is reachable under the given inputs Yes, I already conceded that. > there's no UB in my example Then here is an opportunity for you to show me up and make some easy money. How much are you willing to bet?
- jjnoakes 9y agoI would wager quite a bit (I wager my career on things like this daily), but based on the ability for you to communicate effectively and based on facts thus far, I'm not entirely convinced that when you end up being wrong, you'd accept it, understand it, and pay up. The ball's in your court man. Posturing around a wager is just you flailing around, empty handed.
- lisper 9y agoWell, you would have won. I was thinking of this: https://spin.atomicobject.com/2014/05/19/c-undefined-behaviors/ https://spin.atomicobject.com/2014/05/19/c-undefined-behavio... but I just noticed that you actually specified your ints to be unsigned. So I would have lost. (And I would have paid.)
- jjnoakes 9y agoThanks for coming clean.