cda: mark functions with loops as potentially non-returning#6
Open
vmihalko wants to merge 1 commit intostaticafi:masterfrom
Open
cda: mark functions with loops as potentially non-returning#6vmihalko wants to merge 1 commit intostaticafi:masterfrom
vmihalko wants to merge 1 commit intostaticafi:masterfrom
Commits
Commits on Mar 12, 2026
- committed
xmihalk