From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 96E283894C39; Mon, 12 Apr 2021 11:08:14 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 96E283894C39
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/100041] ICE in curr_insn_transform, at
 lra-constraints.c:4022
Date: Mon, 12 Apr 2021 11:08:14 +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: 10.3.0
X-Bugzilla-Keywords: ice-on-valid-code, needs-reduction
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
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-100041-4-iGU2aQHqXx@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-100041-4@http.gcc.gnu.org/bugzilla/>
References: <bug-100041-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-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Mon, 12 Apr 2021 11:08:14 -0000

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

--- Comment #14 from Martin Li=C5=A1ka <marxin at gcc dot gnu.org> ---
Reduced test-case:

$ cat itanium.ii
template <typename _Tp> _Tp forward();
void snprintf(...);
struct StringView {
  StringView(char *);
};
struct Trans_NS_itanium_demangle_Node {
  enum Kind {};
  Trans_NS_itanium_demangle_Node(Kind);
};
struct FloatLiteralImpl : Trans_NS_itanium_demangle_Node {
  StringView Contents;
  Kind KindForClass;
  FloatLiteralImpl(StringView Contents_)
      : Trans_NS_itanium_demangle_Node(KindForClass), Contents(Contents_) {
    union {
      long double value;
    };
    snprintf(value);
  }
};
template <typename> struct ManglingParser;
class CanonicalizerAllocator;
template <typename, typename Alloc> struct AbstractManglingParser {
  char First;
  Alloc ASTAllocator;
  ManglingParser<CanonicalizerAllocator> getDerived();
  template <class... Args> void make(Args...) {
    ASTAllocator.template makeNode<int>(forward<Args>()...);
  }
  template <class> Trans_NS_itanium_demangle_Node *parseFloatingLiteral();
  Trans_NS_itanium_demangle_Node *parse();
};
template <typename Alloc, typename Derived>
template <class>
Trans_NS_itanium_demangle_Node *
AbstractManglingParser<Alloc, Derived>::parseFloatingLiteral() {
  StringView Data(&First);
  make(Data);
  return 0;
}
template <typename Derived, typename Alloc>
Trans_NS_itanium_demangle_Node *
AbstractManglingParser<Derived, Alloc>::parse() {
  getDerived().template parseFloatingLiteral<double>();
  return 0;
}
template <typename Alloc>
struct ManglingParser : AbstractManglingParser<int, Alloc> {};
struct CanonicalizerAllocator {
  template <typename Args> void makeNodeSimple(Args);
  struct MakeNodeImpl {
    CanonicalizerAllocator &Self;
    template <typename... Args> void make(Args...) {
      Self.makeNodeSimple<FloatLiteralImpl>(forward<Args>()...);
    }
  };
  template <typename, typename... Args> void makeNode(Args...) {
    MakeNodeImpl{*this}.make(forward<Args>()...);
  }
};
using CanonicalizingDemangler =3D ManglingParser<int>;
CanonicalizingDemangler parseMaybeMangledName_Demangler;
void parseMaybeMangledName() { parseMaybeMangledName_Demangler.parse(); }=