[creduce-bugs] Creduce crashed with "Error: Unsupported file type!" from pass

[creduce-bugs] Creduce crashed with "Error: Unsupported file type!" from pass_clang::reduce-pointer-level

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

Subject: [creduce-bugs] Creduce crashed with "Error: Unsupported file type!" from pass_clang::reduce-pointer-level

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

Date: Mon, 7 Jun 2021 21:02: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=Hii0S1fHs+6TQQzfIW+JPEWEr9Ghcdvgy13fQkvAyXc=; b=FZowy2no/s40Q8s59edUWli7VlwSXMJm8KPLJzem/jlm5SF37AtbovdkMwZ+dXxOi0IWl2zXJWZvsgkW+c3L/I0b3AhZKdU3u9CvitZSJtsiAjW/DtvxtteZlS67SUN4LiFfQBRzBTKHbDBKq/dOvVaw2CX19sX8wzVs+2h0X8vmSXdHddx/XlG/c1c5e8b83rHHQ9IWbT0anRoumGOJnHM7OGD4+b22ELzrrGGBgmQnfcTKDaOnlcMXrqGaac7d02DvQUZGLXcLIVM19Qqw4fbcR1eCP8tE0iUsb7AGBvLBSaadtsHBso919lBGIukb+OQtPQ/8PpED8jMTm/v0SQ==

Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=PwXE3h4JrpSJOEEmX9l/mM5RvI50dENuoiu4L1yWecHBoexJNTae4a1zKSvouUtKxeHciYApz/lgOdqFqnIZ7/9QZpdYdlGAgYblgCIlom+2FtjAw+qE2Oi1HXn6Su3waqPRQs5wb2r3LgWzMG45afBYZu2iKsyqXRQpL4vtljV2mFwQQDFbVuC2BRyc1jtrKwKE2RUGq0ao7glvC+lejI+4ZvxqBdsrhQtOYxy8Hl5fGp9JwDj2kEgNiUaA6hnM5FaNUjMBP7EujqFyDBnk2ORqM15aAv6EPuN4uLRcZ4luO0u/fqdreXUJg+9ekrgLFw3iDcseAr5/40rVDWc+Hw==

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=Hii0S1fHs+6TQQzfIW+JPEWEr9Ghcdvgy13fQkvAyXc=; b=h4KRhpZWFawEvLETAZrFKSSK98 FS+H3vRjWtdK5jWUaz5yQpKS4OIB/lxF+lJ5czmCOEoZLbDfHl7Ehq4LDlJk0cATEqdGWMQy7zVLm mxX2RH+JkEZZNJNPdMgiCZFN4M5mBe3svUg+TbU9k7csxGppauF0nTFVa18s2kFJ149M=;

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=Hii0S1fHs+6TQQzfIW+JPEWEr9Ghcdvgy13fQkvAyXc=; b=JCyjBScir8CRQDSRguoeslfhMdWfzCFgMoMizZ0SvnsP65f97u7eCdTWwIfOxBonOTLoGe3X4MSsTcprlfQWZXjW/+wDEaE8Q/gBVGorqDbS6ZT+bSPze+8IpIsGLAVSf6i9zZ6U0Ua55bC7+62iZY0iC5AOc/nx2Ogn18MY0Ig=

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: Addb3yV9PXPQZN6vRrGRxGNg4gLXjQ==

Thread-topic: Creduce crashed with "Error: Unsupported file type!" from pass_clang::reduce-pointer-level

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=2test2240686269.c

Error: Unsupported file type!

```

Best,

Karine

Attachment: creduce_bug_000.tar.gz
Description: creduce_bug_000.tar.gz