| |||||||||||||
C89 includes blocks you know...C89 includes blocks you know...Posted Jun 19, 2008 17:23 UTC (Thu) by jlokier (guest, #52227)In reply to: C89 includes blocks you know... by davecb Parent article: Implications of pure and constant functions
Hardly. C code with blocks and variables declared inside blocks is trivially convertible to a flat function with all variables at the start, and in trivial time. Same goes for the control flow blocks: they are trivially replacable with if (variable) gotos. So the proof difficulty is identical with/without blocks and local declarations in the language.
(Log in to post comments)
|
|||||||||||||