[Bug tree-optimization/63569] New: [5.0 Regression] Wrong code with volatile and ICF

[Bug tree-optimization/63569] New: [5.0 Regression] Wrong code with volatile and ICF

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

            Bug ID: 63569
           Summary: [5.0 Regression] Wrong code with volatile and ICF
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org

Take:
static int f(int t, int *a) __attribute__((noinline));

static int g(int t, volatile int *a) __attribute__((noinline));
static int g(int t, volatile int *a)
{
  int i;
  int tt = 0;
  for(i=0;i<t;i++)
    tt += *a;
  return tt;
}
static int f(int t, int *a)
{
  int i;
  int tt = 0;
  for(i=0;i<t;i++)
    tt += *a;
  return tt;
}


int h(int t, int *a)
{
  return f(t, a) + g(t, a);
}
--- CUT ---
The order of f and g are important.

The .icf dump has:
Semantic equality hit:f->g
Assembler symbol names:f->g

Which is incorrect as they are not semantic equivalent as one you can load from
a only once while the other you need to load a each time through the loop.

[Bug tree-optimization/63569] [5.0 Regression] Wrong code with volatile and ICF

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Created attachment 33743
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33743&action=edit
A Testcase which ICEs instead of just wrong code

Compile with -O2.
The ICE you get:
t3.c: In function ‘register_netdevice’:
t3.c:66:1: internal compiler error: in verify_ssa, at tree-ssa.c:936
 }
 ^
0xbebecf verify_ssa(bool, bool)
    /home/pinskia/src/toolchain/scripts/../src/gcc/tree-ssa.c:936
0x95292d execute_function_todo
    /home/pinskia/src/toolchain/scripts/../src/gcc/passes.c:1762
0x95310d do_per_function
    /home/pinskia/src/toolchain/scripts/../src/gcc/passes.c:1489
0x95310d do_per_function
    /home/pinskia/src/toolchain/scripts/../src/gcc/passes.c:1479
0x95321b execute_todo
    /home/pinskia/src/toolchain/scripts/../src/gcc/passes.c:1812
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-464313-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Oct 17 06:54:14 2014
Return-Path: <gcc-bugs-return-464313-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 1007 invoked by alias); 17 Oct 2014 06:54:14 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 988 invoked by uid 48); 17 Oct 2014 06:54:10 -0000
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/63569] [5.0 Regression] Wrong code with volatile and ICF
Date: Fri, 17 Oct 2014 06:54:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: target_milestone
Message-ID: <bug-63569-4-bco6d3LagQ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63569-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63569-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-10/txt/msg01334.txt.bz2
Content-length: 551

https://gcc.gnu.org/bugzilla/show_bug.cgi?idc569

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #1)
> Created attachment 33743 [details]
> A Testcase which ICEs instead of just wrong code

This testcase is reduced from the linux kernel on aarch64.

[Bug tree-optimization/63569] [5.0 Regression] Wrong code with volatile and ICF

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
                URL|                            |https://gcc.gnu.org/ml/gcc-
                   |                            |patches/2014-10/msg01723.ht
                   |                            |ml
   Last reconfirmed|                            |2014-10-17
           Assignee|unassigned at gcc dot gnu.org      |mliska at suse dot cz
     Ever confirmed|0                           |1

[Bug tree-optimization/63569] [5.0 Regression] Wrong code with volatile and ICF

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
                 CC|                            |trippels at gcc dot gnu.org

[Bug tree-optimization/63569] [5.0 Regression] Wrong code with volatile and ICF

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Any progress with fixing this bug? It still breaks building the 
Linux kernel with 5.0:

net/core/dev.c: In function ‘dev_change_net_namespace.part.22’:
net/core/dev.c:7285:1: internal compiler error: in verify_ssa, at
tree-ssa.c:939
 subsys_initcall(net_dev_init);
 ^
>From gcc-bugs-return-467883-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 21 08:04:19 2014
Return-Path: <gcc-bugs-return-467883-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 32757 invoked by alias); 21 Nov 2014 08:04:19 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 32720 invoked by uid 48); 21 Nov 2014 08:04:15 -0000
From: "zhenqiang.chen at arm dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/61225] [5 Regression] Several new failures after r210458 on x86_64-*-* with -m32
Date: Fri, 21 Nov 2014 08:04:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: zhenqiang.chen at arm dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-61225-4-0icHQKMzu3@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61225-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61225-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-11/txt/msg02355.txt.bz2
Content-length: 178

https://gcc.gnu.org/bugzilla/show_bug.cgi?ida225

--- Comment #15 from Zhenqiang Chen <zhenqiang.chen at arm dot com> ---
Thank you for the reminder. I will rework the patch.

[Bug ipa/63569] [5.0 Regression] Wrong code with volatile and ICF

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
Hello.

There's suggested patch on mailing list:
https://gcc.gnu.org/ml/gcc-patches/2014-10/msg01723.html. Reason why it hasn't
been applied is that Richard prefers kind of refactoring for IPA ICF that will
cover this case in purer way.

Nevertheless, feel free to apply suggested patch if it fixes your issue?

Thanks,
Martin
>From gcc-bugs-return-467927-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 21 11:57:10 2014
Return-Path: <gcc-bugs-return-467927-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 1730 invoked by alias); 21 Nov 2014 11:57:10 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 1667 invoked by uid 48); 21 Nov 2014 11:57:06 -0000
From: "trippels at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/63569] [5.0 Regression] Wrong code with volatile and ICF
Date: Fri, 21 Nov 2014 11:57:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: trippels at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: mliska at suse dot cz
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-63569-4-bztiOKPJZP@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63569-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63569-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-11/txt/msg02399.txt.bz2
Content-length: 593

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

--- Comment #5 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #4)

> There's suggested patch on mailing list:
> https://gcc.gnu.org/ml/gcc-patches/2014-10/msg01723.html. Reason why it
> hasn't been applied is that Richard prefers kind of refactoring for IPA ICF
> that will cover this case in purer way.


Sorry, I just didn't notice the URL in the headers.
Your patch fixes the issue for me.
Is there any way to make progress on this issue? 
Could you address Richi's concerns?
>From gcc-bugs-return-467928-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 21 12:06:16 2014
Return-Path: <gcc-bugs-return-467928-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 8064 invoked by alias); 21 Nov 2014 12:06:16 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 8024 invoked by uid 48); 21 Nov 2014 12:06:12 -0000
From: "nickc at redhat dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/63901] msp430 multilib must distinguish mhwmult
Date: Fri, 21 Nov 2014 12:06:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: nickc at redhat dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-63901-4-ZE8IBJCZ8t@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63901-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63901-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-11/txt/msg02400.txt.bz2
Content-length: 1059

https://gcc.gnu.org/bugzilla/show_bug.cgi?idc901

--- Comment #4 from Nick Clifton <nickc at redhat dot com> ---
Hi Peter,

> In mspgcc, TI provided a CSV file that listed every device along with all
> its characteristics.  This is still present in the GCC header bundle TI
> provides.  This in turn was processed to produce a specs fragment that
> provided rules to default all the -m* flags from a specific -mmcu= value.

Could the tool that converted the CSV file into a spec fragment be altered so
that it produces the relevent -mhwmult= option based upon an MCU input ?  Ie
would it be possible to provide the users with a tool that takes an MCU name,
reads in the CSV file and outputs the correct -mhwmult option ?  Somthing like:

  msp430-elf-gcc `gen-hwmult-opt -mmcu=foo`

If the tool was stand-alone then it would not need to be updated when the CSV
file changes, and it could work with any CSV file, old or new.

Cheers
  Nick

PS. I have applied the patch to the newlib sources so that at least that part
of the problem is resolved for now.

[Bug ipa/63569] [5.0 Regression] Wrong code with volatile and ICF

[marxin at gcc dot gnu.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 8021 bytes --]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
Problem is that IPA ICF contains compare_operand that is called recursively and
handles all tree types. Richard correctly pointed that we should split the
method to memory-related operand comparison and the rest (declarations,..).

I hope I can send the path on Monday-Tuesday next week.

Thanks,
Martin
>From gcc-bugs-return-467940-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 21 12:52:14 2014
Return-Path: <gcc-bugs-return-467940-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 21036 invoked by alias); 21 Nov 2014 12:52:14 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 20991 invoked by uid 48); 21 Nov 2014 12:52:10 -0000
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/63598] [5.0 Regression] ICE: in ipa_merge_profiles at ipa-utils.c:396
Date: Fri, 21 Nov 2014 12:52:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: marxin at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-63598-4-7ZA8Nht2XT@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63598-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63598-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-11/txt/msg02412.txt.bz2
Content-length: 296

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63598

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
Can you please check if the issue still persists?
I would appreciate further information related to PR, or do we have any GCC fam
machine I can debug it?

Thanks,
Martin
>From gcc-bugs-return-467941-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 21 13:05:57 2014
Return-Path: <gcc-bugs-return-467941-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 30982 invoked by alias); 21 Nov 2014 13:05:56 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 30674 invoked by uid 48); 21 Nov 2014 13:05:50 -0000
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/63856] [5 Regression] ICE: verify_gimple failed: invalid argument to gimple call with -O2 -fPIC
Date: Fri, 21 Nov 2014 13:05:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: marxin at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-63856-4-kuMsEGl6yv@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63856-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63856-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-11/txt/msg02413.txt.bz2
Content-length: 1342

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63856

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
I cannot reproduce the bug:
../configure --prefix=/home/marxin/Programming/bin/gcc3 --disable-multilib
--enable-languages=c,c++ --disable-bootstrap

./xgcc -B ./ -O2 -fPIC ~/Programming/testcases/PR63856/testcase.c
-fdump-ipa-icf-details

uname -a
Linux marxinbox.suse.cz 3.16.6-2-desktop #1 SMP PREEMPT Mon Oct 20 13:47:22 UTC
2014 (feb42ea) x86_64 x86_64 x86_64 GNU/Linux

gcc version 5.0.0 20141121 (experimental) (GCC) 


ipa-icf-details log:
Equal symbols: 1
Fraction of visited symbols: 33.33%

  debug message: All BBs are equal
 (equals_private:487)
Equals called for:g:f (1:0) (g:f) with result: true

Semantic equality hit:g->f
Assembler symbol names:g->f
g (v2si A, int N)
{
  vector(4) short int D.1840;

  <bb 2>:
  _2 = VIEW_CONVERT_EXPR<vector(4) short int>(A_1(D));
  D.1840 = _2;
  _6 = (long unsigned int) N_5(D);
  _7 = _6 * 2;
  _8 = &D.1840 + _7;
  _9 = *_8;
  _10 = (int) _9;
  return _10;

}


f (v2si A, int N)
{
  vector(4) short int D.1835;

  <bb 2>:
  _2 = VIEW_CONVERT_EXPR<vector(4) short int>(A_1(D));
  D.1835 = _2;
  _6 = (long unsigned int) N_5(D);
  _7 = _6 * 2;
  _8 = &D.1835 + _7;
  _9 = *_8;
  _10 = (int) _9;
  return _10;

}

Thanks,
Martin
>From gcc-bugs-return-467942-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 21 13:08:33 2014
Return-Path: <gcc-bugs-return-467942-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 1015 invoked by alias); 21 Nov 2014 13:08:33 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 955 invoked by uid 48); 21 Nov 2014 13:08:29 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/64006] __builtin_mul_overflow fails to signal overflow
Date: Fri, 21 Nov 2014 13:08:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: assigned_to attachments.created
Message-ID: <bug-64006-4-eGUjgAfK4v@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64006-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64006-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-11/txt/msg02414.txt.bz2
Content-length: 513

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd006

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 34068
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id4068&actioníit
gcc5-pr64006.patch

Untested fix.

[Bug ipa/63569] [5.0 Regression] Wrong code with volatile and ICF

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anton at samba dot org

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 64090 has been marked as a duplicate of this bug. ***

[Bug ipa/63569] [5.0 Regression] Wrong code with volatile and ICF

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ktkachov at gcc dot gnu.org

--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 64148 has been marked as a duplicate of this bug. ***

[Bug ipa/63569] [5.0 Regression] Wrong code with volatile and ICF

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu.org

--- Comment #10 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
*** Bug 64283 has been marked as a duplicate of this bug. ***

[Bug ipa/63569] [5.0 Regression] Wrong code with volatile and ICF

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

--- Comment #11 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Fri Dec 19 12:40:50 2014
New Revision: 218949

URL: https://gcc.gnu.org/viewcvs?rev=218949&root=gcc&view=rev
Log:
Fix for PR ipa/63569.

    PR ipa/63569
    * gcc.dg/ipa/pr63569.c: New test.
    PR ipa/63569
    * ipa-icf-gimple.c (func_checker::compare_operand): Add missing
    comparison for volatile flag.


Added:
    trunk/gcc/testsuite/gcc.dg/ipa/pr63569.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-icf-gimple.c
    trunk/gcc/testsuite/ChangeLog
>From gcc-bugs-return-471144-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Dec 19 12:45:34 2014
Return-Path: <gcc-bugs-return-471144-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 26718 invoked by alias); 19 Dec 2014 12:45:34 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 26647 invoked by uid 48); 19 Dec 2014 12:45:31 -0000
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/63569] [5.0 Regression] Wrong code with volatile and ICF
Date: Fri, 19 Dec 2014 12:45:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: marxin at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-63569-4-ns7CusMaT4@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63569-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63569-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-12/txt/msg02151.txt.bz2
Content-length: 443

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63569

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #12 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed in 5.0.0.
>From gcc-bugs-return-471145-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Dec 19 12:52:08 2014
Return-Path: <gcc-bugs-return-471145-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 29191 invoked by alias); 19 Dec 2014 12:52:07 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 29159 invoked by uid 48); 19 Dec 2014 12:52:03 -0000
From: "hjl.tools at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/64361] New: -fpic -mcmodel=large fails to compile testsuite_shared.cc in libstdc++
Date: Fri, 19 Dec 2014 12:52:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: hjl.tools at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter cf_gcctarget
Message-ID: <bug-64361-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-12/txt/msg02152.txt.bz2
Content-length: 5810

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd361

            Bug ID: 64361
           Summary: -fpic -mcmodel=large fails to compile
                    testsuite_shared.cc in libstdc++
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
            Target: x86-64-linux

/export/gnu/import/git/gcc-test-intel64/bld/./gcc/xg++ -shared-libgcc
-B/export/gnu/import/git/gcc-test-intel64/bld/./gcc -nostdinc++
-L/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/src
-L/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/src/.libs
-L/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/libsupc++/.libs
-B/usr/5.0.0/x86_64-unknown-linux-gnu/bin/
-B/usr/5.0.0/x86_64-unknown-linux-gnu/lib/ -isystem
/usr/5.0.0/x86_64-unknown-linux-gnu/include -isystem
/usr/5.0.0/x86_64-unknown-linux-gnu/sys-include
-B/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/./libstdc++-v3/src/.libs
-D_GLIBCXX_ASSERT -fmessage-length=0 -ffunction-sections -fdata-sections -g -O2
-D_GNU_SOURCE -DLOCALEDIR="." -nostdinc++
-I/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/x86_64-unknown-linux-gnu
-I/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include
-I/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/libsupc++
-I/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/include/backward
-I/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/testsuite/util
/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/testsuite/util/testsuite_shared.cc
-I/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/testsuite
-fno-inline -w -shared -fPIC -DPIC -lm -mcmodel=large  -o /tmp/x.so
In file included from
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/set:60:0,
                 from
/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/testsuite/util/testsuite_shared.cc:22:
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/bits/stl_tree.h:
In function \u2018std::_Rb_tree_const_iterator<_Tp>::_Self
std::_Rb_tree_const_iterator<_Tp>::operator++(int) [with _Tp = int]\u2019:
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/bits/stl_tree.h:290:7:
note: non-delegitimized UNSPEC UNSPEC_PLTOFF (9) found in variable location
       operator++(int) _GLIBCXX_NOEXCEPT
       ^
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/bits/stl_tree.h:
In function \u2018std::_Rb_tree_const_iterator<_Tp>::_Self
std::_Rb_tree_const_iterator<_Tp>::operator++(int) [with _Tp = std::pair<const
int, int>]\u2019:
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/bits/stl_tree.h:290:7:
note: non-delegitimized UNSPEC UNSPEC_PLTOFF (9) found in variable location
In file included from
/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/testsuite/util/testsuite_shared.cc:24:0:
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/ext/mt_allocator.h:
In constructor \u2018__gnu_cxx::__pool_base::_Tune::_Tune()\u2019:
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/ext/mt_allocator.h:114:7:
note: non-delegitimized UNSPEC UNSPEC_PLTOFF (9) found in variable location
       _Tune()
       ^
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/ext/mt_allocator.h:
In constructor \u2018__gnu_cxx::__pool_base::__pool_base()\u2019:
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/ext/mt_allocator.h:160:5:
note: non-delegitimized UNSPEC UNSPEC_PLTOFF (9) found in variable location
     __pool_base()
     ^
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/ext/mt_allocator.h:
In constructor \u2018__gnu_cxx::__pool<true>::__pool()\u2019:
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/ext/mt_allocator.h:364:16:
note: non-delegitimized UNSPEC UNSPEC_PLTOFF (9) found in variable location
       explicit __pool()
                ^
/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/testsuite/util/testsuite_shared.cc:
In function \u2018void __gnu_test::try_function_random_fail()\u2019:
/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/testsuite/util/testsuite_shared.cc:57:1:
note: non-delegitimized UNSPEC UNSPEC_PLTOFF (9) found in variable location
 try_function_random_fail()
 ^
/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/testsuite/util/testsuite_shared.cc:57:1:
note: non-delegitimized UNSPEC UNSPEC_PLTOFF (9) found in variable location
/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/testsuite/util/testsuite_shared.cc:57:1:
note: non-delegitimized UNSPEC UNSPEC_PLTOFF (9) found in variable location
In file included from
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/set:60:0,
                 from
/export/gnu/import/git/gcc-test-intel64/src-trunk/libstdc++-v3/testsuite/util/testsuite_shared.cc:22:
/export/gnu/import/git/gcc-test-intel64/bld/x86_64-unknown-linux-gnu/libstdc++-v3/include/bits/stl_tree.h:
In member function \u2018std::_Rb_tree_const_iterator<_Tp>::_Self&
std::_Rb_tree_const_iterator<_Tp>::operator++() [with _Tp = int;
std::_Rb_tree_const_iterator<_Tp>::_Self std::_Rb_tree_const_iterator<int>]\u2019:
....