Skip to content

Assertion failure in _nfloat_vec_dot_add_limbs with -O0 #2273

@mezzarobba

Description

@mezzarobba
$ ./bootstrap.sh && ./configure --enable-assert CFLAGS='-O0' && make -j32
$ make check MOD=nfloat
Makefile:518: Dependency tracking only set to cover the test executables of nfloat.
/usr/bin/mkdir -p build/nfloat/test
  CC  nfloat/test/main.c
add_sub_n...
add_sub_n                                         0.17   (PASS)
addmul_submul...
addmul_submul                                     0.00   (PASS)
complex_mat_mul...
main: /home/mezzarobba/co/flint/src/nfloat/dot.c:86: _nfloat_vec_dot_add_limbs: Assertion `delta < 64' failed.
make: *** [Makefile:776: build/nfloat/test/main_TEST_RUN] Aborted (core dumped)

Does not happen without -O0.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions