ubsan: s_app_line integer overflow
authorAlan Modra <amodra@gmail.com>
Wed, 16 Feb 2022 00:00:46 +0000 (10:30 +1030)
committerAlan Modra <amodra@gmail.com>
Wed, 16 Feb 2022 11:35:24 +0000 (22:05 +1030)
There are quite a few ubsan warnings in gas.  This one disappears with
a code tidy.

* read.c (s_app_line): Rename 'l' to 'linenum'.  Avoid ubsan
warning.

gas/read.c

index 523708faa97b52b7a164a8e5f3d94fc5d2dda86d..f3635626649eeee2a208e6bc9588023b2cff4407 100644 (file)
@@ -2068,20 +2068,18 @@ void
 s_app_line (int appline)
 {
   char *file = NULL;
-  int l;
+  int linenum;
 
   /* The given number is that of the next line.  */
   if (appline)
-    l = get_absolute_expression ();
-  else if (!get_linefile_number (&l))
+    linenum = get_absolute_expression ();
+  else if (!get_linefile_number (&linenum))
     {
       ignore_rest_of_line ();
       return;
     }
 
-  l--;
-
-  if (l < -1)
+  if (linenum < 0)
     /* Some of the back ends can't deal with non-positive line numbers.
        Besides, it's silly.  GCC however will generate a line number of
        zero when it is pre-processing builtins for assembler-with-cpp files:
@@ -2092,7 +2090,7 @@ s_app_line (int appline)
        in the GCC and GDB testsuites.  So we check for negative line numbers
        rather than non-positive line numbers.  */
     as_warn (_("line numbers must be positive; line number %d rejected"),
-            l + 1);
+            linenum);
   else
     {
       int flags = 0;
@@ -2152,10 +2150,11 @@ s_app_line (int appline)
 
       if (appline || file)
        {
-         new_logical_line_flags (file, l, flags);
+         linenum--;
+         new_logical_line_flags (file, linenum, flags);
 #ifdef LISTING
          if (listing)
-           listing_source_line (l);
+           listing_source_line (linenum);
 #endif
        }
     }