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

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

To: Yang Chen <chenyang@cs.utah.edu>, "creduce-bugs@flux.utah.edu" <creduce-bugs@flux.utah.edu>

Subject: Re: [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, 21 Jun 2021 09:44:25 +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=HV1s/NEKU5hvnRFrZCrhtWjzm+KgjvQgTXbis3SNlDo=; b=g76XqDM7LkDTzupH0cVXGQ9S3CIV2lqI6Lb2UB4Gwnp2BDTCI7v+1qL3jbYJw7GPEzXqiZ5I/vb/932LfMKxax4w5mo1pW2iPEZYkP8sKymQYL3qVGT4ovhD517Z6pKckBD9/E3ezQAiL1FInne1s1ukkmOSBQvwfKjCLwm9avs6LkviBVEjPUQfsG7o3FwjBvlWUVQ9+b5dwwlExBJMSxyf9kaTxGs4flgeCF67sIb31MaaWcj+QSU2STy660ot+T517cs6hxuu/IT3G4A0RF556hqQf7G8VX6nfmulU1Ufun3i9Ly7CncS2IjOWzaoW3P+DpLcMOL5zN90OjdPyA==

Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=kyBhlN8UrLvywX1aOmyjLUVxnjBwCzatnXh1nYNZIKvM7gUNylGGPqY+t+UJmHqiYKwSWS1xjG5cnSqawtobXXwA3WnIpB6ltyKnV17QAOHLBI0aqcG9wcncc4W3lnMoEUo4jk3XwjhFBM3dngLnMBMF/G3zBnCDHHDDxNf/7ox/mGobYro9085zXmFcZsok6pn3ONjEHZ1dk92HgQSHbRxm5f6B8+Z/pgIKsxwDMot1e5H3BdoWThq1t2c+8TiFKSxkRCl/Lc4DjGF7L5wzSjQLHeSavGzRBuAAADdLzRLyzJ4GJHGYNcm/goEWE33Q8Xo7yn8w3PZz5sw7xD0fcA==

Authentication-results: cs.utah.edu; dkim=none (message not signed) header.d=none; cs.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:In-Reply-To: References: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:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=HV1s/NEKU5hvnRFrZCrhtWjzm+KgjvQgTXbis3SNlDo=; b=ksPsUDs6cUgKjz/BuPZJgvpUl5 sw9KeziP+lBIPXXiKHIEBvXZxawFuGms9nn5Tkvl+JCKaUzIR2yoa+gAmWDtG5476GkxwvI0rOL/0 in72PgMERqxJGdjoWlDGx9TwVNJQDvEerUBwcZHc33myFLpJciIAOaAFoRHNcZqPpK1s=;

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=HV1s/NEKU5hvnRFrZCrhtWjzm+KgjvQgTXbis3SNlDo=; b=VE5pmAorMZSWnCpL2eqDPB0aFoK1ON4GEL8ueqA3DpQxsSUGCmpDvo6b0GaoqGv6s8k6oji+CGyKe1b+aAO+YLDU8L9cl7Le5wZaMPaTfoLv9YZJPEoEy+AIxZxwBjXHS3tnCRBOt1jpgAsc5rZyoc2nlr8UPat7y2N21UdBV9w=

In-reply-to: <VI1PR06MB3104B26212D0BD54EAFD8262E70A9@VI1PR06MB3104.eurprd06.prod.outlook.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: <VI1PR06MB3104644E91795A5BDA0DFA90E7389@VI1PR06MB3104.eurprd06.prod.outlook.com> <ecfbfe43-9f6e-a020-3506-0c8d552d178a@cs.utah.edu> <VI1PR06MB3104B26212D0BD54EAFD8262E70A9@VI1PR06MB3104.eurprd06.prod.outlook.com>

Thread-index: Addb3yV9PXPQZN6vRrGRxGNg4gLXjQJ2X1KAADIurtAAACD/MA==

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

Hi Yang,

But I can see it is the same issue as the other one fixed in this commit: fe7b2a8.

Thanks,

Karine

From: Even Mendoza, Karine
Sent: 21 June 2021 10:42
To: Yang Chen <chenyang@cs.utah.edu>; creduce-bugs@flux.utah.edu
Subject: RE: [creduce-bugs] Creduce crashed with "Error: Unsupported file type!" from pass_clang::reduce-pointer-level

Hi Yang,

Yes, it was a typo in the email itself. Sorry for that.

However, when running it (without typos!), I still get an error:

I still have this machine running, so if you need any additional information please let me know.

Thanks,

Karine

From: Yang Chen <chenyang@cs.utah.edu>
Sent: 20 June 2021 10:43
To: Even Mendoza, Karine <k.even-mendoza@imperial.ac.uk>; creduce-bugs@flux.utah.edu
Subject: Re: [creduce-bugs] Creduce crashed with "Error: Unsupported file type!" from pass_clang::reduce-pointer-level

This email from chenyang@cs.utah.edu originates from outside Imperial. Do not click on links and attachments unless you recognise the sender. If you trust the sender, add them to your safe senders list to disable email stamping for this address.

Thanks for the report, Karine.

Seems the error was triggered by some missing space between --counter=2 and the test input test2240686269.c, so the behavior was expected.

- Yang

On 6/7/21 2:02 PM, Even Mendoza, Karine wrote:

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