You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, a symbol size mismatch will error and halt the diff. This is annoying for symbols where the true size was discovered and symbols.txt hasn't yet been updated to reflect. If the next symbol is still at the correct address (meaning that alignment was not broken), omit a warning instead and continue.
The text was updated successfully, but these errors were encountered:
encounter
changed the title
ninja diff: Conditionally warn on symbol size mismatchdol diff: Conditionally warn on symbol size mismatch
Jan 24, 2024
Right now, a symbol size mismatch will error and halt the diff. This is annoying for symbols where the true size was discovered and
symbols.txt
hasn't yet been updated to reflect. If the next symbol is still at the correct address (meaning that alignment was not broken), omit a warning instead and continue.The text was updated successfully, but these errors were encountered: