[Bug 2032624] Re: mumax3 test suite fails against glibc 2.38

[Heinrich Schuchardt]

cbmc fails to build from source on arm64 with LTO disabled as reported
in LP 2036745:

Failed test: fmod1
CBMC version 5.89.0 (cbmc-5.89.0) 64-bit arm64 linux
Parsing main.c
file /usr/include/aarch64-linux-gnu/bits/math-vector.h line 30: syntax error before '__f32x4_t'
PARSING ERROR

https://launchpadlibrarian.net/688275364/buildlog_ubuntu-mantic-
arm64.cbmc_5.89.0-2ubuntu1~ppa1_BUILDING.txt.gz

** Also affects: cbmc (Ubuntu)
   Importance: Undecided
       Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to glibc in Ubuntu.
https://bugs.launchpad.net/bugs/2032624

Title:
  mumax3 test suite fails against glibc 2.38

Status in cbmc package in Ubuntu:
  New
Status in cxref package in Ubuntu:
  New
Status in gauche-c-wrapper package in Ubuntu:
  New
Status in glibc package in Ubuntu:
  New
Status in mumax3 package in Ubuntu:
  New
Status in nvidia-nccl package in Ubuntu:
  New
Status in rocm-hipamd package in Ubuntu:
  New
Status in stdgpu-contrib package in Ubuntu:
  New

Bug description:
  The autopkgtests fail with the following error:

  921s nvcc -std=c++03 -ccbin=/usr/bin/cuda-gcc --compiler-options -Werror --compiler-options -Wall -Xptxas -O3 -ptx -arch=compute_50 -code=sm_50 copypadmul2.cu -o copypadmul2_50.ptx
  922s /usr/include/aarch64-linux-gnu/bits/math-vector.h(30): error: identifier "__Float32x4_t" is undefined
  922s 
  922s /usr/include/aarch64-linux-gnu/bits/math-vector.h(31): error: identifier "__Float64x2_t" is undefined
  922s 
  922s /usr/include/aarch64-linux-gnu/bits/math-vector.h(40): error: identifier "__SVFloat32_t" is undefined
  922s 
  922s /usr/include/aarch64-linux-gnu/bits/math-vector.h(41): error: identifier "__SVFloat64_t" is undefined
  922s 
  922s /usr/include/aarch64-linux-gnu/bits/math-vector.h(42): error: identifier "__SVBool_t" is undefined

  Marking as critical as this blocks the glibc transition.

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