[Bug bootstrap/83015] [8 regression] bootstrap comparison failure on ia64

2017-11-24 Thread hubicka at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83015 --- Comment #17 from Jan Hubicka --- Indeed with the configure flags used by your tester it does reproduce. It is difference in inlining priority order, perhaps caused by the badness sanity check (though I fail to see how)

[Bug testsuite/81807] [8 Regression] many *.cc asan tests fail

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81807 Jakub Jelinek changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Bug fortran/83064] DO CONCURRENT inconsistent results

2017-11-24 Thread rguenther at suse dot de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83064 --- Comment #8 from rguenther at suse dot de --- On Thu, 23 Nov 2017, dominiq at lps dot ens.fr wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83064 > > --- Comment #7 from Dominique d'Humieres --- > > I looked at the IL from the Fortra

[Bug bootstrap/83015] [8 regression] bootstrap comparison failure on ia64

2017-11-24 Thread hubicka at ucw dot cz
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83015 --- Comment #18 from Jan Hubicka --- With the release checking in stage1 it reproduces on x86-64, too. I am testing Index: ipa-inline.c === --- ipa-inline.c(revision 255103)

[Bug c++/83138] ICE: Segfault expanding function parameter pack in subsequent sibling pack declaration

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83138 Jakub Jelinek changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug sanitizer/83014] ICE in pretty-print with -fsanitize=bounds

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83014 --- Comment #9 from Jakub Jelinek --- Author: jakub Date: Fri Nov 24 08:35:10 2017 New Revision: 255134 URL: https://gcc.gnu.org/viewcvs?rev=255134&root=gcc&view=rev Log: PR sanitizer/83014 * ubsan.c (ubsan_type_descriptor): Use

[Bug fortran/83064] DO CONCURRENT inconsistent results

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83064 --- Comment #9 from Richard Biener --- How does this work with OpenMP and compiler/FE generated temporary arrays? If I just do !$OMP parallel do do i = 1,nsplit pi(i) = sum(compute( low(i), high(i) )) end do I still get #prag

[Bug fortran/83064] DO CONCURRENT inconsistent results

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83064 Richard Biener changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #1

[Bug fortran/83076] [8 Regression] ICE in gfc_deallocate_scalar_with_status, at fortran/trans.c:1598

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83076 Jakub Jelinek changed: What|Removed |Added Priority|P3 |P4 CC|

[Bug fortran/83064] DO CONCURRENT inconsistent results

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83064 --- Comment #11 from Jakub Jelinek --- There should be no duplication except for vars mentioned in the clauses on OpenMP constructs (explicit or implicit). So, vars declared outside of the region and referenced inside of the region are either im

[Bug fortran/36313] [F03] {MIN,MAX}{LOC,VAL} should accept character arguments

2017-11-24 Thread jb at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36313 --- Comment #13 from Janne Blomqvist --- Author: jb Date: Fri Nov 24 08:51:15 2017 New Revision: 255135 URL: https://gcc.gnu.org/viewcvs?rev=255135&root=gcc&view=rev Log: PR 36313 Replace int with gfc_charlen_type, take 3 Still some prototypes

[Bug fortran/81841] [6/7 Regression] THREADPRIVATE (OpenMP) wrongly rejected in BLOCK DATA

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81841 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org Summ

[Bug tree-optimization/81740] [6/7/8 Regression] wrong code at -O3 in both 32-bit and 64-bit modes on x86_64-linux-gnu

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81740 --- Comment #3 from Jakub Jelinek --- Testcase modified for the testsuite: int a[8][10] = { [2][5] = 4 }, c; int main () { short b; int i, d; for (b = 4; b >= 0; b--) for (c = 0; c <= 6; c++) a[c + 1][b + 2] = a[c][b + 1]; for

[Bug fortran/83064] DO CONCURRENT inconsistent results

2017-11-24 Thread rguenther at suse dot de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83064 --- Comment #12 from rguenther at suse dot de --- On Fri, 24 Nov 2017, jakub at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83064 > > --- Comment #11 from Jakub Jelinek --- > There should be no duplication except for

[Bug c/83139] New: error: null destination pointer [-Werror=format-truncation=] for second call with same destination pointer

2017-11-24 Thread j...@jak-linux.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83139 Bug ID: 83139 Summary: error: null destination pointer [-Werror=format-truncation=] for second call with same destination pointer Product: gcc Version: 7.2.0

[Bug c/83139] error: null destination pointer [-Werror=format-truncation=] for second call with same destination pointer

2017-11-24 Thread j...@jak-linux.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83139 --- Comment #1 from Julian Andres Klode --- Created attachment 42702 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42702&action=edit generated .i file

[Bug tree-optimization/83128] Unable to optimize {m,c}alloc when strings builtin are used

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83128 --- Comment #3 from Richard Biener --- Author: rguenth Date: Fri Nov 24 09:40:40 2017 New Revision: 255136 URL: https://gcc.gnu.org/viewcvs?rev=255136&root=gcc&view=rev Log: 2017-11-24 Richard Biener PR tree-optimization/83128

[Bug tree-optimization/83128] Unable to optimize {m,c}alloc when strings builtin are used

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83128 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Known to work|

[Bug fortran/83064] DO CONCURRENT inconsistent results

2017-11-24 Thread dominiq at lps dot ens.fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83064 --- Comment #13 from Dominique d'Humieres --- > > I confirm that using > > > > pik = compute( low(i), high(i) ) > > pi(i) = sum(pik) > > > > gives the right result. > > > > Does it means that the 'sum' in 'sum(compute( low(i), hig

[Bug c/83139] error: null destination pointer [-Werror=format-truncation=] for second call with same destination pointer

2017-11-24 Thread j...@jak-linux.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83139 --- Comment #2 from Julian Andres Klode --- Apparently, this is because check_path() is being inlined and checks that the argument is NULL. Then when it sees the second use of pbuf, it considers it possible that it is NULL. I'm not sure it's rea

[Bug libstdc++/83140] New: assoc_legendre returns negated value when m is odd

2017-11-24 Thread kwsm.gcc at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83140 Bug ID: 83140 Summary: assoc_legendre returns negated value when m is odd Product: gcc Version: 7.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component

[Bug c++/81675] [6/7/8 Regression] attribute(noreturn) of destructor in :? not honored

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81675 Jakub Jelinek changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned a

[Bug rtl-optimization/81553] [7/8 Regression] ICE in immed_wide_int_const, at emit-rtl.c:607

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81553 Jakub Jelinek changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned a

[Bug tree-optimization/83141] New: SRA and memcpy folding interact badly generating wrong-code

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83141 Bug ID: 83141 Summary: SRA and memcpy folding interact badly generating wrong-code Product: gcc Version: 8.0 Status: UNCONFIRMED Keywords: wrong-code

[Bug bootstrap/83015] [8 regression] bootstrap comparison failure on ia64

2017-11-24 Thread hubicka at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83015 --- Comment #19 from Jan Hubicka --- Author: hubicka Date: Fri Nov 24 11:24:55 2017 New Revision: 255138 URL: https://gcc.gnu.org/viewcvs?rev=255138&root=gcc&view=rev Log: PR bootstrap/83015 * ipa-inline.c (inline_small_function

[Bug target/81535] [8 regression] gcc.target/powerpc/pr79439.c fails starting with r250442

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81535 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #5

[Bug bootstrap/81470] [8 Regression] Bootstrap comparison failures in gcc/ada

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81470 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #2

[Bug tree-optimization/83141] SRA and memcpy folding interact badly generating wrong-code

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83141 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug ipa/81465] [8 Regression] ICE in estimate_edge_growth at gcc/ipa-inline.h:85 on s390x target

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81465 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #5

[Bug target/81535] [8 regression] gcc.target/powerpc/pr79439.c fails starting with r250442

2017-11-24 Thread ygribov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81535 --- Comment #6 from Yury Gribov --- (In reply to Jakub Jelinek from comment #5) > Any progress with this? I filed patch back then (https://gcc.gnu.org/ml/gcc-patches/2017-07/msg01873.html) and missed reply from Segher. I'll reply to his comment

[Bug target/81456] [7/8 Regression] x86-64 optimizer makes wrong decision when optimizing for size

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81456 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #3

[Bug bootstrap/81470] [8 Regression] Bootstrap comparison failures in gcc/ada

2017-11-24 Thread rai...@emrich-ebersheim.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81470 --- Comment #3 from Rainer Emrich --- (In reply to Jakub Jelinek from comment #2) > Is this still a problem? At least on x86_64-linux many people have done > many successful bootstraps with ada since then. I will test next week, when I find the

[Bug lto/81406] [6/7/8 Regression] ICE in check_die, at dwarf2out.c:6185

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81406 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #4

[Bug tree-optimization/82402] [6/7 Regression] error: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82402 Richard Biener changed: What|Removed |Added Known to work||8.0 Summary|[6/7/8 Regressio

[Bug c++/79008] missing detail in -Wbuiltin-declaration-mismatch

2017-11-24 Thread egallager at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79008 Eric Gallager changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|2017-08-22 00:00:

[Bug tree-optimization/82402] [6/7 Regression] error: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82402 --- Comment #9 from Richard Biener --- Author: rguenth Date: Fri Nov 24 12:34:23 2017 New Revision: 255140 URL: https://gcc.gnu.org/viewcvs?rev=255140&root=gcc&view=rev Log: 2017-11-24 Richard Biener PR tree-optimization/82402

[Bug tree-optimization/82991] memcpy and strcpy return value can be assumed to be equal to first argument

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82991 --- Comment #4 from Richard Biener --- Created attachment 42705 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42705&action=edit patch Things got stuck on _b_o_s fallout. See https://gcc.gnu.org/ml/gcc-patches/2017-11/msg02113.html and fo

[Bug tree-optimization/83142] New: Missed tail-call opportunity

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83142 Bug ID: 83142 Summary: Missed tail-call opportunity Product: gcc Version: 8.0 Status: UNCONFIRMED Keywords: missed-optimization Severity: normal Priority: P3

[Bug tree-optimization/82991] memcpy and strcpy return value can be assumed to be equal to first argument

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82991 Richard Biener changed: What|Removed |Added Depends on||83142 --- Comment #5 from Richard Biene

[Bug target/83143] New: [SH]: Assembler messages: invalid operands (*UND* and .text sections) for `-'

2017-11-24 Thread glaubitz at physik dot fu-berlin.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83143 Bug ID: 83143 Summary: [SH]: Assembler messages: invalid operands (*UND* and .text sections) for `-' Product: gcc Version: 7.2.0 Status: UNCONFIRMED Severity: n

[Bug target/83143] [SH]: Assembler messages: invalid operands (*UND* and .text sections) for `-'

2017-11-24 Thread glaubitz at physik dot fu-berlin.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83143 --- Comment #1 from John Paul Adrian Glaubitz --- Created attachment 42707 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42707&action=edit Intermediate source for nir_lower_int64.c

[Bug target/83143] [SH]: Assembler messages: invalid operands (*UND* and .text sections) for `-'

2017-11-24 Thread glaubitz at physik dot fu-berlin.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83143 --- Comment #2 from John Paul Adrian Glaubitz --- Created attachment 42708 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42708&action=edit Generated assembly for nir_lower_int64.c (gzipped)

[Bug tree-optimization/83141] SRA and memcpy folding interact badly generating wrong-code

2017-11-24 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83141 --- Comment #2 from Richard Biener --- https://gcc.gnu.org/ml/gcc-patches/2017-11/msg02199.html regresses gfortran.dg/pr45636.f90 because Jakubs pattern matching in tree-ssa-forwprop.c:simplify_builtin_call no longer applies ... (we fold more mem

[Bug c++/83144] New: ICE using trailing return type and constexpr with GCC 7.X

2017-11-24 Thread joel.falcou at lri dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83144 Bug ID: 83144 Summary: ICE using trailing return type and constexpr with GCC 7.X Product: gcc Version: 7.2.0 Status: UNCONFIRMED Severity: normal Prio

[Bug target/83143] [SH]: Assembler messages: invalid operands (*UND* and .text sections) for `-'

2017-11-24 Thread glaubitz at physik dot fu-berlin.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83143 --- Comment #3 from John Paul Adrian Glaubitz --- Created attachment 42710 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42710&action=edit Generated object for nir_lower_int64.c

[Bug target/83143] [SH]: Assembler messages: invalid operands (*UND* and .text sections) for `-'

2017-11-24 Thread glaubitz at physik dot fu-berlin.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83143 --- Comment #4 from John Paul Adrian Glaubitz --- Building with "-O0" instead of "-O2" resolves the issue.

[Bug ipa/81465] [8 Regression] ICE in estimate_edge_growth at gcc/ipa-inline.h:85 on s390x target

2017-11-24 Thread hubicka at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81465 Jan Hubicka changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug sanitizer/82802] Potential UBSAN error with pointer difference (32-bits mode)

2017-11-24 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82802 --- Comment #3 from Marc Glisse --- This seems fixed on trunk, and impossible to backport.

[Bug ipa/81360] [8 Regression] ice in estimate_edge_growth, at ipa-inline.h:86

2017-11-24 Thread hubicka at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81360 Jan Hubicka changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug bootstrap/83015] [8 regression] bootstrap comparison failure on ia64

2017-11-24 Thread hubicka at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83015 Jan Hubicka changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug target/83143] [SH]: Assembler messages: invalid operands (*UND* and .text sections) for `-'

2017-11-24 Thread glaubitz at physik dot fu-berlin.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83143 --- Comment #5 from John Paul Adrian Glaubitz --- It's fixed by adding "-freorder-blocks-algorithm=simple" which overrides "-freorder-blocks-algorithm=stc" from "-O2".

[Bug fortran/81304] [6/7/8 Regression] Bogus warning with -Wsurprising and -fopenmp: Type specified for intrinsic function 'min' / 'max'

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81304 Jakub Jelinek changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned a

[Bug target/81363] [8 regression] FAIL: gcc.dg/vect/pr51581-1.c (internal compiler error)

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81363 Jakub Jelinek changed: What|Removed |Added CC||carll at gcc dot gnu.org,

[Bug c++/83145] New: Ambiguous overload with templates, only GCC7 C++17 mode (regression?)

2017-11-24 Thread l.lunak at centrum dot cz
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83145 Bug ID: 83145 Summary: Ambiguous overload with templates, only GCC7 C++17 mode (regression?) Product: gcc Version: 7.1.1 Status: UNCONFIRMED Severity: normal

[Bug c++/80792] worse code generated compared to clang when using std::tuple

2017-11-24 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80792 --- Comment #3 from Marc Glisse --- It seems that clang have fixed their ABI to generate code similar to gcc. Any objection to closing this?

[Bug target/82248] probe_stack can generate unpredictable STR on arm

2017-11-24 Thread rguenther at suse dot de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82248 --- Comment #5 from rguenther at suse dot de --- On Thu, 23 Nov 2017, ramana at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82248 > > --- Comment #3 from Ramana Radhakrishnan --- > (In reply to Richard Biener from com

[Bug c++/83145] Ambiguous overload with templates, only GCC7 C++17 mode (regression?)

2017-11-24 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83145 --- Comment #1 from Jonathan Wakely --- This is affected by the -fnew-ttp-matching option, which is enabled by default for C++17 and disabled otherwise. You get the same error with C++14 if you use -fnew-tpp-matching, and it compiles with C++17 a

[Bug c++/83145] Ambiguous overload with templates, only GCC7 C++17 mode (regression?)

2017-11-24 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83145 --- Comment #2 from Jonathan Wakely --- The new rule was introduced by http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0522r0.html

[Bug c++/83136] static class template member: invalid application of ‘sizeof’ to incomplete type

2017-11-24 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83136 Jonathan Wakely changed: What|Removed |Added Keywords||rejects-valid Status|UNCON

[Bug target/83143] [SH]: Assembler messages: invalid operands (*UND* and .text sections) for `-'

2017-11-24 Thread olegendo at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83143 Oleg Endo changed: What|Removed |Added CC||segher at kernel dot crashing.org --- Comme

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread ubizjak at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #1 from Uroš Bizjak --- (In reply to Maxim Egorushkin from comment #0) > g function assembly contains a superflous test instruction. It should not > generate that instruction, since sub instruction already sets all the > required flag

[Bug tree-optimization/71026] Missing division optimizations

2017-11-24 Thread wilco at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #10 from Wilco --- Author: wilco Date: Fri Nov 24 16:03:13 2017 New Revision: 255141 URL: https://gcc.gnu.org/viewcvs?rev=255141&root=gcc&view=rev Log: Factor out division by squares This patch implements the some of the division op

[Bug tree-optimization/32306] [6/7/8 Regression] redundant && || not eliminated

2017-11-24 Thread law at redhat dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306 --- Comment #36 from Jeffrey A. Law --- Just a couple notes. I'm not currently looking at this, but this is probably the best bug to track thoughts around how to try and capture secondary effects of jump threading without re-running all of DOM.

[Bug fortran/83146] New: ICE on SELECT CASE statement with associate name

2017-11-24 Thread neil.n.carlson at gmail dot com
) b associate (n_array => b%array%n) select case (n_array(1)) case default end select end associate end Here's the traceback $ gfortran -c gfortran-20171124.f90 gfortran-20171124.f90:9:0: select case (n_array(1)) internal compiler error: in gfc_get_element_type, at fortran/trans

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread maxim.yegorushkin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #2 from Maxim Egorushkin --- (In reply to Uroš Bizjak from comment #1) > (In reply to Maxim Egorushkin from comment #0) > > g function assembly contains a superflous test instruction. It should not > > generate that instruction, since

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread ubizjak at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #3 from Uroš Bizjak --- (In reply to Maxim Egorushkin from comment #2) > Could you provide an example where that "dangerous optimization" would break > well-formed code please? --cut here-- #include void positive (int a) { printf

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread ubizjak at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #4 from Uroš Bizjak --- $ gcc --version gcc (GCC) 7.2.1 20170915 (Red Hat 7.2.1-2) Copyright (C) 2017 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MER

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #5 from joseph at codesourcery dot com --- Both 32-bit and 64-bit ABIs make the values of flags in EFLAGS (other than DF) undefined on function entry and return. Thus, a function can never assume anything about the value of OF unle

[Bug fortran/83146] ICE on SELECT CASE statement with associate name

2017-11-24 Thread neil.n.carlson at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83146 --- Comment #1 from Neil Carlson --- I thought that assigning the select case expression to a temporary integer and using that variable in the select case statement would be a workaround, but no. You can put anything unrelated to the associate na

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread maxim.yegorushkin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #6 from Maxim Egorushkin --- (In reply to Uroš Bizjak from comment #3) > (In reply to Maxim Egorushkin from comment #2) > > > Could you provide an example where that "dangerous optimization" would break > > well-formed code please? >

[Bug rtl-optimization/82621] [6/7 Regression] wrong code with -Og -fgcse -fweb

2017-11-24 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82621 --- Comment #8 from Segher Boessenkool --- Author: segher Date: Fri Nov 24 17:00:57 2017 New Revision: 255142 URL: https://gcc.gnu.org/viewcvs?rev=255142&root=gcc&view=rev Log: combine: Don't split insns if half is unused (PR82621) If we have a

[Bug rtl-optimization/82621] [6/7 Regression] wrong code with -Og -fgcse -fweb

2017-11-24 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82621 --- Comment #9 from Segher Boessenkool --- Author: segher Date: Fri Nov 24 17:03:04 2017 New Revision: 255143 URL: https://gcc.gnu.org/viewcvs?rev=255143&root=gcc&view=rev Log: combine: Don't split insns if half is unused (PR82621) If we have a

[Bug rtl-optimization/82621] [6/7 Regression] wrong code with -Og -fgcse -fweb

2017-11-24 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82621 Segher Boessenkool changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #7 from joseph at codesourcery dot com --- On Fri, 24 Nov 2017, maxim.yegorushkin at gmail dot com wrote: > This code underflows a signed integer, which is undefined behaviour, if I am > not mistaken. So, this would not be a valid ex

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread ubizjak at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #8 from Uroš Bizjak --- (In reply to jos...@codesourcery.com from comment #5) > Both 32-bit and 64-bit ABIs make the values of flags in EFLAGS (other than > DF) undefined on function entry and return. Thus, a function can never > a

[Bug fortran/83146] ICE on SELECT CASE statement with associate name

2017-11-24 Thread neil.n.carlson at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83146 --- Comment #2 from Neil Carlson --- Turns out you don't need anything at all in the associate block to get an ICE: type foo integer n end type type bar type(foo) array(2) end type type(bar) b associate (n_array => b%array%n) end associate e

[Bug debug/81307] [8 regression] g++.dg/debug/debug9.C -gstabs FAILs

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81307 Jakub Jelinek changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned a

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread maxim.yegorushkin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #10 from Maxim Egorushkin --- (In reply to Uroš Bizjak from comment #8) > (In reply to jos...@codesourcery.com from comment #5) > > Both 32-bit and 64-bit ABIs make the values of flags in EFLAGS (other than > > DF) undefined on funct

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread ubizjak at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #9 from Uroš Bizjak --- (In reply to Maxim Egorushkin from comment #6) > This code underflows a signed integer, which is undefined behaviour, if I am > not mistaken. So, this would not be a valid example, would it? An example of "da

[Bug rtl-optimization/81288] [6/7/8 Regression] ICE on 32-bit BE powerpc targets -w -misel -O2 (-O3, -Ofast, -Os)

2017-11-24 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81288 Segher Boessenkool changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassig

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread maxim.yegorushkin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #12 from Maxim Egorushkin --- (In reply to jos...@codesourcery.com from comment #7) > On Fri, 24 Nov 2017, maxim.yegorushkin at gmail dot com wrote: > > > This code underflows a signed integer, which is undefined behaviour, if I am >

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread maxim.yegorushkin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #11 from Maxim Egorushkin --- (In reply to jos...@codesourcery.com from comment #7) > On Fri, 24 Nov 2017, maxim.yegorushkin at gmail dot com wrote: > > > This code underflows a signed integer, which is undefined behaviour, if I am >

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread maxim.yegorushkin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #13 from Maxim Egorushkin --- (In reply to Uroš Bizjak from comment #9) > (In reply to Maxim Egorushkin from comment #6) > > > This code underflows a signed integer, which is undefined behaviour, if I am > > not mistaken. So, this wo

[Bug fortran/49213] [OOP] gfortran rejects structure constructor expression

2017-11-24 Thread neil.n.carlson at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49213 --- Comment #24 from Neil Carlson --- Ping. This bug has been around for over 6 years now.

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread ubizjak at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #14 from Uroš Bizjak --- (In reply to Maxim Egorushkin from comment #13) > It looks like -fstrict-overflow flag is there to enable exactly this kind of > optimization. Yes, and it is set by default. Meaning that ALL code has to be r

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #15 from Marc Glisse --- Gcc's RTL internal representation sees the same thing for your code and for int diff = (unsigned)a - (unsigned)b; llvm represents both differently and generates different code for the two.

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #16 from joseph at codesourcery dot com --- On Fri, 24 Nov 2017, maxim.yegorushkin at gmail dot com wrote: > > It's valid to call a function in another file compiled with another > > compiler that follows the ABI, or compiled with -

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread ubizjak at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #17 from Uroš Bizjak --- (In reply to Marc Glisse from comment #15) > Gcc's RTL internal representation sees the same thing for your code and for > > int diff = (unsigned)a - (unsigned)b; > > llvm represents both differently and g

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #18 from joseph at codesourcery dot com --- On Fri, 24 Nov 2017, ubizjak at gmail dot com wrote: > In the testcase, there is nothing that violates ABI. It all happens in "g" > that > passes calculated result to a function. Selected

[Bug rtl-optimization/83147] New: LRA inheritance undo on multiple sets problem

2017-11-24 Thread krebbel at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83147 Bug ID: 83147 Summary: LRA inheritance undo on multiple sets problem Product: gcc Version: 8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: rtl-o

[Bug rtl-optimization/83147] LRA inheritance undo on multiple sets problem

2017-11-24 Thread krebbel at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83147 --- Comment #1 from Andreas Krebbel --- Created attachment 42714 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42714&action=edit Experimental patch This patch appears to fix the problem for me. However, it isn't really tested yet.

[Bug rtl-optimization/83147] LRA inheritance undo on multiple sets problem

2017-11-24 Thread krebbel at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83147 Andreas Krebbel changed: What|Removed |Added Keywords||wrong-code Target|

[Bug fortran/83146] [6/7/8 Regression] ICE on SELECT CASE statement with associate name

2017-11-24 Thread dominiq at lps dot ens.fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83146 Dominique d'Humieres changed: What|Removed |Added Priority|P3 |P4 Status|UNCONFIRMED

[Bug fortran/83135] Routines in submodules treat protected variables from other modules as public

2017-11-24 Thread dominiq at lps dot ens.fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83135 Dominique d'Humieres changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug fortran/49213] [OOP] gfortran rejects structure constructor expression

2017-11-24 Thread neil.n.carlson at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49213 --- Comment #25 from Neil Carlson --- Here's another example similar to those above but even simpler IMHO and involving a CLASS(*) pointer component type box class(*), pointer :: uptr => null() end type integer, target :: n call sub(box(n)) co

[Bug c/81875] omp for loop optimized away

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81875 Jakub Jelinek changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug target/83133] Superflous x86 test instructions in generated assembly.

2017-11-24 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83133 --- Comment #19 from Marc Glisse --- (In reply to Uroš Bizjak from comment #17) > (In reply to Marc Glisse from comment #15) > > Gcc's RTL internal representation sees the same thing for your code and for > > > > int diff = (unsigned)a - (unsi

[Bug fortran/83148] New: [7.2 regression] ICE: crash_signal from toplev.c:325

2017-11-24 Thread neil.n.carlson at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83148 Bug ID: 83148 Summary: [7.2 regression] ICE: crash_signal from toplev.c:325 Product: gcc Version: 8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component

[Bug target/83100] [8 Regression] powerpc: internal compiler error: in get_variable_section, at varasm.c:1150 with -fdata-sections

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83100 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org,

[Bug target/83100] [8 Regression] powerpc: internal compiler error: in get_variable_section, at varasm.c:1150 with -fdata-sections

2017-11-24 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83100 --- Comment #5 from Jakub Jelinek --- I'll test: --- gcc/varasm.c.jj 2017-11-21 20:23:02.0 +0100 +++ gcc/varasm.c2017-11-24 21:43:55.616951823 +0100 @@ -986,9 +986,9 @@ decode_reg_name (const char *name) bool bss_initializer

  1   2   >