push
github
Merge pull request #13443 from omoerbeek/rec-coverity-20231101 rec: fix coverity 1523746 and 1523745
31202 of 84916 branches covered (0.0%)
Branch coverage included in aggregate %.
1 of 1 new or added line in 1 file covered. (100.0%)
23 existing lines in 7 files now uncovered.105283 of 152954 relevant lines covered (68.83%)
3466069.77 hits per line