There is nothing ironic in letting an llm have a pass at identifying potential UB and other correctness issues in C code.

I say this as an experienced C developer.

It is ironic because the behaviour of an LLM itself is UB. Guaranteed.