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

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

Hi

 

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

 

::::::::::::::

int a() { return 4; }

int main() {

  ;

  abort;

}

::::::::::::::

With this error:

more PASS_BUG_INFO.TXT

creduce 2.10.0

fb91843

Linux

srg08

4.15.0-189-generic

#200-Ubuntu SMP Wed Jun 22 19:53: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-zWRcCL/fuzzer-file-100060-2022-06-10-11:07:17.c

Please consider tarring up 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.

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

 

And I tried it with 2.11:

/usr/lib/x86_64-linux-gnu/clang_delta --transformation=rename-fun --counter=1 test.c 

clang_delta: RenameFun.cpp:147: bool RenameFunVisitor::VisitDeclRefExpr(clang::DeclRefExpr*): Assertion `(I != ConsumerInstance->FunToNameMap.end()) && "Cannot find FunctionDecl!"' failed.

Aborted

/usr/lib/x86_64-linux-gnu/clang_delta --version

clang_delta 2.11.0

 

Best,

Karine