C has very loose semantics that make it difficult for a compiler to reason about code, as the saying goes, C is often little more than portable assembly. There&#x27;s a reason that CLion was a big deal when JetBrains announced it, reasoning about C&#x2F;C++ code is HARD.