-
Notifications
You must be signed in to change notification settings - Fork 137
Open
Labels
Description
ran into this
creduce 2.11.0
unknown
Linux
folkertdev
6.8.0-40-generic
#40-Ubuntu SMP PREEMPT_DYNAMIC Fri Jul 5 10:34:03 UTC 2024
x86_64
***************************************************
pass_clang::remove-unused-function has encountered a bug:
crashed: "/usr/libexec/clang_delta" --transformation=remove-unused-function --counter=1 /tmp/creduce-vSosnk/input.c
Please consider tarring up /home/folkertdev/c/c-reduce-experiments/creduce_bug_000
and mailing it to [email protected] and we will try to fix
the bug.
This bug is not fatal, C-Reduce will continue to execute.
***************************************************
on this input file https://gist.github.com/folkertdev/2d0399e92c88340a30109e55b1430961
emaxx-google