[creduce-bugs] Creduce crash with "access out of range" assert from clang

[creduce-bugs] Creduce crash with "access out of range" assert from clang_delta

To: "creduce-bugs@flux.utah.edu" <creduce-bugs@flux.utah.edu>

Subject: [creduce-bugs] Creduce crash with "access out of range" assert from clang_delta

From: "Even Mendoza, Karine" <k.even-mendoza@imperial.ac.uk>

Date: Mon, 7 Jun 2021 21:07:14 +0000

Accept-language: en-GB, en-US

Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=imperial.ac.uk; dmarc=pass action=none header.from=imperial.ac.uk; dkim=pass header.d=imperial.ac.uk; arc=none

Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=JoKKJ7onXa3eulHkct3lv5bWjJBzl9JfzShZoE97+Rs=; b=bjOZITsShQXzHjz1TBWKOSuZMdWDMjp3hfgepQTSLScCExJL1/4JRpNKPC7tVg60dN425lVTG95kG/7/CN/DrqQoxGC0oRu8IxDa3FXoQeM4RNhz8n75zI9uCyn9dmfAirV6EpRh+oqyyv247rLeLuSnz8vt1XpzP9sXSknYZ5XxCFI80IaOxwd+q1e4A1wbxiipGd//gXQqULQUsJu1NKK6Nu3irVRZgjaKsDzWj98A3WQ7W9E4YNHB4+1m5PdOff5bWtbfhAkbMLKQ8dqNi4143XTF1ZgDJbWVMabAbaMl5Tb8086cCTAzWXDhQNGUXTU/I78XfTQUHFLmGtpjvw==

Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=kwltL3H7g8uGBLFkdq6ADSeg4uzQAxAPBGyW0R/Gnf9zmirrbLI++Qp968peer87N/nD1Nejh1NLaOHy3xhsbeTfYuFRRT9yCLNT4gcveWjh/JOa3wiu/ngxdAAx7pknMiT3JcCjEh0NSHhRETFMTosfvsfQZ3dfJqMCv9q3w4J+VI2BXo97KvvN8yP1U6PZSAFc3bmMAkM0/qM9BumOs9jVoIIad2moH4m7+dO3+Vcee0uMcWwrQPm/fc/6kyJyyi7L0yYzahACbAvSLhl3ySk2YKMfNXsnDybGaMASAJgiAYqxkpmcFmbnFy9PAhx4tTwNVav2e4p9VvwrlXnuKQ==

Authentication-results: flux.utah.edu; dkim=none (message not signed) header.d=none;flux.utah.edu; dmarc=none action=none header.from=imperial.ac.uk;

Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=imperial.ac.uk; s=main01; h=MIME-Version:Content-Type:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=JoKKJ7onXa3eulHkct3lv5bWjJBzl9JfzShZoE97+Rs=; b=rgVFCODWv9PRQXQzFvTKYoByuN QM5JGF/aeqdP5yYELw2Q0/6kWr2p5NPQYcCJqq0lfuLdm9YXJHBBQ4hP4weFjtoTD7gCFHEYb++WZ mpWk5nvEwADGDOS+KhEEnCCuamezUwtuyyL3l43ZCKdw0ffQ7Fu9QF2D/gMQpxhTIOFg=;

Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ImperialLondon.onmicrosoft.com; s=selector2-ImperialLondon-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=JoKKJ7onXa3eulHkct3lv5bWjJBzl9JfzShZoE97+Rs=; b=JCYfi6rmkdQXQCkJxkkiDsKQBVauGP3zLYquDbkrUCxwDAD2ADtVPO9hBCwChK3bwQQU4L9LaG5Iqp5Vj5irrQJKTAjKlDAjToN0pplUf8SLDSU999bXL9pzUlHQao5k9rKH8VsRMKXur/jbnkROvzB1wmCfLy1KkKetFSFTWkE=

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>

Thread-index: Addb4LfirsJvaUgFQ/uYo3i9Ne5dyA==

Thread-topic: Creduce crash with "access out of range" assert from clang_delta

Hi,

I got the following crash while reducing a program (I attached the relevant files + my script):

```

/usr/lib/x86_64-linux-gnu/clang_delta --transformation=reduce-pointer-level --counter=1 test2240686269.c

clang_delta: /usr/lib/llvm-9/include/clang/AST/Expr.h:4420: const clang::Expr* clang::InitListExpr::getInit(unsigned int) const: Assertion `Init < getNumInits() && "Initializer access out of range!"' failed.

Aborted (core dumped)

```

Best,

Karine

Attachment: creduce_bug_001.tar.gz
Description: creduce_bug_001.tar.gz