Hi Karine,
Thanks for the additional information. Yes, it's the same issue fixed in
f27b2a8.
- Yang
On 6/21/21 2:44 AM, Even Mendoza, Karine wrote:
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 <[email protected]>; [email protected]
*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 <[email protected] <mailto:[email protected]>>
*Sent:* 20 June 2021 10:43
*To:* Even Mendoza, Karine <[email protected]
<mailto:[email protected]>>; [email protected]
<mailto:[email protected]>
*Subject:* Re: [creduce-bugs] Creduce crashed with "Error: Unsupported
file type!" from pass_clang::reduce-pointer-level
This email from [email protected]
<mailto:[email protected]>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
<https://spam.ic.ac.uk/SpamConsole/Senders.aspx>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