| 47 | } |
| 48 | |
| 49 | std::optional<u256> KnowledgeBase::differenceIfKnownConstant(YulName _a, YulName _b) |
| 50 | { |
| 51 | VariableOffset offA = explore(_a); |
| 52 | VariableOffset offB = explore(_b); |
| 53 | if (offA.reference == offB.reference) |
| 54 | return offA.offset - offB.offset; |
| 55 | else |
| 56 | return std::nullopt; |
| 57 | } |
| 58 | |
| 59 | |
| 60 | bool KnowledgeBase::knownToBeDifferentByAtLeast32(YulName _a, YulName _b) |
no outgoing calls