chisa22

I encountered a miscompilation bug when transpiling a C program that uses **Statement Expressions** (`({ ... })`) containing internal control flow (`goto`). `c2rust` correctly identifies the need for a block,...