public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/114507] New: FR: Randomize order of evluation of function of arguments
@ 2024-03-28 5:28 vt at altlinux dot org
2024-03-28 5:30 ` [Bug c/114507] " sjames at gcc dot gnu.org
` (3 more replies)
0 siblings, 4 replies; 5+ messages in thread
From: vt at altlinux dot org @ 2024-03-28 5:28 UTC (permalink / raw)
To: gcc-bugs
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/20240323091717.dtsioyvjnhl5dtyv@altlinux.org/
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c/114507] FR: Randomize order of evluation of function of arguments
2024-03-28 5:28 [Bug c/114507] New: FR: Randomize order of evluation of function of arguments vt at altlinux dot org
@ 2024-03-28 5:30 ` sjames at gcc dot gnu.org
2024-03-28 5:31 ` sjames at gcc dot gnu.org
` (2 subsequent siblings)
3 siblings, 0 replies; 5+ messages in thread
From: sjames at gcc dot gnu.org @ 2024-03-28 5:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114507
Sam James <sjames at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sjames at gcc dot gnu.org
--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
Maybe we should have a metabug for hardening/debugging-style feature requests
like this (PR82179 comes to mind).
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c/114507] FR: Randomize order of evluation of function of arguments
2024-03-28 5:28 [Bug c/114507] New: FR: Randomize order of evluation of function of arguments vt at altlinux dot org
2024-03-28 5:30 ` [Bug c/114507] " sjames at gcc dot gnu.org
@ 2024-03-28 5:31 ` sjames at gcc dot gnu.org
2024-03-28 5:35 ` pinskia at gcc dot gnu.org
2024-03-28 5:37 ` pinskia at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: sjames at gcc dot gnu.org @ 2024-03-28 5:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114507
--- Comment #2 from Sam James <sjames at gcc dot gnu.org> ---
That said, I feel as if it's more likely this is better for the analyser.
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c/114507] FR: Randomize order of evluation of function of arguments
2024-03-28 5:28 [Bug c/114507] New: FR: Randomize order of evluation of function of arguments vt at altlinux dot org
2024-03-28 5:30 ` [Bug c/114507] " sjames at gcc dot gnu.org
2024-03-28 5:31 ` sjames at gcc dot gnu.org
@ 2024-03-28 5:35 ` pinskia at gcc dot gnu.org
2024-03-28 5:37 ` pinskia at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-03-28 5:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114507
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
That being said this is a dup of bug 12411 .
*** This bug has been marked as a duplicate of bug 12411 ***
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c/114507] FR: Randomize order of evluation of function of arguments
2024-03-28 5:28 [Bug c/114507] New: FR: Randomize order of evluation of function of arguments vt at altlinux dot org
` (2 preceding siblings ...)
2024-03-28 5:35 ` pinskia at gcc dot gnu.org
@ 2024-03-28 5:37 ` pinskia at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-03-28 5:37 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114507
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Well the diagnostic part was PR 12411 :) (which I filed years ago and decided
to close as won't fix less than 3 years ago).
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2024-03-28 5:37 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-03-28 5:28 [Bug c/114507] New: FR: Randomize order of evluation of function of arguments vt at altlinux dot org
2024-03-28 5:30 ` [Bug c/114507] " sjames at gcc dot gnu.org
2024-03-28 5:31 ` sjames at gcc dot gnu.org
2024-03-28 5:35 ` pinskia at gcc dot gnu.org
2024-03-28 5:37 ` pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).