Merge branch 'junghee/test-lea-sym-minus-sym' into 'main'

Junghee/test lea sym minus sym

See merge request rewriting/ddisasm!1231

CHANGELOG.md

@@ -21,11 +21,11 @@
   sections
 * Fix 16-Thumb STM instructions considered to be invalid if the same register
   is used in reglist and register operands with writeback enabled.
-* Fixed bug that could result in missed symbolic expressions with TLS variables for `local-executable` TLS model
+* Fix bug that could result in missed symbolic expressions with TLS variables for `local-executable` TLS model
 * Fix bug that caused assembling error due to wrong `symbol_minus_symbol`
   for lsda entries with references to the end of `.gcc_except_table`
 * Generate alignments for function entry blocks depending on address
-* Fixed bug that could result in missed symbolic expressions
+* Fix bug that could result in missed symbolic expressions
   (`symbol_minus_symbol`) in LEA
 
 # 1.9.0

src/datalog/symbolization.dl

@@ -417,8 +417,8 @@ symbol_minus_symbol_candidate(EA,Size,Symbol1,Symbol2,as(Scale,unsigned),Offset)
 // Similarly, before line 6, R9's value is the address of .L_4.
 // After line 6 (.L_4 - 7 = .L3), R9's value is .L_3.
 //
-// The displacements ini the indirect operands for both the LEAs
-// at line 2 and 6 need to be symbolized as
+// The displacements in the indirect operands for both the LEAs
+// at lines 2 and 6 need to be symbolized as
 // leaq (.L_4 - .L_1)(%r9), %r9
 // and
 // leaq (.L_3 - .L_4)(%r9), %r9

tests/linux-elf-x64.yaml

@@ -518,6 +518,12 @@ tests:
   - name: ex_tls_local_exec
     <<: *assembly
 
+  - name: ex_sym_minus_sym
+    <<: *assembly
+    test:
+      <<: *default-test
+      cfg_checks: []
+
   # ----------------------------------------------------------------------------
   # Assembly examples. (stripped)
   # ----------------------------------------------------------------------------
@@ -611,6 +617,13 @@ tests:
     <<: *assembly
     <<: *test-strip-default
 
+  - name: ex_sym_minus_sym
+    <<: *assembly
+    <<: *test-strip-default
+    test:
+      <<: *default-test
+      cfg_checks: []
+
   # ----------------------------------------------------------------------------
   # Relocatable ELF objects (.o).
   # ----------------------------------------------------------------------------