Short range oh skips a block in a path if there is a use of function argument in a block. However if a non-hashable instruction is using an argument, block can be processed.
Hashable instructions currently are: CmpInst, ReturnInst, LoadInst, StoreInst, addition instruction, CallInst, InvokeInst and GetElemenentPtrInst. A block should be skipped by short range oh only if an argument is used by one of the mentioned instruction types.
Short range oh skips a block in a path if there is a use of function argument in a block. However if a non-hashable instruction is using an argument, block can be processed. Hashable instructions currently are: CmpInst, ReturnInst, LoadInst, StoreInst, addition instruction, CallInst, InvokeInst and GetElemenentPtrInst. A block should be skipped by short range oh only if an argument is used by one of the mentioned instruction types.