[creduce-bugs] pass_clang::simplify-if bug on creduce 2.6.0 (b02c375)

To: creduce-bugs@flux.utah.edu
Subject: [creduce-bugs] pass_clang::simplify-if bug on creduce 2.6.0 (b02c375)
From: Dmitry Babokin <babokin@gmail.com>
Date: Thu, 16 Mar 2017 16:18:04 -0700
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=OfgyLP0jaBDzX/HTk5cpRE8nwjrh7kWG1lGSlmeJuss=; b=d2TYqgGV9GLJgFa/WQDtuDYIHHvk6xRPl4zNpXaJKdsctmf60px/JcxC7slkaV4bkv idpEjNpnGNWUclcgeZc/UWE9EC3gJbaMUzcMWttZ9ZTJAe0ZAg5WZLnu8l3FaXKh4mDs D99TNL2kELw4K9EXYbF4OOmdYIMjGUN95KxUCQEGYhxzEw8KnvglXTKS/A8oQPAH0Rb7 VsOZ90dtrs1M364ahws0yQt3lSPXvQt2y/MwGTRKXwyQyUY2X0qY8FtiyPWEGKwnfBFZ CWE8VMn8UfY/45oqxTQrInmRLBPVXhBERw8F82NvXRBPzJBEJuLjG3+KdXeNP1F3c3G7 inDQ==
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>

Hello,

The bug report is attached. I see a bunch of such bugs. Creduce was built from sources.

Dmitry.

Attachment: creduce_bug_003.tar
Description: Unix tar archive

Follow-Ups:
- Re: [creduce-bugs] pass_clang::simplify-if bug on creduce 2.6.0 (b02c375)
  - From: Yang Chen <chenyang@cs.utah.edu>