NagyDonat wrote: By the way is the "NFC" tag justified for this "add an off-by-default option" commit? I used this because e.g. if somebody is looking for a bug, they can safely skip this commit -- but OTOH this _does_ add a new feature. https://github.com/llvm/llvm-project/pull/125494