[ADR] Path-sensitive loop control-flow and first-iteration sync convergence#607

TaoTao-real wants to merge 2 commits intohw-native-sys:mainhw-native-sys/PTOAS:mainfrom

TaoTao-real:codex/adr-loop-controlflow-firstiter-syncTaoTao-real/PTOAS:codex/adr-loop-controlflow-firstiter-syncCopy head branch name to clipboard