tree f9676bde89c7eae8c5a9fe47c7405ca4325a1f8d
parent 6ac5cbdd29b630259432fc5b478cd2ddf78a17cd
author Fangrui Song <i@maskray.me> 1743876972 -0700
committer Fangrui Song <i@maskray.me> 1743876972 -0700

[MC] Rework evaluateSymbolicAdd to eliminate MCValue::SymB reliance

Reworked evaluateSymbolicAdd and isSymbolRefDifferenceFullyResolved to
remove their reliance on MCValue::SymB, which previously used the
MCSymbolRefExpr member when folding two symbolic expressions. This
dependency prevented replacing MCValue::SymB with a MCSymbol. By
refactoring, we enable this replacement, which is a more significant
improvement.

Note that this change eliminates the rare "unsupported subtraction of
qualified symbol" diagnostic, resulting in a minor loss of information.
However, the benefit of enabling MCValue::SymB replacement with MCSymbol
outweighs this slight regression.