4 ms·

Does make me wonder what restrict-related bugs will be (have been?) uncovered in GCC, if any. Or whether the GCC devs saw what LLVM went through and decided to

Does make me wonder what restrict-related bugs will be (have been?) uncovered in GCC, if any. Or whether the GCC devs saw what LLVM went through and decided to try to address any issues preemptively.

gpderetta 10mo ago
gcc has had restrict for 25 years I think. I would hope most bugs have been squashed by now.
- aw1621107 10mo ago
  Possibly? LLVM had been around for a while as well but Rust still ended up running into aliasing-related optimizer bugs. Now that I think about it some more, perhaps gfortran might be a differentiating factor? Not familiar enough with Fortran to guess as to how much it would exercise aliasing-related optimizations, though.
  - gpderetta 10mo ago
    I think Fortran function arguments are assumed not to alias. I'm not sure if it matches C restrict semantics though.
    - aw1621107 10mo ago
      Yeah, that's why I was wondering whether GCC might have shaken out its aliasing bugs. Sibling seems to recall otherwise, though.
newpavlov 10mo ago
IIRC at least one of the `restrict` bugs found by Rust was reproduced on both LLVM and GCC.