x86: Check unbalanced braces in memory reference
authorH.J. Lu <hjl.tools@gmail.com>
Mon, 20 Mar 2023 16:59:16 +0000 (09:59 -0700)
committerH.J. Lu <hjl.tools@gmail.com>
Tue, 21 Mar 2023 16:13:23 +0000 (09:13 -0700)
Check unbalanced braces in memory reference to avoid assembler crash
caused by

commit e87fb6a6d0cdfc0e9c471b7825c20c238c2cf506
Author: Jan Beulich <jbeulich@suse.com>
Date:   Wed Oct 5 09:16:24 2022 +0200

    x86/gas: support quoted address scale factor in AT&T syntax

PR gas/30248
* config/tc-i386.c (i386_att_operand): Check unbalanced braces
in memory reference.
* testsuite/gas/i386/i386.exp: Run pr30248.
* testsuite/gas/i386/pr30248.d: New file.
* testsuite/gas/i386/pr30248.err: Likewise.
* testsuite/gas/i386/pr30248.s: Likewise.

gas/config/tc-i386.c
gas/testsuite/gas/i386/i386.exp
gas/testsuite/gas/i386/pr30248.d [new file with mode: 0644]
gas/testsuite/gas/i386/pr30248.err [new file with mode: 0644]
gas/testsuite/gas/i386/pr30248.s [new file with mode: 0644]

index ed8329f25d8d73a8b5f61b80dc059cac699612bb..44efad73e5d28774f872c21e556b8ac5ba74e67f 100644 (file)
@@ -11613,7 +11613,11 @@ i386_att_operand (char *operand_string)
          temp_string = base_string;
 
          /* Skip past '(' and whitespace.  */
-         gas_assert (*base_string == '(');
+         if (*base_string != '(')
+           {
+             as_bad (_("unbalanced braces"));
+             return 0;
+           }
          ++base_string;
          if (is_space_char (*base_string))
            ++base_string;
index 590cd783efef5a4654b7505d0b0e0d6eae3197f8..4d2150f9c686c3533bd8cdaec9384e0462276c47 100644 (file)
@@ -752,6 +752,7 @@ run_dump_test pr19498
 run_list_test "nop-bad-1" ""
 run_list_test "unspec" ""
 run_dump_test "fp"
+run_dump_test pr30248
 if {[is_elf_format] || [istarget "*-*-vxworks*"]} then {
     run_list_test_stdin "list-1" "-al"
     run_list_test_stdin "list-2" "-al"
diff --git a/gas/testsuite/gas/i386/pr30248.d b/gas/testsuite/gas/i386/pr30248.d
new file mode 100644 (file)
index 0000000..a6efd26
--- /dev/null
@@ -0,0 +1,2 @@
+#as:
+#error_output: pr30248.err
diff --git a/gas/testsuite/gas/i386/pr30248.err b/gas/testsuite/gas/i386/pr30248.err
new file mode 100644 (file)
index 0000000..1f71543
--- /dev/null
@@ -0,0 +1,5 @@
+#failif
+
+#...
+.*Internal error.*
+#pass
diff --git a/gas/testsuite/gas/i386/pr30248.s b/gas/testsuite/gas/i386/pr30248.s
new file mode 100644 (file)
index 0000000..ab87500
--- /dev/null
@@ -0,0 +1,2 @@
+       .text
+       lgs ")"""