For the first block, result can't be equal to 0 because the condition is already defined in the for.
For the second block, the len is always incremented (at least by 1) or equal to 0.
Coverage increased (+0.2%) to 93.351% when pulling 311a22c7a7e5518e06b0efb2ec6eb5aec453aaf2 on ecrin4102:master into a077a73a54ee0e789d7f39fc1587f20cb0cfd545 on j123b567:master.
For the first block, result can't be equal to 0 because the condition is already defined in the for. For the second block, the len is always incremented (at least by 1) or equal to 0.