Re: [creduce-bugs] Creduce bug(s) in template-non-type-arg-to-int and template-arg-to-int transformations.

To: creduce-bugs@flux.utah.edu
Subject: Re: [creduce-bugs] Creduce bug(s) in template-non-type-arg-to-int and template-arg-to-int transformations.
From: Dmitry Babokin <babokin@gmail.com>
Date: Wed, 4 Oct 2017 23:01:23 -0700
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=fNMDruXFi0aQyICdp2Zm32/ULcR0xjWsyN/WgqYQrns=; b=egIN2YuEVr9L8AgYSlFJLcodm354UjtohByuJ5l5aI3zU7kuecW4Bz5lchguUL8PGR 5Ta0loXqCfC1AWouvfKTc8ZGoIcmvE5RuDOyYXCMQW2HcvRaI40V2lwmwyNstq/4Jpqc O1fMy4J5wI8iv5j8if5KY2ig7DRPrwGy2PMNHIYiOZ5CZlb7/SfkRXJZaF5bd0i7uUFS DWUOCWCM656RhjbzLsCvGSslpwPbxmZx3Hz9c1o65OcpQjlIv1iR6Uz03XI8OKQfYuT7 mbKzOguX1JZxQ470eN5Dr5LwYZGs67u183tbtefZu6x06LkZuFDNEo2r3xvSkZ1dhjPS hKwA==
In-reply-to: <CACRFwugWtkSoU16uLjvZYb53g6en+05=7=uzSW2psfnFoB=e-w@mail.gmail.com>
List-archive: </listarchives/creduce-bugs>
List-help: <mailto:creduce-bugs-request@flux.utah.edu?subject=help>
List-id: C-Reduce Bugs Mailing List <creduce-bugs.flux.utah.edu>
List-post: <mailto:creduce-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=unsubscribe>
References: <CACRFwugWtkSoU16uLjvZYb53g6en+05=7=uzSW2psfnFoB=e-w@mail.gmail.com>

And one more fail, which may or may not be related. This time copy-propagation has failed.

On Wed, Oct 4, 2017 at 10:46 PM, Dmitry Babokin <babokin@gmail.com> wrote:

creduce 2.8.0 (87b9a79)

Reproducers are attached.

Attachment: creduce_bug_copy_prop.tar.xz
Description: Binary data

References:
- [creduce-bugs] Creduce bug(s) in template-non-type-arg-to-int and template-arg-to-int transformations.
  - From: Dmitry Babokin <babokin@gmail.com>