cda: mark functions with loops as potentially non-returning - #6

cda: mark functions with loops as potentially non-returning#6

vmihalko wants to merge 1 commit into

staticafi:masterstaticafi/dg:masterfrom

vmihalko:vmihalko-termination-fixvmihalko/dg:vmihalko-termination-fixCopy head branch name to clipboard