See the last two commits on: https://github.com/kframework/c-semantics/pull/558 Somewhere after 9bdeac205c4 K started not terminating when kompiling the C semantics for the LLVM backend.
See the last two commits on: kframework/c-semantics#558
Somewhere after 9bdeac2 K started not terminating when kompiling the C semantics for the LLVM backend.