> coverity pointed out the infinite loop below. > I guess it is unreachable or at least hard to reach, > or it would have been reported/fixed before now: Would you mind opening a PR with bugzilla? -- Eric Botcazou