touch-packages team mailing list archive

[Bug Watch Updater <1159933@xxxxxxxxxxxxxxxxxx>]

** Changed in: mawk (Debian)
       Status: Unknown => New

-- 
You received this bug notification because you are a member of Ubuntu
Touch seeded packages, which is subscribed to mawk in Ubuntu.
https://bugs.launchpad.net/bugs/1159933

Title:
  mawk %d maxes out at 0x7FFFFFFF instead of 0xFFFFFFFF

Status in mawk package in Ubuntu:
  Confirmed
Status in mawk package in Debian:
  New

Bug description:
  I'm honestly not sure if this is a bug or just an implementation
  decision, but it's different than gawk or original-awk, so I'm
  reporting it.  This caused problems for coreboot which is using awk to
  calculate addresses up at the 0xFFFXXXXX range.  We worked around it
  by using %.0f to print the values.

  using the test:
     printf %u 0xFFFFFFFF | awk '{printf("%.0f %u %d", $1 , $1 , $1  )}'

  mawk:
      4294967295 2147483647 2147483647

  original-awk:
      4294967295 2147483648 4294967295

  gawk:
      4294967295 4294967295 4294967295

  I'm using ubuntu 12.04.02 LTS, and mawk 1.3.3-17.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/mawk/+bug/1159933/+subscriptions