[Bug tree-optimization/104196] [12 Regression] wrong code at -O2 and above on x86_64-linux-gnu

2022-01-23 Thread belyshev at depni dot sinp.msu.ru via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104196

Serge Belyshev  changed:

   What|Removed |Added

 CC||belyshev at depni dot 
sinp.msu.ru

--- Comment #7 from Serge Belyshev  ---
(In reply to Andrew Pinski from comment #6)
> Here is a new testcase where we have the same IR (including the range) in
> GCC 11.2.0 and the trunk:
> ...
> 
> It would be useful to run a bisect on this new one.

Fails since r12-4526-gd8edfadfc7a9795b65177a50ce44fd348858e844

[Bug libgomp/66005] libgomp make check time is excessive

2022-01-21 Thread belyshev at depni dot sinp.msu.ru via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66005

Serge Belyshev  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 CC||belyshev at depni dot 
sinp.msu.ru
 Ever confirmed|0   |1
   Last reconfirmed||2022-01-21

--- Comment #1 from Serge Belyshev  ---
Confirmed, affects testing via qemu even on modern hardware.

On 32 thread amd64 zen3 box testsuite except libgomp completes in about 150
minutes,  libgomp adds 30..40 minutes to that.

[Bug middle-end/104140] [12 Regression] ICE verify_gimple failed: type mismatch in binary expression since r12-6434-g0752c75536e

2022-01-21 Thread belyshev at depni dot sinp.msu.ru via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104140

Serge Belyshev  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #5 from Serge Belyshev  ---
Fixed.

[Bug middle-end/104140] New: [12 Regression] ICE verify_gimple failed: type mismatch in binary expression since r12-6434-g0752c75536e

2022-01-19 Thread belyshev at depni dot sinp.msu.ru via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104140

Bug ID: 104140
   Summary: [12 Regression] ICE verify_gimple failed: type
mismatch in binary expression since
r12-6434-g0752c75536e
   Product: gcc
   Version: 12.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: middle-end
  Assignee: unassigned at gcc dot gnu.org
  Reporter: belyshev at depni dot sinp.msu.ru
  Target Milestone: ---

$ cat bug.c

int x;
unsigned u, v;
void f (void)
{
  long long y = x;
  u = y * v >> 32;
}
void g (void) { f (); }

$ gcc bug.c -S -O2 -march=rv32im -mabi=ilp32  # or: -march=rv32g -mabi=ilp32d
bug.c: In function 'g':
bug.c:8:6: error: type mismatch in binary expression
8 | void g (void) { f (); }
  |  ^
int

int

unsigned int

highparttmp_10 = x.0_2 h* v.1_4;
during GIMPLE pass: widening_mul
bug.c:8:6: internal compiler error: verify_gimple failed
...

Found during bootstrap on riscv32 when compiling attribs.c.
Bisected to r12-6434-g0752c75536e:

Author: Roger Sayle 
Date:   Tue Jan 11 12:30:44 2022 +

Recognize MULT_HIGHPART_EXPR in tree-ssa-math-opts pass.

[Bug debug/99090] gsplit-dwarf broken on riscv64-linux

2021-08-20 Thread belyshev at depni dot sinp.msu.ru via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99090
Bug 99090 depends on bug 91602, which changed state.

Bug 91602 Summary: GCC fails to build for riscv in a combined tree due to 
misconfigured leb128 support
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91602

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug target/91602] GCC fails to build for riscv in a combined tree due to misconfigured leb128 support

2021-08-20 Thread belyshev at depni dot sinp.msu.ru via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91602

Serge Belyshev  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |12.0

--- Comment #17 from Serge Belyshev  ---
Fixed.

[Bug target/91602] GCC fails to build for riscv in a combined tree due to misconfigured leb128 support

2021-07-21 Thread belyshev at depni dot sinp.msu.ru via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91602

Serge Belyshev  changed:

   What|Removed |Added

   Keywords||patch

--- Comment #15 from Serge Belyshev  ---
(In reply to Serge Belyshev from comment #12)
> Testing a patch that removes in-tree gas version checks along with resulting
> dead code.

Patch posted: https://gcc.gnu.org/pipermail/gcc-patches/2021-July/575744.html

[Bug target/91602] GCC fails to build for riscv in a combined tree due to misconfigured leb128 support

2021-07-16 Thread belyshev at depni dot sinp.msu.ru via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91602

Serge Belyshev  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |belyshev at depni dot 
sinp.msu.ru

--- Comment #12 from Serge Belyshev  ---
Testing a patch that removes in-tree gas version checks along with resulting
dead code.

[Bug libstdc++/100017] [11/12 regression] error: 'fenv_t' has not been declared in '::' -- cross toolchain fails to build

2021-06-13 Thread belyshev at depni dot sinp.msu.ru via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100017

Serge Belyshev  changed:

   What|Removed |Added

  Build|x86_64-linux-gnu|
   Last reconfirmed|2021-04-21 00:00:00 |2021-6-13
   Host|x86_64-w64-mingw32  |
 CC||belyshev at depni dot 
sinp.msu.ru
 Target|x86_64-w64-mingw32  |
  Known to fail||11.1.1, 12.0
Summary|error: 'fenv_t' has not |[11/12 regression] error:
   |been declared in '::'   |'fenv_t' has not been
   |x86_64-w64-mingw32 host |declared in '::' -- cross
   |cross toolchain fails to|toolchain fails to build
   |build   |

--- Comment #13 from Serge Belyshev  ---
I'm seeing this also with  --build=x86_64-pc-linux-gnux32
--host=riscv-unknown-linux-gnu --target=riscv-unknown-linux-gnu, so not mingw
specific.

[Bug middle-end/91433] Performance Regression when upgrading from 8.3.0 to 9.0

2020-10-01 Thread belyshev at depni dot sinp.msu.ru via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91433

Serge Belyshev  changed:

   What|Removed |Added

 CC||belyshev at depni dot 
sinp.msu.ru

--- Comment #10 from Serge Belyshev  ---
(In reply to George Fan from comment #8)
> Please, give me some advise.

Try changing inliner parameters, e.g.  add --param=max-inline-insns-single=400
option to the commandline.

(The default was switched from 400 to 200 in GCC-9)

[Bug target/91602] GCC fails to build for riscv in a combined tree due to misconfigured leb128 support

2019-08-31 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91602

--- Comment #7 from Serge Belyshev  ---
(In reply to Jim Wilson from comment #5)

> When you build packages separately, each package after the first uses
> feature tests to configure itself appropriately to use the earlier packages.
> When you use a combined tree build, feature tests can't be used because
> earlier packages haven't been installed yet, so configure just makes
> guesses.  We have the most commonly correct results hardwired in as guesses.
> This was fine when packages were smaller, and we had a smaller number of
> targets.

I believe that this particular problem was fixed since r17 which made
configure-gcc depend on all-gas.

Which means that there is no need to treat in-tree case specially anymore, and 
the proper fix is appears to be very simple:

--- a/gcc/acinclude.m4
+++ b/gcc/acinclude.m4
@@ -532,10 +532,8 @@ AC_DEFUN([gcc_GAS_CHECK_FEATURE],
 [AC_REQUIRE([gcc_GAS_FLAGS])dnl
 AC_CACHE_CHECK([assembler for $1], [$2],
  [[$2]=no
-  ifelse([$3],,,[dnl
-  if test $in_tree_gas = yes; then
-gcc_GAS_VERSION_GTE_IFELSE($3, [[$2]=yes])
-  el])if test x$gcc_cv_as != x; then
+  ifelse([$3],,,)
+if test x$gcc_cv_as != x; then
 AS_ECHO([ifelse(m4_substr([$5],0,1),[$], "[$5]", '[$5]')]) > conftest.s
 if AC_TRY_COMMAND([$gcc_cv_as $gcc_cv_as_flags $4 -o conftest.o conftest.s
>_MESSAGE_LOG_FD])
 then

[Bug bootstrap/91602] New: GCC fails to build for riscv in a combined tree due to misconfigured leb128 support

2019-08-30 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91602

Bug ID: 91602
   Summary: GCC fails to build for riscv in a combined tree due to
misconfigured leb128 support
   Product: gcc
   Version: unknown
Status: UNCONFIRMED
  Keywords: build, easyhack
  Severity: normal
  Priority: P3
 Component: bootstrap
  Assignee: unassigned at gcc dot gnu.org
  Reporter: belyshev at depni dot sinp.msu.ru
  Target Milestone: ---
Target: riscv*-*-*

gcc_GAS_CHECK_FEATURE enables leb128 support unconditionally for recent enough
gas when using combined tree.  As riscv* does not support leb128, it causes
build to fail during libgcc compilation with: "Error: non-constant .uleb128 is
not supported".

A hack to configure.ac like this is needed:

--- a/gcc/configure.ac
+++ b/gcc/configure.ac
@@ -2798,6 +2798,15 @@ AC_MSG_RESULT($gcc_cv_ld_ro_rw_mix)

 gcc_AC_INITFINI_ARRAY

+# riscv* allows only constant expressions in leb128 pseudos, see comment in
+# gas/config/tc-riscv.c (s_riscv_leb128).
+# ??? when using combined tree, gcc_GAS_CHECK_FEATURE unconditionally checks
+# only version number without trying test input.
+case $target in
+  riscv*)
+gcc_cv_as_leb128=no
+  ;;
+esac
 # Check if we have .[us]leb128, and support symbol arithmetic with it.
 gcc_GAS_CHECK_FEATURE([.sleb128 and .uleb128], gcc_cv_as_leb128,
   [elf,2,11,0],,


(or a better fix reworking gcc_GAS_CHECK_FEATURE and its users.)
This problem was also referenced in bug 87690#c0

[Bug tree-optimization/91403] GCC fails with ICE.

2019-08-08 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91403

Serge Belyshev  changed:

   What|Removed |Added

 CC||belyshev at depni dot 
sinp.msu.ru

--- Comment #2 from Serge Belyshev  ---
Crashes here in predcom:

Program received signal SIGSEGV, Segmentation fault.
...
(gdb) bt -100
...
#662173 0x012f7c09 in follow_ssa_edge (loop=0x778cd000,
def=0x7fffd8be5160, halting_phi=0x778d4200,
evolution_of_loop=0x7fffdf00, limit=0) at
../../gcc/gcc/tree-scalar-evolution.c:1350
#662174 0x012f6f22 in follow_ssa_edge_binary (loop=0x778cd000,
at_stmt=0x7fffd8be51b8, type=0x778c31f8, rhs0=0x7fffd8be6120,
code=POINTER_PLUS_EXPR, rhs1=0x77775d38, halting_phi=0x778d4200,
evolution_of_loop=0x7fffdf00, limit=0) at
../../gcc/gcc/tree-scalar-evolution.c:947
#662175 0x012f769e in follow_ssa_edge_in_rhs (loop=0x778cd000,
stmt=0x7fffd8be51b8, halting_phi=0x778d4200,
evolution_of_loop=0x7fffdf00, limit=0) at
../../gcc/gcc/tree-scalar-evolution.c:1135
#662176 0x012f7c09 in follow_ssa_edge (loop=0x778cd000,
def=0x7fffd8be51b8, halting_phi=0x778d4200,
evolution_of_loop=0x7fffdf00, limit=0) at
../../gcc/gcc/tree-scalar-evolution.c:1350
#662177 0x012f6f22 in follow_ssa_edge_binary (loop=0x778cd000,
at_stmt=0x778ccf20, type=0x778c31f8, rhs0=0x7fffd8be61b0,
code=POINTER_PLUS_EXPR, rhs1=0x77775d38, halting_phi=0x778d4200,
evolution_of_loop=0x7fffdf00, limit=0) at
../../gcc/gcc/tree-scalar-evolution.c:947
#662178 0x012f769e in follow_ssa_edge_in_rhs (loop=0x778cd000,
stmt=0x778ccf20, halting_phi=0x778d4200,
evolution_of_loop=0x7fffdf00, limit=0) at
../../gcc/gcc/tree-scalar-evolution.c:1135
#662179 0x012f7c09 in follow_ssa_edge (loop=0x778cd000,
def=0x778ccf20, halting_phi=0x778d4200,
evolution_of_loop=0x7fffdf00, limit=0) at
../../gcc/gcc/tree-scalar-evolution.c:1350
#662180 0x012f812d in analyze_evolution_in_loop
(loop_phi_node=0x778d4200, init_cond=0x778ce0d8) at
../../gcc/gcc/tree-scalar-evolution.c:1467
#662181 0x012f864d in interpret_loop_phi (loop=0x778cd000,
loop_phi_node=0x778d4200) at ../../gcc/gcc/tree-scalar-evolution.c:1630
#662182 0x012fa1bd in analyze_scalar_evolution_1 (loop=0x778cd000,
var=0x7777fee8) at ../../gcc/gcc/tree-scalar-evolution.c:2044
#662183 0x012fa393 in analyze_scalar_evolution (loop=0x778cd000,
var=0x7777fee8) at ../../gcc/gcc/tree-scalar-evolution.c:2108
#662184 0x012fa49e in analyze_scalar_evolution_in_loop
(wrto_loop=0x778cd000, use_loop=0x778cd000, version=0x7777fee8,
folded_casts=0x7fffe0df) at ../../gcc/gcc/tree-scalar-evolution.c:2210
#662185 0x012fd082 in simple_iv_with_niters (wrto_loop=0x778cd000,
use_loop=0x778cd000, op=0x7777fee8, iv=0x7fffe280, iv_niters=0x0,
allow_nonconstant_step=true) at ../../gcc/gcc/tree-scalar-evolution.c:3288
#662186 0x012fd8e0 in simple_iv (wrto_loop=0x778cd000,
use_loop=0x778cd000, op=0x7777fee8, iv=0x7fffe280,
allow_nonconstant_step=true) at ../../gcc/gcc/tree-scalar-evolution.c:3413
#662187 0x0207e0ef in dr_analyze_innermost (drb=0x3166a50,
ref=0x778e11b8, loop=0x778cd000, stmt=0x778d8dc0) at
../../gcc/gcc/tree-data-ref.c:950
#662188 0x0207f342 in create_data_ref (nest=0x778d0f00,
loop=0x778cd000, memref=0x778e11b8, stmt=0x778d8dc0, is_read=true,
is_conditional_in_stmt=false) at ../../gcc/gcc/tree-data-ref.c:1255
#662189 0x02089d1c in find_data_references_in_stmt
(nest=0x778cd000, stmt=0x778d8dc0, datarefs=0x7fffe7f8) at
../../gcc/gcc/tree-data-ref.c:5149
#662190 0x02089f0e in find_data_references_in_bb (loop=0x778cd000,
bb=0x778da410, datarefs=0x7fffe7f8) at
../../gcc/gcc/tree-data-ref.c:5203
#662191 0x02089fce in find_data_references_in_loop
(loop=0x778cd000, datarefs=0x7fffe7f8) at
../../gcc/gcc/tree-data-ref.c:5236
#662192 0x0208a604 in compute_data_dependences_for_loop
(loop=0x778cd000, compute_self_and_read_read_dependences=true,
loop_nest=0x7fffe750, datarefs=0x7fffe7f8,
dependence_relations=0x7fffe7f0) at ../../gcc/gcc/tree-data-ref.c:5411
#662193 0x012d7b7e in tree_predictive_commoning_loop
(loop=0x778cd000) at ../../gcc/gcc/tree-predcom.c:3192
#662194 0x012d8134 in tree_predictive_commoning () at
../../gcc/gcc/tree-predcom.c:3314
#662195 0x012d81b4 in run_tree_predictive_commoning
(fun=0x778c6000) at ../../gcc/gcc/tree-predcom.c:3339
#662196 0x012d8222 in (anonymous namespace)::pass_predcom::execute
(this=0x2fc7cb0, fun=0x778c6000) at ../../gcc/gcc/tree-predcom.c:3368
#662197 0x0102b1c3 in execute_one_pass (pass=0x2fc7cb0) at
../../gcc/gcc

[Bug tree-optimization/91178] [9 Regression] Infinite recursion in split_constant_offset in slp after r260289

2019-08-08 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91178

--- Comment #16 from Serge Belyshev  ---
(In reply to Vsevolod Livinskiy from comment #15)
> I don't know if it is the same error or not, but the reproducer looks
> similar.

This one is different.  It does not fail for me with -O3 -march=skylake-avx512,
just slow and consumes over 1G of memory.

But with just "-O3" it blows up the stack during predictive commoning pass via 
follow_ssa_edge tree-scalar-evolution.c:1350 --> follow_ssa_edge_in_rhs
tree-scalar-evolution.c:1135 -->  follow_ssa_edge_binary
tree-scalar-evolution.c:947 --> follow_ssa_edge tree-scalar-evolution.c:1350 
recursion.

Git bisect points at r256634.

[Bug tree-optimization/91178] [9/10 Regression] Infinite recursion in split_constant_offset in slp after r260289

2019-07-16 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91178

Serge Belyshev  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2019-07-16
 CC||belyshev at depni dot 
sinp.msu.ru
Summary|GCC fails with internal |[9/10 Regression] Infinite
   |compiler error. |recursion in
   ||split_constant_offset in
   ||slp after r260289
 Ever confirmed|0   |1

--- Comment #1 from Serge Belyshev  ---
git bisect points at r260289, which is "[PATCH] Merge SLP and non-SLP
vectorization costing":
https://gcc.gnu.org/ml/gcc-patches/2018-05/msg00599.html

stack trace shows infinite recursion in split_constant_offset():

(gdb) run -quiet -O3 ~/src/bugs/bug91178.c
...
Program received signal SIGSEGV, Segmentation fault.
...
(gdb) bt -100
...
#190637 0x017333b6 in split_constant_offset (exp=, var=var@entry=0x7fffe028, off=off@entry=0x7fffe018,
cache=...) at ../../gcc/gcc/tree-data-ref.c:815
#190638 0x0173251f in split_constant_offset_1
(type=type@entry=, op0=,
code=code@entry=POINTER_PLUS_EXPR, op1=,
var=var@entry=0x7fffe278, off=off@entry=0x7fffe270, cache=...) at
../../gcc/gcc/tree-data-ref.c:618
#190639 0x01732c6f in split_constant_offset_1
(type=type@entry=, op0=,
code=, op1=, var=var@entry=0x7fffe278,
off=off@entry=0x7fffe270, cache=...) at ../../gcc/gcc/tree-data-ref.c:725
#190640 0x017333b6 in split_constant_offset (exp=exp@entry=, var=var@entry=0x7fffe3b0, off=off@entry=0x7fffe388,
cache=...) at ../../gcc/gcc/tree-data-ref.c:815
#190641 0x01733441 in split_constant_offset (exp=, var=var@entry=0x7fffe3b0, off=off@entry=0x7fffe388) at
../../gcc/gcc/tree-data-ref.c:828
#190642 0x01733a1c in dr_analyze_innermost (drb=drb@entry=0x353ad10,
ref=ref@entry=, loop=loop@entry=0x0,
stmt=stmt@entry=0x73cd3960) at ../../gcc/gcc/tree-data-ref.c:967
#190643 0x0173517f in create_data_ref (nest=,
loop=loop@entry=0x776d1000, memref=memref@entry=,
stmt=stmt@entry=, is_read=is_read@entry=true,
is_conditional_in_stmt=is_conditional_in_stmt@entry=false) at
../../gcc/gcc/tree-data-ref.c:1239
#190644 0x01735598 in find_data_references_in_stmt
(nest=nest@entry=0x0, stmt=stmt@entry=,
datarefs=datarefs@entry=Python Exception  There is no member
or method named m_vecpfx.: 
0x7fffe5a0) at ../../gcc/gcc/tree-ssa-loop.h:80
#190645 0x0174de04 in vect_find_stmt_data_reference
(loop=loop@entry=0x0, stmt=stmt@entry=,
datarefs=datarefs@entry=Python Exception  There is no member
or method named m_vecpfx.: 
0x7fffe658) at ../../gcc/gcc/tree-vect-data-refs.c:4027
#190646 0x00f582ac in vect_slp_bb (bb=bb@entry=) at ../../gcc/gcc/tree-vect-slp.c:3036
#190647 0x00f5b866 in (anonymous
namespace)::pass_slp_vectorize::execute (this=,
fun=0x776ca000) at ../../gcc/gcc/tree-vectorizer.c:1310
#190648 0x00b615fe in execute_one_pass (pass=pass@entry=) at ../../gcc/gcc/passes.c:2474
...

[Bug d/89177] unaligned memory access in libphobos

2019-04-13 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89177

Serge Belyshev  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||belyshev at depni dot 
sinp.msu.ru
 Resolution|--- |FIXED
   Target Milestone|--- |9.0

--- Comment #8 from Serge Belyshev  ---
Fixed in trunk.

[Bug bootstrap/89829] incorrect profile data is used during profiledbootstrap

2019-03-26 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89829

--- Comment #2 from Serge Belyshev  ---
On the other hand, benchmarking shows that better training brings no advantage.
Or rather, slight measurable regression is apparent:

option|  training  dataset| benchmark | compiler binary
  |   |  time, s  |size, MB
---
bootstrap |  N/A  |   11.203  |  32.2
profiledbootstrap |  none |   11.518  |  38.0
profiledbootstrap |  libgcc   |   10.091  |  30.1
profiledbootstrap |  stagetrain   |   10.130  |  30.8
profiledbootstrap |  libgcc+stagetrain|   10.116  |  30.9
profiledbootstrap |  as above + combined tree |   10.128  |  30.9


Thus, some tuning is needed, I guess.

Notes: BOOT_CFLAGS=-Ofast was used for the above.  Benchmark is cc1files from
gcc 3.4, compiled by compiler under test with -Ofast.  Time values are averages
of 100 runs, standard error of mean is about 0.001 s, sample standard deviaton
is 0.011 s.

[Bug target/30810] top-level BOOT_CFLAGS not being used for bootstrapping

2019-03-26 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30810

Serge Belyshev  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||belyshev at depni dot 
sinp.msu.ru
 Resolution|--- |WORKSFORME

--- Comment #8 from Serge Belyshev  ---
Works as documented in https://gcc.gnu.org/install/build.html .  Although
documentation could be improved and various *FLAGS should be consolidated.

[Bug target/38177] Internal compiler error during gcc build with -march=amdfam10

2019-03-26 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38177

Serge Belyshev  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||belyshev at depni dot 
sinp.msu.ru
  Known to work||
 Resolution|--- |WORKSFORME

--- Comment #8 from Serge Belyshev  ---
This report is bitrotten by now, 4.3 is no longer maintained.

[Bug other/89829] New: incorrect profile data is used during profiledbootstrap

2019-03-26 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89829

Bug ID: 89829
   Summary: incorrect profile data is used during
profiledbootstrap
   Product: gcc
   Version: 9.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: other
  Assignee: unassigned at gcc dot gnu.org
  Reporter: belyshev at depni dot sinp.msu.ru
CC: marxin at gcc dot gnu.org
  Target Milestone: ---

Looking at the *.gcda timestamps, I noticed that incorrect data (the one from
stageprofile libgcc build) is used, and correct one (from stagetrain) is
discarded.

The fix is just to revert r254150 which effectively undid 4-stage
profiledbootstrap to a previous status quo where only libgcc training data was
used.

Also note that the r254150 confusion probably stems from the fact that there
are two stagefeedback-start:: rules in the Makefile.tpl, where the first one is
generated from stage[+id+]-start:: template.  The corresponding recipes are
executed both, and they are not independent as the first one renames directory
structure by doing 'make stage'.  This (ab)use of double-colon rules is not
recommended by the GNU make documentation, see
https://www.gnu.org/software/make/manual/html_node/Double_002dColon.html#Double_002dColon
.

[Bug bootstrap/59528] Profiledbootstrap should use stage1 compiler during stagefeedback

2019-03-26 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59528

Serge Belyshev  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||belyshev at depni dot 
sinp.msu.ru
 Resolution|--- |FIXED
   Target Milestone|--- |8.0

--- Comment #4 from Serge Belyshev  ---
(In reply to Richard Biener from comment #1)
> Can you point to a version where we did that?

Before r101263, I think.

Anyhow, this is fixed since introduction of 4-stage profiledbootstrap
(r249366), because final stagefeedback binary is built by stagetrain.

Closing as fixed.

[Bug bootstrap/61448] ice on profiledbootstrap with -O2 -flto -fuse-linker-plugin

2019-03-26 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61448

Serge Belyshev  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||belyshev at depni dot 
sinp.msu.ru
 Resolution|--- |WORKSFORME

--- Comment #1 from Serge Belyshev  ---
This bug was never confirmed, but the similar configuration
(--enable-checking=release --with-arch=native --with-build-config=bootstrap-lto
 profiledbootstrap) works for me with current trunk on intel x86-64.  So this
bug was probably fixed at some point (long time ago).

Moreover, neither 4.8 nor 4.9 are supported anymore.

Closing as worksforme, please re-open if needed.

[Bug middle-end/89790] New: [9 Regression] ICE segfault in operand_equal_p() at fold-const.c:3000 with -Wduplicated-cond since r269838

2019-03-21 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89790

Bug ID: 89790
   Summary: [9 Regression] ICE segfault in operand_equal_p() at
fold-const.c:3000 with -Wduplicated-cond since r269838
   Product: gcc
   Version: 9.0
Status: UNCONFIRMED
  Keywords: ice-on-valid-code
  Severity: normal
  Priority: P3
 Component: middle-end
  Assignee: unassigned at gcc dot gnu.org
  Reporter: belyshev at depni dot sinp.msu.ru
CC: rguenth at gcc dot gnu.org
  Target Milestone: ---

Fix for bug 89779 (r269838) caused ICE during gdb build.  Reduced testcase,
compile with -O -Wduplicated-cond:

template  class a {
  typedef a b;
  template  void c();
};
template  template  void a::c() {
  int f;
  b g;
  if (g == 0)
;
  else if (f)
{
}
}


Partial backtrace:

Program received signal SIGSEGV, Segmentation fault.
operand_equal_p (arg0=0x776df7e0, arg1=0x776df740, flags=16) at
../../gcc/gcc/fold-const.c:3000
3000  if (TYPE_UNSIGNED (TREE_TYPE (arg0)) != TYPE_UNSIGNED (TREE_TYPE
(arg1))
(gdb) bt
#0  operand_equal_p (arg0=0x776df7e0, arg1=0x776df740, flags=16) at
../../gcc/gcc/fold-const.c:3000
#1  0x00c9ac8b in operand_equal_p (arg0=arg0@entry=0x776df7e0,
arg1=arg1@entry=0x776df740, 
flags=flags@entry=0) at ../../gcc/gcc/fold-const.c:2950
#2  0x00b0c572 in warn_duplicated_cond_add_or_warn (loc=, cond=cond@entry=0x776df7e0, 
chain=chain@entry=0x7fffdd88) at ../../gcc/gcc/c-family/c-warn.c:2318
#3  0x009c4846 in cp_parser_selection_statement (chain=,
if_p=0x0, parser=0x77fd0ab0)
at ../../gcc/gcc/cp/parser.c:11784
#4  cp_parser_statement (parser=0x77fd0ab0, in_statement_expr=0x0,
in_compound=, if_p=0x0, 
chain=, loc_after_labels=0x7fffddec) at
../../gcc/gcc/cp/parser.c:11147
#5  0x009de4f8 in cp_parser_implicitly_scoped_statement
(parser=parser@entry=0x77fd0ab0, 
if_p=if_p@entry=0x0, guard_tinfo=..., chain=0x25323d0) at
../../gcc/gcc/cp/parser.c:13004
#6  0x009c4788 in cp_parser_selection_statement (chain=,
if_p=0x0, parser=0x77fd0ab0)
at ../../gcc/gcc/cp/parser.c:11865
...

[Bug c/88928] New: [9 Regression] ICE segfault in check_address_or_pointer_of_packed_member since r268075

2019-01-20 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88928

Bug ID: 88928
   Summary: [9 Regression] ICE segfault in
check_address_or_pointer_of_packed_member since
r268075
   Product: gcc
   Version: 9.0
Status: UNCONFIRMED
  Keywords: ice-on-valid-code
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: belyshev at depni dot sinp.msu.ru
CC: hjl.tools at gmail dot com
  Target Milestone: ---

// bug.c
struct a { } __attribute__((__packed__));
void c (struct a **);
void d (const struct a *b) { c ((struct a **) b); }


$ ./cc1 -quiet bug.c 
bug.c: In function 'd':
bug.c:3:41: warning: converting a packed 'const struct a *' pointer (alignment
1) to 'struct a *' (alignment 8) may result in an unaligned pointer value
[-Waddress-of-packed-member]
3 | void d (const struct a *b) { c ((struct a **) b); }
  | ^
bug.c:3:41: internal compiler error: Segmentation fault
0x1120e22 crash_signal
../../gcc/gcc/toplev.c:326
0x7f35308e88df ???
   
/build/glibc-T8GPG6/glibc-2.28/signal/../sysdeps/unix/sysv/linux/x86_64/sigaction.c:0
0x81a107 contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
../../gcc/gcc/tree.h:3289
0x993f6f check_address_or_pointer_of_packed_member
../../gcc/gcc/c-family/c-warn.c:2762
0x9941e4 check_and_warn_address_or_pointer_of_packed_member
../../gcc/gcc/c-family/c-warn.c:2838
...

[Bug middle-end/86864] New: [9 Regression] ICE in commit_one_edge_insertion, at cfgrtl.c:2025 since r261795

2018-08-05 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86864

Bug ID: 86864
   Summary: [9 Regression] ICE in commit_one_edge_insertion, at
cfgrtl.c:2025 since r261795
   Product: gcc
   Version: 9.0
Status: UNCONFIRMED
  Keywords: ice-on-valid-code
  Severity: normal
  Priority: P3
 Component: middle-end
  Assignee: unassigned at gcc dot gnu.org
  Reporter: belyshev at depni dot sinp.msu.ru
CC: marxin at gcc dot gnu.org
  Target Milestone: ---

r261795 caused the following ICE, reduced from i386.c:

long a;
void f ();
void g (int b, int c, int d)
{
  switch (b)
{
case 42:
case 29:
case 48:
case 40:
case 32:
  c = 2;
  break;
case 0:
  c = 1;
  break;
default:
  __builtin_unreachable ();
}
  if (d || a)
f ();
  if (c == 1)
f ();
}

during RTL pass: expand
bug.c: In function 'g':
bug.c:24:1: internal compiler error: in commit_one_edge_insertion, at
cfgrtl.c:2025

[Bug target/86770] New: UNRESOLVED: 30_threads/call_once/call_once1.cc compilation failed to produce executable

2018-08-01 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86770

Bug ID: 86770
   Summary: UNRESOLVED: 30_threads/call_once/call_once1.cc
compilation failed to produce executable
   Product: gcc
   Version: 9.0
Status: UNCONFIRMED
  Keywords: link-failure
  Severity: normal
  Priority: P3
 Component: target
  Assignee: unassigned at gcc dot gnu.org
  Reporter: belyshev at depni dot sinp.msu.ru
  Target Milestone: ---
Target: riscv64-unknown-linux-gnu

Everything under 30_threads/ fail to link on riscv with -Wl,--gc-sections. 
Short testcase:

$ cat > bug.cc <

[Bug rtl-optimization/67396] [5 regression] Performance regression compiling variadic function with many arguments in RTL DSE

2018-07-30 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67396

Serge Belyshev  changed:

   What|Removed |Added

 CC||belyshev at depni dot 
sinp.msu.ru

--- Comment #14 from Serge Belyshev  ---
For the record: O(N^3) on the testcase with -mno-accumulate-outgoing-args
started with r169782.  And then it was "fixed" to O(N^2) by r234709 with the
help from max-dse-active-local-stores param introduced in r171090.

The testcase is interesting in that with different options
(-maccumulate-outgoing-args or -g -fVTA) it triggers another O(N^2) slowdowns
started from different revisions.

Current trunk with -mno-accumulate-outgoing-args exhibits saw-like O(N^2)
behaviour controlled by max-dse-active-local-stores param, and for N=5000
(right before max-dse-active-local-stores triggers) times are:

gcc-4.5 0.1 s
gcc-9.0 2.8 s

It is noticeable during glibc make check under qemu-riscv64, when
stdio-common/tst-printf-bz18872.c takes about 1h to compile.

[Bug bootstrap/84856] Bootstrap failure on riscv: comparison of integer expressions of different signedness

2018-03-14 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84856

Serge Belyshev  changed:

   What|Removed |Added

 CC||wilson at gcc dot gnu.org

--- Comment #4 from Serge Belyshev  ---
CC: Jim Wilson, as it is a recent change by him.

https://gcc.gnu.org/ml/gcc-patches/2018-01/msg01989.html

[Bug bootstrap/84856] New: Bootstrap failure on riscv: comparison of integer expressions of different signedness

2018-03-13 Thread belyshev at depni dot sinp.msu.ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84856

Bug ID: 84856
   Summary: Bootstrap failure on riscv:  comparison of integer
expressions of different signedness
   Product: gcc
   Version: 8.0.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: bootstrap
  Assignee: unassigned at gcc dot gnu.org
  Reporter: belyshev at depni dot sinp.msu.ru
  Target Milestone: ---
Target: riscv*-*-*

On RISC-V STACK_BOUNDARY and BIGGEST_ALIGNMENT are defined to an unsigned
varible, unlike most other architectures where they are constants, triggering
bootstrap failure with:

../../gcc/gcc/calls.c: In function 'poly_int64 compute_argument_block_size(int,
args_size*, tree, tree, int)':
../../gcc/gcc/calls.c:2201:60: error: comparison of integer expressions of
different signedness: 'int' and 'unsigned int' [-Werror=sign-compare]
  if (ACCUMULATE_OUTGOING_ARGS && preferred_stack_boundary > STACK_BOUNDARY)

../../gcc/gcc/final.c: In function 'int
final_addr_vec_align(rtx_jump_table_data*)':
../../gcc/gcc/final.c:521:13: error: comparison of integer expressions of
different signedness: 'int' and 'unsigned int' [-Werror=sign-compare]
   if (align > BIGGEST_ALIGNMENT / BITS_PER_UNIT)


The fix would be to change appropriate variables also to unsigned.  (Also may
as well to remove ATTRIBUTE_UNUSED annotations on of
compute_argument_block_size(), which are no longer useful since r44814.

[Bug other/53413] New: md5_process_block() produces incorrect result with large block sizes

2012-05-18 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53413

 Bug #: 53413
   Summary: md5_process_block() produces incorrect result with
large block sizes
Classification: Unclassified
   Product: gcc
   Version: 4.7.0
   URL: http://sourceware.org/bugzilla/show_bug.cgi?id=14090
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: other
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: belys...@depni.sinp.msu.ru


libiberty/md5.c contains [buggy] code copied from glibc, so please take a look
at http://sourceware.org/bugzilla/show_bug.cgi?id=14090 for the description of
the bug and proposed patch.


[Bug middle-end/51071] New: [4.7 Regression] ICE in gimple_has_side_effects, at gimple.c:2513

2011-11-09 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51071

 Bug #: 51071
   Summary: [4.7 Regression] ICE in gimple_has_side_effects, at
gimple.c:2513
Classification: Unclassified
   Product: gcc
   Version: 4.7.0
Status: UNCONFIRMED
  Keywords: ice-on-valid-code
  Severity: normal
  Priority: P3
 Component: middle-end
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: belys...@depni.sinp.msu.ru
CC: l...@redhat.com


Fails since r175114 http://gcc.gnu.org/ml/gcc-cvs/2011-06/msg00603.html


2011-06-16  Jeff Law  l...@redhat.com

   * tree-ssa-threadupdate.c (struct redirection_data): New field
   intermediate_edge.
   ...




// compile with -O2
void foo (void);
void bar (void *);
extern int t;

static void kmalloc_large (int size, int flags)
{
  (void) size;
  (void) flags;
  foo ();
  bar (({__here:__here;}));
}

static void kmalloc (int size, int flags)
{
  if (size)
{
  if ((unsigned long) size  0x1000)
kmalloc_large (size, flags);

  if (flags)
bar (({__here:__here;}));
}
}

void compress_file_range (int i, int j, int k)
{
  int nr_pages = ({j  k;});

  if (i || t)
kmalloc (0x1000UL * nr_pages, 0x40UL);
}



bug.c: In function 'compress_file_range':
bug.c:25:6: internal compiler error: in gimple_has_side_effects, at
gimple.c:2513


[Bug target/22553] [4.4/4.5/4.6/4.7 regression] ICE building libstdc++

2011-11-08 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22553

--- Comment #19 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-11-08 09:10:22 UTC ---
Note that both original testcase and its fully reduced variants are flakey, so
one needs to check against all intermediate ones generated by delta.

Anyway, with the workaround from r105496 reverted, this bug no longer appears
since r122318:

2007-02-25  Ulrich Weigand  uweig...@de.ibm.com

* reload.c (find_reloads_address_1): Handle PLUS expressions resulting
from register elimination as PRE_MODIFY / POST_MODIFY increments.
Do not attempt to handle MEM inside auto-inc expressions.
* reload1.c (eliminate_regs_1): Do not attempt to handle elimination
of a register modified by an auto-inc expression.  However, do handle
elimination of a register used as PRE_MODIFY / POST_MODIFY increment.
(elimination_effects): Prohibit elimination of a register modified
by an auto-inc expression.  Disable register elimination rules whose
target register is modified by an auto-inc expression with variable
increment.

Which looks like real fix for the issue.
Another big change that can also help here is -fsched-pressure in r151348:

2009-09-02  Vladimir Makarov  vmaka...@redhat.com

* doc/invoke.texi (-fsched-pressure): Document it.
(-fsched-reg-pressure-heuristic): Remove it.
...

So I think the workaround from r105496 can be safely removed now and then close
this bug as fixed since 4.3.0


[Bug middle-end/50913] [4.7 Regression] ICE in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:633 compiling libgfortran with -floop-interchange -m32

2011-11-07 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50913

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 Target||i686-*-* x86_64-*-*
 Status|UNCONFIRMED |NEW
   Keywords||ice-on-valid-code
   Last reconfirmed||2011-11-07
 CC||belyshev at depni dot
   ||sinp.msu.ru
 Ever Confirmed|0   |1
Summary|ICE: compiling libgfortran  |[4.7 Regression] ICE in
   |for i686-w64-mingw32|scan_tree_for_params_right_
   ||scev, at
   ||graphite-sese-to-poly.c:633
   ||compiling libgfortran with
   ||-floop-interchange -m32
   Severity|critical|normal

--- Comment #3 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-11-07 11:43:48 UTC ---
Reduced testcase, fails on mainline with -O2 -floop-interchange -m32:

void spread_i1 (int *rptr, int *sptr, int ncopies, int *extent, int rdelta, int
m)
{
  int *dest;
  int n;

  while (m--)
{
  dest = rptr;
  for (n = 0; n  ncopies; n ++)
{
  *dest = *sptr;
  dest += rdelta;
}
  if (extent [n])
if (n)
  rptr ++;
}
}


[Bug middle-end/50913] [4.7 Regression] ICE in scan_tree_for_params_right_scev, at graphite-sese-to-poly.c:633 compiling libgfortran with -floop-interchange -m32

2011-11-07 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50913

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 CC||rguenth at gcc dot gnu.org

--- Comment #4 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-11-07 12:51:01 UTC ---
Fails since the fix for bug 50067, r178028:

2011-08-24  Richard Guenther  rguent...@suse.de

PR tree-optimization/50067
* tree-data-ref.c (dr_analyze_indices): Do not add an access
function for a MEM_REF base that has no evolution in the loop
nest or that is not analyzable.
...


[Bug middle-end/42636] warning: ‘line[0]’ may be used uninitialized in this function

2011-11-07 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42636

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

   Keywords||diagnostic
 Status|UNCONFIRMED |RESOLVED
 CC||belyshev at depni dot
   ||sinp.msu.ru
  Known to work||4.2.0, 4.6.0
 Resolution||FIXED
   Target Milestone|--- |4.6.0
  Known to fail||4.3.0, 4.4.0, 4.5.0

--- Comment #2 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-11-07 15:50:14 UTC ---
Fixed by commit r158835 in 4.6.0:

2010-04-28  Xinliang David Li  davi...@google.com

   PR c/42643
   * tree-ssa-uninit.c (can_skip_redundant_opnd): New function.
   ...


Bad diagnostics in comment #1 is a separate issue.


[Bug middle-end/51010] New: [4.7 Regression] bad diagnostics: #'ssa_name' not supported by pp_c_expression#]'

2011-11-07 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51010

 Bug #: 51010
   Summary: [4.7 Regression] bad diagnostics: #'ssa_name' not
supported by pp_c_expression#]'
Classification: Unclassified
   Product: gcc
   Version: 4.7.0
Status: UNCONFIRMED
  Keywords: diagnostic
  Severity: minor
  Priority: P3
 Component: middle-end
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: belys...@depni.sinp.msu.ru
CC: rgue...@gcc.gnu.org


Compiling this with -O1 -Wall will cause weird output:

int f (int j)
{
  int a [10];
  return a [j];
}

$ ./cc1 -quiet -O1 -Wall bug.c
#'ssa_name' not supported by pp_c_expression#]'bug.c: In function 'f':
bug.c:4:3: warning:  is used uninitialized in this function [-Wuninitialized]
$

Caused by r154918 (but was latent until the fix for pr50040, r177667):

2009-12-02  Richard Guenther  rguent...@suse.de

PR middle-end/42088
* tree.c (free_lang_data): Disable if not using LTO.


Reverting r154918 helps:

bug.c: In function 'f':
bug.c:4:3: warning: 'a[j_1(D)]' is used uninitialized in this function
[-Wuninitialized]


[Bug target/20634] code fails to compile/code generation issue with -funit-at-a-time

2011-11-07 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20634

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||belyshev at depni dot
   ||sinp.msu.ru
  Known to work||4.5.0
 Resolution||FIXED
   Target Milestone|--- |4.5.0
  Known to fail||

--- Comment #6 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-11-07 19:13:57 UTC ---
Fixed in gcc 4.5 by r151348:

2009-09-02  Vladimir Makarov  vmaka...@redhat.com

* doc/invoke.texi (-fsched-pressure): Document it.
(-fsched-reg-pressure-heuristic): Remove it.
...


[Bug c/22065] -fdump-tree-original causes static function to emitted with the same name

2011-11-07 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22065

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||belyshev at depni dot
   ||sinp.msu.ru
 Resolution||FIXED
  Known to fail||

--- Comment #10 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-11-07 19:31:45 UTC ---
Fixed at some point between 4.2 and 4.3.


[Bug middle-end/50966] New: [4.4/4.5/4.6/4.7 Regression] Missing 'is used uninitialized' warning (struct pointer dereference)

2011-11-02 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50966

 Bug #: 50966
   Summary: [4.4/4.5/4.6/4.7 Regression] Missing 'is used
uninitialized' warning (struct pointer dereference)
Classification: Unclassified
   Product: gcc
   Version: 4.7.0
Status: UNCONFIRMED
  Keywords: diagnostic
  Severity: minor
  Priority: P3
 Component: middle-end
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: belys...@depni.sinp.msu.ru
CC: m...@gcc.gnu.org
Blocks: 24639


Manuel, after your commit r139347 gcc doesn't warn about dereference of 'bar'
in this testcase anymore:

struct foo
{
  int x;
};

int main (void)
{
  struct foo *bar;

  __builtin_printf (%p\n, bar-x);
  return 0;
}


[Bug c/26567] ICE in c_lex_with_flags, at c-lex.c:472 with cc1 -C (without -E)

2011-10-30 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26567

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 Status|NEW |RESOLVED
URL||http://gcc.gnu.org/ml/gcc-p
   ||atches/2010-04/msg01592.htm
   ||l
  Known to work||4.6.0
 Resolution||FIXED
   Target Milestone|--- |4.6.0
  Known to fail||4.3.0, 4.4.0, 4.5.0

--- Comment #5 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-30 20:40:08 UTC ---
Was quietly fixed by r160100:

2010-06-01  Arnaud Charlet  char...@adacore.com
Matthew Gingell  ging...@adacore.com

   * doc/invoke.texi: Mention -fdump-ada-spec.
   * tree-dump.c (dump_files): Add ada-spec.
   (FIRST_AUTO_NUMBERED_DUMP): Bump to 8.
   * tree-pass.h (tree_dump_index): Add TDI_ada.
   * gcc.c: Add support for -C without -E and for -fdump-ada-spec.
   (cpp_unique_options): Do not reject -C or -CC when -E isn't present.
   (default_compilers) @c-header: Allow -fdump-ada-spec on header files.
   * c-decl.c: Include c-ada-spec.h.
   (collect_source_ref_cb, collect_all_refs, for_each_global_decl): New
   functions.
   (c_write_global_declarations): Add handling of -fdump-ada-spec.
   * c-lex.c (c_lex_with_flags): Add handling of CPP_COMMENT.
   * Makefile.in (C_AND_OBJC_OBJS): Add c-ada-spec.o.
   * c-ada-spec.h, c-ada-spec.c: New files.


[Bug libgcj/35367] Linux x86 build (with --enable-targets=all, so also building with cross-to-x64 multilib configuration) fails in libjava (prims.cc)

2011-10-29 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35367

--- Comment #3 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-29 06:55:58 UTC ---
Created attachment 25657
  -- http://gcc.gnu.org/bugzilla/attachment.cgi?id=25657
taken from debian's config-ml.diff

Similar bug in libffi (misdetection of target when using --enable-targets=all)
produces lots of failures in libgo and libffi testsuite.

Both issues are fixed with the attached hack, which is present in debian's set
of patches.

With this hack current trunk passess bootstrap with --enable-targets=all
--enable-languages=all,obj-c++,go  and regtest with
RUNTESTFLAGS=--target_board 'unix{,-m64}' just fine on i686.


[Bug middle-end/50907] [4.7 Regression] EDGE_CROSSING incorrectly set across same section with -freorder-blocks-and-partition -fPIC -fprofile-use

2011-10-29 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50907

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2011-10-29
 CC||rth at gcc dot gnu.org
  Known to work||4.6.0
   Target Milestone|--- |4.7.0
 Ever Confirmed|0   |1
  Known to fail||4.7.0

--- Comment #1 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-29 08:12:18 UTC ---
git bisect points at r176696:
http://gcc.gnu.org/viewcvs?view=revisionrevision=176696

2011-07-23  Richard Henderson  r...@redhat.com

* basic-block.h (EDGE_PRESERVE): New.
(EDGE_ALL_FLAGS, EDGE_COMPLEX): Include it.
* bb-reorder.c: Include except.h.
(fix_up_crossing_landing_pad): New.
...


[Bug middle-end/50907] New: [4.7 Regression] EDGE_CROSSING incorrectly set across same section with -freorder-blocks-and-partition -fPIC -fprofile-use

2011-10-28 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50907

 Bug #: 50907
   Summary: [4.7 Regression] EDGE_CROSSING incorrectly set across
same section with -freorder-blocks-and-partition -fPIC
-fprofile-use
Classification: Unclassified
   Product: gcc
   Version: 4.7.0
Status: UNCONFIRMED
  Keywords: ice-on-valid-code
  Severity: normal
  Priority: P3
 Component: middle-end
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: belys...@depni.sinp.msu.ru
Target: x86_64-unknown-linux-gnu


compilation of gcc.dg/tree-prof/pr45354.c with -O
-freorder-blocks-and-partition -fPIC -fprofile-use fails:

$ gcc pr45354.c -O -freorder-blocks-and-partition -fPIC -fprofile-generate
$./a.out
$ gcc pr45354.c -O -freorder-blocks-and-partition -fPIC -fprofile-use
pr45354.c: In function 'test_ifelse2':
pr45354.c:23:1: error: EDGE_CROSSING incorrectly set across same section
pr45354.c:23:1: internal compiler error: verify_flow_info failed


(testcase is attached also here:
http://gcc.gnu.org/bugzilla/attachment.cgi?id=22560 )


[Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge

2011-10-27 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 CC||maxdeliso at gmail dot com

--- Comment #17 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-27 07:21:11 UTC ---
*** Bug 50850 has been marked as a duplicate of this bug. ***


[Bug tree-optimization/50850] [4.7 Regression] verify_ssa failed

2011-10-27 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50850

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE

--- Comment #3 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-27 07:21:11 UTC ---
(In reply to comment #2)
 no problems with gcc (GCC) 4.7.0 20111026 (experimental)

Closing as dup of bug 50763 then.

*** This bug has been marked as a duplicate of bug 50763 ***


[Bug middle-end/50823] [4.7 Regression] ICE in inline_small_functions, at ipa-inline.c:1407

2011-10-27 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50823

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

   Keywords||ice-on-valid-code
 CC||belyshev at depni dot
   ||sinp.msu.ru

--- Comment #7 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-27 21:42:38 UTC ---
Slightly smaller testcase, fails with -O2 -finline-functions:

int k1, k2, k3, k4, k5, k6, k7, k8;

void set_first_insn (int);
void set_last_insn (void);

static int make_insn_raw (void) 
{
  set_first_insn (0);
  set_last_insn ();
  return k1;
}

static void add_insn_after (void)
{
  if (k2)
k3 = k4;

  if (k5)
k6 = k7;
}

void emit_pattern_after_noloc (int (make_raw) (void)) 
{
  if (k8)
{
  make_raw ();
  add_insn_after ();
}
}

void emit_insn_after_noloc (void)
{
  emit_pattern_after_noloc (make_insn_raw);
}

void emit_debug_insn_before_setloc (int k9)
{
  if (k9)
make_insn_raw ();
}


[Bug middle-end/50890] New: [4.7 Regression] ICE in fold_convert_loc, at fold-const.c:1894

2011-10-27 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50890

 Bug #: 50890
   Summary: [4.7 Regression] ICE in fold_convert_loc, at
fold-const.c:1894
Classification: Unclassified
   Product: gcc
   Version: 4.7.0
Status: UNCONFIRMED
  Keywords: ice-on-invalid-code
  Severity: normal
  Priority: P3
 Component: middle-end
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: belys...@depni.sinp.msu.ru
CC: hubi...@gcc.gnu.org


r172609
(http://gcc.gnu.org/viewcvs?limit_changes=0view=revisionrevision=172609)
caused ICE with -O2 or -O1 -finline-small-functions on this (invalid?)
testcase, note function pointer type cast:

static float make_insn_raw (void)
{
  return 0;
}

static int emit_pattern_after_noloc (int (make_raw) ()) 
{
  return make_raw ();
}

void emit_insn_after_noloc (void) 
{
  emit_pattern_after_noloc ((void *) make_insn_raw);
}

bug.c:8:3: internal compiler error: in fold_convert_loc, at fold-const.c:1894


[Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge

2011-10-25 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 CC||hjl.tools at gmail dot com

--- Comment #13 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-26 00:15:02 UTC ---
*** Bug 50867 has been marked as a duplicate of this bug. ***


[Bug middle-end/50867] [4.7 Regression] LTO bootstrap failed with bootstrap-profiled

2011-10-25 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50867

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||belyshev at depni dot
   ||sinp.msu.ru
 Resolution||DUPLICATE

--- Comment #2 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-26 00:15:02 UTC ---
Dup of bug 50763, proposed fix:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763#c12
http://gcc.gnu.org/ml/gcc-patches/2011-10/msg02268.html

*** This bug has been marked as a duplicate of bug 50763 ***


[Bug tree-optimization/50763] [4.7 Regression] ICE: verify_gimple failed: missing PHI def with -ftree-tail-merge

2011-10-24 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 CC||belyshev at depni dot
   ||sinp.msu.ru

--- Comment #10 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-24 10:39:07 UTC ---
The commit r180341 breaks i686 bootstrap for me with verify_ssa failure. Here
is a reduced testcase, fails also on x86_64, compile with -O2:

--
typedef union tree_node *tree;

struct tree_base
{
  int code;
};

struct tree_typed
{
  struct tree_base base;
  tree type;
};

struct tree_common
{
  struct tree_typed typed;
};

struct tree_type_common
{
  tree main_variant;
};

union tree_node
{
  struct tree_base base;
  struct tree_typed typed;
  struct tree_type_common type_common;
};

int std_canonical_va_list_type (tree type) 
{
  if (type-base.code)
type = type-typed.type;
  else
if (type-typed.type-base.code)
  type = type-typed.type;

  if (type-type_common.main_variant)
return 1;

  return 0;
}
--
bug.c: In function 'std_canonical_va_list_type':
bug.c:31:5: error: definition in block 3 does not dominate use in block 4
for SSA_NAME: .MEM_18 in statement:
.MEM_18 = PHI .MEM_12(D)(2), .MEM_18(4)
PHI argument
.MEM_18
for PHI node
.MEM_18 = PHI .MEM_12(D)(2), .MEM_18(4)
bug.c:31:5: internal compiler error: verify_ssa failed


[Bug tree-optimization/50850] [4.7 Regression] verify_ssa failed

2011-10-24 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50850

--- Comment #1 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-24 17:57:09 UTC ---
Most likely dup of bug 50763 (see if reverting r180341 or applying patch from
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763#c12 helps).


[Bug bootstrap/50709] [4.7 Regression] stage3 bootstrap comparison failure with --disable-checking config option

2011-10-20 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50709

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED

--- Comment #7 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-21 02:44:00 UTC ---
Fixed.


[Bug bootstrap/50709] stage3 bootstrap comparison failure with --disable-checking config option

2011-10-13 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50709

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

   Keywords||wrong-code
 Target|x86_64  |
 CC||belyshev at depni dot
   ||sinp.msu.ru
 Blocks||49740, 49246
Summary|stage3 bootstrap comparison |stage3 bootstrap comparison
   |fail on x86_64 with |failure with
   |--disable-checking config   |--disable-checking config
   |option  |option

--- Comment #2 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-13 15:14:22 UTC ---
Git bisect pointed at r173532 by Honza:

 2011-05-06  Jan Hubicka  j...@suse.cz

* ipa-inline.c (update_callee_keys): Don't reset node growth cache.


--- a/gcc/ipa-inline.c
+++ b/gcc/ipa-inline.c
@@ -957,9 +957,9 @@ update_callee_keys (fibheap_t heap, struct cgraph_node
*node,
   e = e-callee-callees;
 else
   {
-/* We inlined and thus callees might have different number of calls.
-   Reset their caches  */
-reset_node_growth_cache (e-callee);
+/* We do not reset callee growth cache here.  Since we added a new call,
+   growth chould have just increased and consequentely badness metric
+   don't need updating.  */
 if (e-inline_failed
  inline_summary (e-callee)-inlinable
  cgraph_function_body_availability (e-callee) = AVAIL_AVAILABLE


Reverting this patch helps.


[Bug bootstrap/49242] Bootstrap comparison failure

2011-10-13 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49242

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

   Keywords||wrong-code
 CC||belyshev at depni dot
   ||sinp.msu.ru

--- Comment #3 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-10-13 19:00:32 UTC ---
May be related to bug 50709.

Michael, did you use --disable-checking configure option?


[Bug ada/44431] [boot with C++] Conflicting exit declaration in ada/b_gnatb.c

2011-03-07 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44431

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

   Keywords||build
   Last reconfirmed|2010-06-06 14:16:14 |2011-03-07 8:47
 CC||belyshev at depni dot
   ||sinp.msu.ru

--- Comment #5 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-03-07 08:51:30 UTC ---
Still fails the same way.


[Bug target/47230] [4.6 Regression] gcc fails to bootstrap on alpha in stage2 with relocation truncated to fit: GPREL16 against ...

2011-03-07 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47230

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

   Keywords||link-failure
 Status|RESOLVED|REOPENED
   Last reconfirmed|2011-01-09 13:11:00 |2011-03-07 19:05
 CC||belyshev at depni dot
   ||sinp.msu.ru
  Component|bootstrap   |target
 Resolution|FIXED   |

--- Comment #3 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-03-07 19:07:36 UTC ---
Bootstrap issue disappeared, but now linux kernel build fails with the same
error:

  ld  -static -N  --build-id -o .tmp_vmlinux1 -T arch/alpha/kernel/vmlinux.lds
arch/alpha/kernel/head.o  init/built-in.o --start-group  usr/built-in.o 
arch/alpha/kernel/built-in.o  arch/alpha/mm/built-in.o 
arch/alpha/math-emu/built-in.o  kernel/built-in.o  mm/built-in.o  fs/built-in.o
 ipc/built-in.o  security/built-in.o  crypto/built-in.o  block/built-in.o 
lib/lib.a  arch/alpha/lib/lib.a  lib/built-in.o  arch/alpha/lib/built-in.o 
drivers/built-in.o  sound/built-in.o  firmware/built-in.o  net/built-in.o
--end-group 
init/built-in.o: In function `do_one_initcall':
/home/ssb/src/linux/init/main.c:736: relocation truncated to fit: GPREL16
against symbol `initcall_debug' defined in .sbss section in init/built-in.o
/home/ssb/src/linux/init/main.c:746: relocation truncated to fit: GPREL16
against symbol `initcall_debug' defined in .sbss section in init/built-in.o
/home/ssb/src/linux/init/main.c:758: relocation truncated to fit: GPREL16
against symbol `initcall_debug' defined in .sbss section in init/built-in.o
init/built-in.o: In function `set_reset_devices':
/home/ssb/src/linux/init/main.c:197: relocation truncated to fit: GPREL16
against symbol `reset_devices' defined in .sbss section in init/built-in.o
init/built-in.o: In function `init_setup':
/home/ssb/src/linux/init/main.c:333: relocation truncated to fit: GPREL16
against `.sbss'
init/built-in.o: In function `rdinit_setup':
/home/ssb/src/linux/init/main.c:350: relocation truncated to fit: GPREL16
against `.sbss'
init/built-in.o: In function `unknown_bootoption':
/home/ssb/src/linux/init/main.c:296: relocation truncated to fit: GPREL16
against `.sbss'
/home/ssb/src/linux/init/main.c:299: relocation truncated to fit: GPREL16
against `.sbss'
/home/ssb/src/linux/init/main.c:304: relocation truncated to fit: GPREL16
against `.sbss'
/home/ssb/src/linux/init/main.c:305: relocation truncated to fit: GPREL16
against `.sbss'
/home/ssb/src/linux/init/main.c:314: additional relocation overflows omitted
from the output
make: *** [.tmp_vmlinux1] Error 1


[Bug target/12639] long double comparison is broken

2011-03-05 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12639

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

   Keywords||wrong-code
 Status|REOPENED|RESOLVED
 CC||belyshev at depni dot
   ||sinp.msu.ru
  Known to work||4.2.4, 4.3.5, 4.4.5, 4.5.2
 Resolution||FIXED
   Severity|critical|normal

--- Comment #5 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2011-03-05 18:37:52 UTC ---
Works on ev56 and ev67 linux-gnu with gcc 4.2 .. 4.5, assuming fixed.


[Bug target/44290] [4.5 regression] __naked attribute is broken

2010-12-16 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44290

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 Status|WAITING |NEW
   Last reconfirmed|2010-05-29 11:42:59 |2010-12-16 3:05:53
  Known to fail|4.5.0   |4.5.3


[Bug target/44290] [4.5 regression] __naked attribute is broken

2010-12-16 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44290

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

 Status|NEW |ASSIGNED


[Bug target/44290] [4.5 regression] __naked attribute is broken

2010-12-15 Thread belyshev at depni dot sinp.msu.ru
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44290

Serge Belyshev belyshev at depni dot sinp.msu.ru changed:

   What|Removed |Added

   Keywords||wrong-code
 Status|REOPENED|WAITING
 CC||belyshev at depni dot
   ||sinp.msu.ru
  Known to work||4.6.0
Summary|[4.5 only] __naked  |[4.5 regression] __naked
   |attribute is broken |attribute is broken

--- Comment #28 from Serge Belyshev belyshev at depni dot sinp.msu.ru 
2010-12-15 22:10:42 UTC ---
I presume this is fixed on trunk, but still broken n 4.5 branch, is that
correct?