• MangoCats@feddit.it
    link
    fedilink
    English
    arrow-up
    2
    ·
    6 hours ago

    The question the optimizer can’t really answer is: will Random.nextInt() ever return 10? If that’s a 64 bit integer it could be a LOOOOOONG time before 10 ever shows up.