 |
Post AtNNa4ImS6LGFcqTwW by [email protected] |
 |
More posts by [email protected] |
|
Post #AtMPBb8PFXPtafUano by [email protected] |
|
0 likes, 1 repeats |
|
|
|
undefined behavior is pretty well understood at this point, but a piece of the … |
|
|
|
Post #AtMPBbEmroWLuSTgkS by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@regehr It's possible that the baby-crushing machine offers no benefit to h… |
|
|
|
Post #AtMedq0T332j8TheF6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr *putting on my tinfoil hat*If I were a governement agency tasked with p… |
|
|
|
Post #AtMedq7Ce0QlTMr1k0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pygy @regehr a government agency this competent would be a small miracle. |
|
|
|
Post #AtNC52S8B8CY2jDiuO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lritter @pygy @regehr thanks for that sanity :) |
|
|
|
Post #AtNN2K6jBHffQR7JiK by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@regehr There are two subtle things here.The first is that proving the absence … |
|
|
|
Post #AtNNJbnIfx5vCcGwGO by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@pygy @regehr If I were doing this, I would be pushing for C++ Contracts. They … |
|
|
|
Post #AtNNZtmVZEaLcdfZFg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr nitpick: This is not looking at a compiler that does not optimize based… |
|
|
|
Post #AtNNZtuJ6Ep80pJnPM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@nota @regehr Yes and this is something I've pushed for for a long time. We… |
|
|
|
Post #AtNNa4AcwPotqL1yEa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr Is that different from "how well could a compiler like LLVM optimi… |
|
|
|
Post #AtNNa4ImS6LGFcqTwW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@wollman @regehr It is complicated because in some cases a language like Rust a… |
|
|
|
Post #AtNNaEl9ZSymgWCHYW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr answer before looking: perfectly fine as long as you use unsigned integ… |
|
|
|
Post #AtNNbpH7ICmEE1uByy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@wollman @regehr Very different because that depends entirely on what operation… |
|
|
|
Post #AtNNbpN8vnb6Wij0NM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@nota @regehr Thinking here very much of the GLS Approach™️ as seen in Java… |
|
|
|
Post #AtNNeB90xD2wdBEmci by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@azonenberg @nota I think we're doing fine in this regard, modern languages… |
|
|
|
Post #AtNNeBFOZU9OwyDsZM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr @nota I'm speaking about this from the perspective of someone maint… |
|
|
|
Post #AtNNebUB19QIKLL3Dc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr holy shit. i can't believe that a pile of benches are going faster … |
|
|
|
Post #AtNNfgI6dYZtWJCrCq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@azonenberg @nota @regehr C23 finally requires two's complement, so there i… |
|
|
|
Post #AtNNhPIqljkbPbNSim by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@[email protected] turns out you really can just -fdefine-behavior |
|
|
|
Post #AtNNhPPaMh8dkUWqDg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@duk but for real that paper looked like A LOT of work |
|
|
|
Post #AtNNhQaG0VGjNsWsUa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@duk Nuno's a colleague, I'll ask him sometime! |
|
|
|
Post #AtNNhW5dXGLASeFVb6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@[email protected] yeah jokes aside I absolutely agree - even past the cla… |
|
|
|
Post #AtNNlL8KDKJPdcKVBw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@azonenberg @nota @regehr There is some organized effort by the C++ standards c… |
|
|
|
Post #AtNNoQnNcPdo4G0UCW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@edwintorok @nota @regehr c++ requires twos complement starting in 20 iirc. But… |
|
|
|
Post #AtNNoTVPXg3ATOcg6q by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@wollman it's definitely different but I'm not sure I could do a good j… |
|
|
|
Post #AtNNoeRur0n4Pk4Xgm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr having met more than zero programmers including myself, I take issue wi… |
|
|
|
Post #AtNNspRVvFMVfUsNWK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@nota @wollman another angle here is that the language within which Rust optimi… |
|
|
|
Post #AtNNtuXsR7GJmdMuEy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr I once discovered a UB bug as a user. Had a look at the disassembly. I … |
|
|
|
Post #AtNNvuOFz5FHshoySe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr excellent, I always thought about how UB could be eliminated from the s… |
|
|
|
Post #AtNNw07SgRNNeM0e7E by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@antopatriarca @wollman @regehr A major reason that Fortran is so fast for nume… |
