The point is that the lookup table contains results for _all_ inputs to the function that have a defined result (that is, functions that do not trigger overflow

The point is that the lookup table contains results for _all_ inputs to the function that have a defined result (that is, functions that do not trigger overflow and thus undefined behaviour). In that sense, it has the same semantics as the original function although most people would not suspect that.