[Bug c/43690] New: Internal compiler error detected by avr-gcc.

[Bug c/43690] New: Internal compiler error detected by avr-gcc.

[philippe dot hoogvorst at neuf dot fr]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2047 bytes --]

========================================================================================
> avr-gcc -v
Using built-in specs.
Target: avr
Configured with: ../src/configure -v --enable-languages=c,c++ --prefix=/usr/lib
--infodi--mandir=/usr/share/man --bindir=/usr/bin --libexecdir=/usr/lib
--libdir=/usr/lib --enabystem-zlib --enable-long-long --enable-nls
--without-included-gettext --disable-checking--build=i486-linux-gnu
--host=i486-linux-gnu --target=avr
Thread model: single
gcc version 4.3.4 (GCC) 
========================================================================================
Minimal source code causing the bug, removing any token makes the compiler work
OK. No header is to be included into this code to see the bug.
-----------
void doit( )
{
    char *pk=0 ;
    for(;;)
    {
        asm ( "nop" : :"m"(pk++) );
        asm ( "nop" : :"m"(pk++) );
    }
}
========================================================================================
> avr-gcc -Wall -mmcu=atmega128 -O3  -c -o /dev/null  /tmp/present-wddl-both-encrypt.c
/tmp/present-wddl-both-encrypt.c: In function ‘doit’:
/tmp/present-wddl-both-encrypt.c:2: internal compiler error: in
copy_reference_ops_from_ref, at tree-ssa-sccvn.c:577
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
========================================================================================
Note that removing "-Wall" does not remove the bug but that removing "-O3"
makes the compiler work OK.

Best regards.


-- 
           Summary: Internal compiler error detected by avr-gcc.
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: philippe dot hoogvorst at neuf dot fr
 GCC build triplet: i486-linux-gnu
  GCC host triplet: i486-linux-gnu
GCC target triplet: avr


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43690

[Bug middle-end/43690] [4.3/4.4/4.5 Regression] Internal compiler error detected by avr-gcc.

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2010-04-08 15:11 -------
Well, we have not properly gimplified the invalid function:

doit ()
{
  char * pk;
  char * pk.1;
  char * pk.0;

<bb 2>:
  pk = 0B;

<bb 3>:
  __asm__ __volatile__("nop"::"m" pk);
  pk = pk + 1;
  pk.0 = pk;
  __asm__ __volatile__("nop"::"m" pk.0);
  pk.1 = pk.0 + 1;
  pk = pk.1;
  goto <bb 3>;


pk is addressable, so pk + 1 needs to load from pk first.

3.4.x prints

t.i: In function `doit':
t.i:6: warning: use of memory input without lvalue in asm operand 0 is
deprecated
t.i:7: warning: use of memory input without lvalue in asm operand 0 is
deprecated
t.i:6: error: impossible constraint in `asm'
t.i:7: error: impossible constraint in `asm'

so we ICE on the invalid asm.

We also fail to diagnose this with newer compilers (but the gimple verifier
triggers with checking enabled).


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|c                           |middle-end
     Ever Confirmed|0                           |1
  GCC build triplet|i486-linux-gnu              |
   GCC host triplet|i486-linux-gnu              |
 GCC target triplet|avr                         |
           Keywords|                            |diagnostic, ice-on-invalid-
                   |                            |code
      Known to fail|                            |4.1.2 4.3.4 4.4.4 4.5.0
                   |                            |4.6.0
      Known to work|                            |3.4.6
   Last reconfirmed|0000-00-00 00:00:00         |2010-04-08 15:11:43
               date|                            |
            Summary|Internal compiler error     |[4.3/4.4/4.5 Regression]
                   |detected by avr-gcc.        |Internal compiler error
                   |                            |detected by avr-gcc.
   Target Milestone|---                         |4.3.5


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43690

[Bug middle-end/43690] [4.3/4.4/4.5 Regression] Internal compiler error detected by avr-gcc.

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43690

[Bug middle-end/43690] [4.3/4.4/4.5 Regression] Internal compiler error detected by avr-gcc.

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2010-04-12 09:44 -------
Created an attachment (id=20362)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20362&action=view)
gcc46-pr43690.patch

This is very ugly.  Either we should reject all these during gimplification
("m" (x+1) is also rejected during gimplification), or for
POST{IN,DE}CREMENT_EXPR we could mark its operand as addressable in the FEs
(but that wouldn't solve PRE{IN,DE}CREMENT_EXPR which would ICE anyway).  Or
FEs would need to reject this.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43690

[Bug middle-end/43690] [4.3/4.4/4.5 Regression] Internal compiler error detected by avr-gcc.

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2010-05-22 18:14 -------
GCC 4.3.5 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.5                       |4.3.6


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43690

[Bug middle-end/43690] [4.3/4.4/4.5 Regression] Internal compiler error detected by avr-gcc.

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43690

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.6.0
            Summary|[4.3/4.4/4.5/4.6            |[4.3/4.4/4.5 Regression]
                   |Regression] Internal        |Internal compiler error
                   |compiler error detected by  |detected by avr-gcc.
                   |avr-gcc.                    |
      Known to fail|4.6.0                       |

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-05 11:31:49 UTC ---
Fixed on the trunk.

[Bug middle-end/43690] [4.3/4.4/4.5 Regression] Internal compiler error detected by avr-gcc.

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43690

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-11 20:36:54 UTC ---
Author: jakub
Date: Thu Nov 11 20:36:49 2010
New Revision: 166617

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166617
Log:
    Backport from mainline
    2010-11-05  Jakub Jelinek  <jakub@redhat.com>

    PR middle-end/43690
    * gimplify.c (gimplify_asm_expr): If a "m" input is a
    {pre,post}{in,de}crement, fail.

    * c-c++-common/pr43690.c: New test.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/c-c++-common/pr43690.c
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/gimplify.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog