[creduce-bugs] C-Reduce crashed with error: "/usr/lib/x86_64-linux-gnu/clex" rename-toks 194

["曾俊伟" <jwzeng@nuaa.edu.cn>]

Hi,

I got the following crash while reducing the program.

```

creduce 2.11.0
unknown
Linux
jwzeng-Inspiron-3020
5.15.0-84-generic
#93~20.04.1-Ubuntu SMP Wed Sep 6 16:15:40 UTC 2023
x86_64

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

pass_clex::rename-toks has encountered a bug:
crashed: "/usr/lib/x86_64-linux-gnu/clex" rename-toks 194 /tmp/creduce-Gb_AEw/test.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.

***************************************************
```

The attachment creduce_bug_000.zip contains the code that caused the crash (i.e. test.c file) and the crash information file (i.e. PASS_BUG_INFO.TXT file).

Hope the above information can be helpful to solve this bug.

Best regards,

Junwei Zeng.

Attachment: creduce_bug_000.zip
Description: Binary data