Bound the recursion depth of heuristic size_stmt in RTLgen#519

xavierleroy merged 1 commit intomasterAbsInt/CompCert:masterfrom

size_stmt_heuristicAbsInt/CompCert:size_stmt_heuristicCopy head branch name to clipboard