C is not Turing-complete

Tags c, programming, semantics
Target Audience C programmers & language lawyers.
Epistemic Status Based on my interpretation of the C11 spec.
Attention Conservation Notice Because of how pointers are defined in the C standard, an isolated C program is equivalent in computational power to a pushdown automata.