Some paths can't be found in theory, for example a jump table, since you don't know ahead of time the actual range of index that might come down the pipe.
To make it really intractable, some jump tables are dynamically constructed by any conceivable algorithm.