Is there an example of this? I know there's several areas where Cpython has some funky undefined behavior, but those aren't particularly notable because they're by definition implemention dependent.
Isn't fixed width integers as compared to arbitrary width an example of this?
The 2**64 example given here is exactly right. You don't need undefined behavior or language lawyering to hit the difference; you just need a 65 element bitset.