On Tue, 2020-11-24 at 11:58 +1100, Finn Thain wrote:
it's not for me to prove that such patches don't affect code generation. That's for the patch author and (unfortunately) for reviewers.
Ideally, that proof would be provided by the compilation system itself and not patch authors nor reviewers nor maintainers.
Unfortunately gcc does not guarantee repeatability or deterministic output. To my knowledge, neither does clang.