Attention is currently required from: Angel Pons, Light, Nikolai Artemiev.

View Change

1 comment:

• Patchset:

  • Patch Set #4:

    Heh, a third solution comes to mind. Sorry if this is getting too
    theoretical. Just ignore this comment at your convenience. ;)

    Prove that it can't happen and ignore the tool. I think that is possible. My reasoning:

    • If `bp_bit_count == 0`, then `bp == 0` and the error path isn't taken.
    • If `bp_bit_count == 1`, then either `bp == 0` or `bp == 1 == bp_max` and the error path isn't taken.

To view, visit change 62733. To unsubscribe, or for help writing mail filters, visit settings.