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

[Even Mendoza, Karine]

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<mailto: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