translating Objective C to C

Hello, Cristiano

Has anyone tried to do the same? (I can provide the specific source,
but I don't think it matters).

Please provide a llvm-gcc output (main.bc) and fill a PR in LLVM
bugzilla. This looks like either llvm-gcc or cbe bug.