public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "hubicka at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug fortran/97652] New: New pdt14 failure after g:617695cdc2b3d950f1e4deb5ea85d5cc302943f4 Date: Sat, 31 Oct 2020 08:05:31 +0000 [thread overview] Message-ID: <bug-97652-4@http.gcc.gnu.org/bugzilla/> (raw) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97652 Bug ID: 97652 Summary: New pdt14 failure after g:617695cdc2b3d950f1e4deb5ea85d5cc302943f4 Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: hubicka at gcc dot gnu.org Target Milestone: --- pdt14 is miscompiled with -fipa-modref. This is triggered by handling fnspec, but it seems to only trigger latent problem. The only disambiguations are: ipa-modref: call stmt push_8 (&root, &C.4105); ipa-modref: call to push_8/6 does not clobber ref: __vtab_link_module_Pdtlink_8._deallocate alias sets: 12->11 ipa-modref: call stmt push_8 (&root, &C.4104); ipa-modref: call to push_8/6 does not clobber ref: __vtab_link_module_Pdtlink_8._deallocate alias sets: 12->11 ipa-modref: call stmt push_8 (&root, &C.4103); ipa-modref: call to push_8/6 does not clobber ref: __vtab_link_module_Pdtlink_8._deallocate alias sets: 12->11 ipa-modref: call stmt push_8 (&root, &C.4105); ipa-modref: call to push_8/6 does not clobber ref: __vtab_link_module_Pdtlink_8._deallocate alias sets: 12->11 ipa-modref: call stmt push_8 (&root, &C.4104); ipa-modref: call to push_8/6 does not clobber ref: __vtab_link_module_Pdtlink_8._deallocate alias sets: 12->11 ipa-modref: call stmt push_8 (&root, &C.4103); ipa-modref: call to push_8/6 does not clobber ref: __vtab_link_module_Pdtlink_8._deallocate alias sets: 12->11 these ought to be safe since __vtab_link_module_Pdtlink_8 is readonly in the testcase. With LTO we detect that variable as such (and the testcase stil work without modref and fails different with modref). fre3 does quite a lot of additional changes and I am not sure what gets wrong here: __attribute__((externally_visible)) main (integer(kind=4) argc, character(kind=1) * * argv) { + struct array01_unknown cdesc.10; + struct array01_unknown cdesc.9; + real(kind=8) res; + struct Pdtlink_8 * previous; + struct Pdtlink_8 * current; + real(kind=8) res; struct pdtlink_8 * root; static integer(kind=4) options.11[7] = {2150, 4095, 1, 1, 1, 0, 31}; - real(kind=8) _7; - integer(kind=4) _8; - real(kind=8) _9; - integer(kind=4) _10; - real(kind=8) _11; - integer(kind=4) _12; - real(kind=8) _13; - integer(kind=4) _14; + struct Pdtlink_8 * _15; + struct Pdtlink_8 * _17; + struct Pdtlink_8 * _21; + struct Pdtlink_8 * _22; + void (*<T5d4>) () _23; + struct Pdtlink_8 * _25; + void (*<T5d4>) () _26; <bb 2> [local count: 1073741824]: _gfortran_set_args (argc_2(D), argv_3(D)); @@ -1972,52 +2120,75 @@ push_8 (&root, &C.4103); push_8 (&root, &C.4104); push_8 (&root, &C.4105); - _7 = pop_8 (&root); - _8 = (integer(kind=4)) _7; - if (_8 != 3) - goto <bb 3>; [0.04%] + _15 = MEM[(struct Pdtlink_8 * &)&root]; + if (_15 != 0B) + goto <bb 3>; [70.00%] else - goto <bb 4>; [99.96%] + goto <bb 11>; [30.00%] - <bb 3> [local count: 429496]: - _gfortran_stop_numeric (1, 0); - - <bb 4> [local count: 1073312329]: - _9 = pop_8 (&root); - _10 = (integer(kind=4)) _9; - if (_10 != 2) - goto <bb 5>; [0.04%] + <bb 3> [local count: 75913541732]: + # current_16 = PHI <_15(2), _17(3)> + # previous_29 = PHI <_15(2), current_16(3)> + _17 = current_16->next; + if (_17 == 0B) + goto <bb 4>; [0.00%] else - goto <bb 6>; [99.96%] - - <bb 5> [local count: 429324]: - _gfortran_stop_numeric (2, 0); + goto <bb 3>; [100.00%] - <bb 6> [local count: 1072883005]: - _11 = pop_8 (&root); - _12 = (integer(kind=4)) _11; - if (_12 != 1) - goto <bb 7>; [0.04%] + <bb 4> [count: 0]: + res_19 = current_16->n; + _21 = previous_29->next; + if (_21 == 0B) + goto <bb 5>; [30.00%] else - goto <bb 8>; [99.96%] + goto <bb 8>; [70.00%] - <bb 7> [local count: 429152]: - _gfortran_stop_numeric (3, 0); + <bb 5> [count: 0]: + _22 = _15->next; + if (_22 != 0B) + goto <bb 6>; [70.00%] + else + goto <bb 7>; [30.00%] - <bb 8> [local count: 1072453853]: - _13 = pop_8 (&root); - _14 = (integer(kind=4)) _13; - if (_14 != 0) - goto <bb 9>; [0.04%] + <bb 6> [count: 0]: + MEM <c_char[8]> [(struct dtype_type *)&cdesc.9 + 24B] = {}; + cdesc.9.dtype.elem_len = 24; + cdesc.9.dtype.rank = 1; + cdesc.9.dtype.type = 11; + cdesc.9.dim[0].lbound = 1; + cdesc.9.dim[0].stride = 1; + cdesc.9.dim[0].ubound = 1; + cdesc.9.data = _22; + _23 = __vtab_link_module_Pdtlink_8._deallocate; + __builtin_unreachable (); + + <bb 7> [count: 0]: + __builtin_unreachable (); + + <bb 8> [count: 0]: + _25 = _21->next; + if (_25 != 0B) + goto <bb 9>; [70.00%] else - goto <bb 10>; [99.96%] + goto <bb 10>; [30.00%] + + <bb 9> [count: 0]: + MEM <c_char[8]> [(struct dtype_type *)&cdesc.10 + 24B] = {}; + cdesc.10.dtype.elem_len = 24; + cdesc.10.dtype.rank = 1; + cdesc.10.dtype.type = 11; + cdesc.10.dim[0].lbound = 1; + cdesc.10.dim[0].stride = 1; + cdesc.10.dim[0].ubound = 1; + cdesc.10.data = _25; + _26 = __vtab_link_module_Pdtlink_8._deallocate; + __builtin_unreachable (); - <bb 9> [local count: 428981]: - _gfortran_stop_numeric (4, 0); + <bb 10> [count: 0]: + __builtin_unreachable (); - <bb 10> [local count: 1072024872]: - root ={v} {CLOBBER}; - return 0; + <bb 11> [local count: 128815]: + _gfortran_stop_numeric (1, 0);
next reply other threads:[~2020-10-31 8:05 UTC|newest] Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top 2020-10-31 8:05 hubicka at gcc dot gnu.org [this message] 2020-10-31 8:18 ` [Bug fortran/97652] " hubicka at gcc dot gnu.org 2020-11-02 11:30 ` hubicka at gcc dot gnu.org 2020-11-02 13:39 ` [Bug fortran/97652] [11 Regression] New gfortran.dg/pdt_14.f03 " rguenth at gcc dot gnu.org 2020-11-02 13:48 ` rguenth at gcc dot gnu.org 2020-11-02 13:56 ` rguenth at gcc dot gnu.org 2020-11-02 13:58 ` rguenth at gcc dot gnu.org 2020-11-02 14:25 ` rguenth at gcc dot gnu.org 2020-11-02 14:27 ` hubicka at ucw dot cz 2020-11-02 14:29 ` [Bug ipa/97652] " rguenth at gcc dot gnu.org 2020-11-02 14:29 ` rguenth at gcc dot gnu.org 2020-11-02 14:32 ` hubicka at ucw dot cz 2020-11-02 14:51 ` [Bug fortran/97652] " rguenth at gcc dot gnu.org 2020-11-02 14:52 ` rguenth at gcc dot gnu.org 2020-11-03 7:25 ` rguenth at gcc dot gnu.org 2020-11-03 11:15 ` rguenth at gcc dot gnu.org 2020-11-06 7:27 ` cvs-commit at gcc dot gnu.org 2020-11-06 13:01 ` rguenth at gcc dot gnu.org 2020-11-06 15:32 ` cvs-commit at gcc dot gnu.org 2020-11-06 16:57 ` cvs-commit at gcc dot gnu.org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-97652-4@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
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).