ubsan: aarch64 parse_vector_reg_list
authorAlan Modra <amodra@gmail.com>
Fri, 31 Mar 2023 04:49:10 +0000 (15:19 +1030)
committerAlan Modra <amodra@gmail.com>
Sun, 2 Apr 2023 22:13:14 +0000 (07:43 +0930)
tc-aarch64.c:1473:27: runtime error: left shift of 7 by 30 places
cannot be represented in type 'int'.

* config/tc-aarch64.c (parse_vector_reg_list): Avoid UB left
shift.

gas/config/tc-aarch64.c

index 747cf37d4b87e85881999e37e42e78c7c4f17e67..99fb5de267960cac694128357bf7f6cf3576b96c 100644 (file)
@@ -1393,7 +1393,7 @@ parse_vector_reg_list (char **ccp, aarch64_reg_type type,
   char *str = *ccp;
   int nb_regs;
   struct vector_type_el typeinfo, typeinfo_first;
-  int val, val_range, mask;
+  uint32_t val, val_range, mask;
   int in_range;
   int ret_val;
   bool error = false;
@@ -1414,8 +1414,8 @@ parse_vector_reg_list (char **ccp, aarch64_reg_type type,
   typeinfo_first.element_size = 0;
   typeinfo_first.index = 0;
   ret_val = 0;
-  val = -1;
-  val_range = -1;
+  val = -1u;
+  val_range = -1u;
   in_range = 0;
   mask = reg_type_mask (type);
   do
@@ -1470,7 +1470,7 @@ parse_vector_reg_list (char **ccp, aarch64_reg_type type,
       if (! error)
        for (;;)
          {
-           ret_val |= val_range << (5 * nb_regs);
+           ret_val |= val_range << ((5 * nb_regs) & 31);
            nb_regs++;
            if (val_range == val)
              break;