[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] C-Reduce crashed with error: "/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=rename-fun --counter=1

Thanks! By the way, I have found another instance of this bug:
::::::::::::::
PASS_BUG_INFO.TXT
::::::::::::::
creduce 2.10.0
fb91843
Linux
srg08
4.15.0-197-generic
#208-Ubuntu SMP Tue Nov 1 17:23:37 UTC 2022
x86_64

***************************************************

pass_clang::rename-fun has encountered a bug:
crashed: "/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=rename-fun --counter=1 /tmp/creduce-9rSOB9/fuzzer-file-10630-2022-06-09-23:30:57.c

Please consider tarring up /home/user42/directed-compiler-fuzzing-code/scripts/4-reduce-general-spots-reaching-files-copy/creduce_bug_000
and mailing it to creduce-bugs@flux.utah.edu and we will try to fix
the bug.

This bug is not fatal, C-Reduce will continue to execute.

***************************************************

::::::::::::::
fuzzer-file-10630-2022-06-09-23:30:57.c
::::::::::::::
#include "csmith.h"
#include <stdio.h>
int main() {
  safe_add_func_int32_t_s_s(0 && 6, 3048);
  for (;; printf, 'a')
    return 0;
}

With this error when trying to run clang-delta:
/usr/lib/x86_64-linux-gnu/clang_delta --transformation=rename-fun --counter=1 fuzzer-file-10630-2022-06-09-23:30:57.c -I/home/user42/llvm-csmith-1/csmith/runtime/ -I/home/user42/llvm-csmith-1/csmith/build/runtime/
clang_delta: TransformationManager.h:70: void TransformationManager::setSrcFileName(const string&): Assertion `SrcFileName.empty() && "Could only process one file each time"' failed.
Aborted

-----Original Message-----
From: Eric Eide <eeide@cs.utah.edu> 
Sent: 02 November 2022 15:28
To: Even Mendoza, Karine <k.even-mendoza@imperial.ac.uk>
Cc: C-Reduce Bugs Mailing List <creduce-bugs@flux.utah.edu>
Subject: Re: C-Reduce crashed with error: "/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=rename-fun --counter=1


*******************
This email 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.
*******************
Karine Even Mendoza <k.even-mendoza@imperial.ac.uk> writes:

> The following code crashed C-Reduce (tried 2.10 and 2.11), see the 
> details below.

Thank you for your bug report!

This is just a quick reply to say that we received your report.

Thanks again ---

Eric.

--
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>   .        University of Utah School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 .   Salt Lake City, Utah, USA