du wirst es aber nicht schon bei der compilezeit merken können, da der compiler ja noch nicht weiß, ob rec jemals > MAX_RECURSIONS ist...

das passt direkt zum Thread: Dave Hobbits Hotel ...
das ist nämlich ein Element der Menge von Problemen, die nicht gelöst werden können - zumindest nicht mit einer programmiersprache... (Stichwort: Halteproblem)