public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug middle-end/35412] Correctness with -ftrapv depended on libcall notes [not found] <bug-35412-4@http.gcc.gnu.org/bugzilla/> @ 2023-03-05 14:20 ` ntysdd at qq dot com 2023-03-05 20:03 ` pinskia at gcc dot gnu.org 1 sibling, 0 replies; 7+ messages in thread From: ntysdd at qq dot com @ 2023-03-05 14:20 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35412 dingd <ntysdd at qq dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ntysdd at qq dot com --- Comment #10 from dingd <ntysdd at qq dot com> --- I wonder what's the status of this bug. It has been 15 years. As far as I know, Clang doesn't have this bug, so it should not be impossible to implement. And, does -fsantize=undefined really provides the same functionality of this switch? I have always assumed that santizers are not to be used in production, right? ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug middle-end/35412] Correctness with -ftrapv depended on libcall notes [not found] <bug-35412-4@http.gcc.gnu.org/bugzilla/> 2023-03-05 14:20 ` [Bug middle-end/35412] Correctness with -ftrapv depended on libcall notes ntysdd at qq dot com @ 2023-03-05 20:03 ` pinskia at gcc dot gnu.org 1 sibling, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu.org @ 2023-03-05 20:03 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35412 --- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to dingd from comment #10) > I wonder what's the status of this bug. It has been 15 years. It still is a bug. > > As far as I know, Clang doesn't have this bug, so it should not be > impossible to implement. Yes clang/LLVM does not have this bug because the internals of them and GCC are way different. > > And, does -fsantize=undefined really provides the same functionality of this > switch? I have always assumed that santizers are not to be used in > production, right? See PR 101521 for some ideas of how to implement this using the same infrastructure as -fsantize=undefined . ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug middle-end/35412] New: Correctness with -ftrapv depends on libcall notes @ 2008-02-29 23:24 steven at gcc dot gnu dot org 2008-06-25 11:55 ` [Bug middle-end/35412] Correctness with -ftrapv depended " rguenth at gcc dot gnu dot org ` (4 more replies) 0 siblings, 5 replies; 7+ messages in thread From: steven at gcc dot gnu dot org @ 2008-02-29 23:24 UTC (permalink / raw) To: gcc-bugs See http://gcc.gnu.org/ml/gcc-patches/2007-10/msg01011.html ``When -ftrapv is in effect, libcalls are "necessary" so that the results of an operation can be propagated without making the call to the libgcc functions dead. The attached patch causes a failure in pr30286.c.'' This has to be investigated before libcall notes can be removed from the compiler. -- Summary: Correctness with -ftrapv depends on libcall notes Product: gcc Version: unknown Status: UNCONFIRMED Severity: enhancement Priority: P3 Component: middle-end AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: steven at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35412 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug middle-end/35412] Correctness with -ftrapv depended on libcall notes 2008-02-29 23:24 [Bug middle-end/35412] New: Correctness with -ftrapv depends " steven at gcc dot gnu dot org @ 2008-06-25 11:55 ` rguenth at gcc dot gnu dot org 2008-07-04 19:43 ` jsm28 at gcc dot gnu dot org ` (3 subsequent siblings) 4 siblings, 0 replies; 7+ messages in thread From: rguenth at gcc dot gnu dot org @ 2008-06-25 11:55 UTC (permalink / raw) To: gcc-bugs ------- Comment #4 from rguenth at gcc dot gnu dot org 2008-06-25 11:54 ------- Not a regression. $Summary was true always. -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|[4.4 Regression] Correctness|Correctness with -ftrapv |with -ftrapv depended on |depended on libcall notes |libcall notes | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35412 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug middle-end/35412] Correctness with -ftrapv depended on libcall notes 2008-02-29 23:24 [Bug middle-end/35412] New: Correctness with -ftrapv depends " steven at gcc dot gnu dot org 2008-06-25 11:55 ` [Bug middle-end/35412] Correctness with -ftrapv depended " rguenth at gcc dot gnu dot org @ 2008-07-04 19:43 ` jsm28 at gcc dot gnu dot org 2009-04-14 20:00 ` pinskia at gcc dot gnu dot org ` (2 subsequent siblings) 4 siblings, 0 replies; 7+ messages in thread From: jsm28 at gcc dot gnu dot org @ 2008-07-04 19:43 UTC (permalink / raw) To: gcc-bugs ------- Comment #5 from jsm28 at gcc dot gnu dot org 2008-07-04 19:42 ------- Not a regression, removing milestone. -- jsm28 at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|4.4.0 |--- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35412 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug middle-end/35412] Correctness with -ftrapv depended on libcall notes 2008-02-29 23:24 [Bug middle-end/35412] New: Correctness with -ftrapv depends " steven at gcc dot gnu dot org 2008-06-25 11:55 ` [Bug middle-end/35412] Correctness with -ftrapv depended " rguenth at gcc dot gnu dot org 2008-07-04 19:43 ` jsm28 at gcc dot gnu dot org @ 2009-04-14 20:00 ` pinskia at gcc dot gnu dot org 2009-04-14 20:08 ` jv244 at cam dot ac dot uk 2009-05-14 10:55 ` rguenth at gcc dot gnu dot org 4 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2009-04-14 20:00 UTC (permalink / raw) To: gcc-bugs ------- Comment #6 from pinskia at gcc dot gnu dot org 2009-04-14 19:59 ------- *** Bug 39771 has been marked as a duplicate of this bug. *** -- pinskia at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jv244 at cam dot ac dot uk http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35412 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug middle-end/35412] Correctness with -ftrapv depended on libcall notes 2008-02-29 23:24 [Bug middle-end/35412] New: Correctness with -ftrapv depends " steven at gcc dot gnu dot org ` (2 preceding siblings ...) 2009-04-14 20:00 ` pinskia at gcc dot gnu dot org @ 2009-04-14 20:08 ` jv244 at cam dot ac dot uk 2009-05-14 10:55 ` rguenth at gcc dot gnu dot org 4 siblings, 0 replies; 7+ messages in thread From: jv244 at cam dot ac dot uk @ 2009-04-14 20:08 UTC (permalink / raw) To: gcc-bugs ------- Comment #7 from jv244 at cam dot ac dot uk 2009-04-14 20:08 ------- I'm reopening this report. -ftrapv is still documented, so can be expected to work by users. For the particular problem I have right now, a functional version of this option would be a great thing to have. -- jv244 at cam dot ac dot uk changed: What |Removed |Added ---------------------------------------------------------------------------- Status|SUSPENDED |NEW Last reconfirmed|2008-02-29 23:33:53 |2009-04-14 20:08:33 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35412 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug middle-end/35412] Correctness with -ftrapv depended on libcall notes 2008-02-29 23:24 [Bug middle-end/35412] New: Correctness with -ftrapv depends " steven at gcc dot gnu dot org ` (3 preceding siblings ...) 2009-04-14 20:08 ` jv244 at cam dot ac dot uk @ 2009-05-14 10:55 ` rguenth at gcc dot gnu dot org 4 siblings, 0 replies; 7+ messages in thread From: rguenth at gcc dot gnu dot org @ 2009-05-14 10:55 UTC (permalink / raw) To: gcc-bugs ------- Comment #8 from rguenth at gcc dot gnu dot org 2009-05-14 10:55 ------- *** Bug 40143 has been marked as a duplicate of this bug. *** -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dickinsm at gmail dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35412 ^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2023-03-05 20:03 UTC | newest] Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- [not found] <bug-35412-4@http.gcc.gnu.org/bugzilla/> 2023-03-05 14:20 ` [Bug middle-end/35412] Correctness with -ftrapv depended on libcall notes ntysdd at qq dot com 2023-03-05 20:03 ` pinskia at gcc dot gnu.org 2008-02-29 23:24 [Bug middle-end/35412] New: Correctness with -ftrapv depends " steven at gcc dot gnu dot org 2008-06-25 11:55 ` [Bug middle-end/35412] Correctness with -ftrapv depended " rguenth at gcc dot gnu dot org 2008-07-04 19:43 ` jsm28 at gcc dot gnu dot org 2009-04-14 20:00 ` pinskia at gcc dot gnu dot org 2009-04-14 20:08 ` jv244 at cam dot ac dot uk 2009-05-14 10:55 ` rguenth at gcc dot gnu dot 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).