https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114507
Bug ID: 114507
Summary: FR: Randomize order of evluation of function of
arguments
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: vt at altlinux dot org
Target Milestone: ---
There is class of bugs when, for example, printf is called with several
functions that output to the same static buffer overwriting each others result.
This could be hard to detect in legacy code, for example there is nested calls
invisible from top level functions, also compiler tend to create the same call
order, so if overwriting is order dependent it could be undetected for years
and appear on some rare architecture when compiler reorder calls [1].
To detect this kind of bugs it would be useful to have compiler option to
reorder function arguments evaluation randomly. With this test suites will have
a _chance_ to detect the bugs even on one architecture.
[1] https://lore.kernel.org/all/[email protected]/
