CI Improvements #12
KrystalDelusionAnnotations
2 errors and 148 warnings
|
test-compile (macos-13, clang, c++11)
Process completed with exit code 1.
|
|
test-compile (macos-13, clang, c++17)
Process completed with exit code 1.
|
|
test-compile (ubuntu-20.04, clang-11, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-11, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-11, c++11)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
|
test-compile (ubuntu-20.04, clang-11, c++11)
unused variable 's_ELMax' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-11, c++11)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-11, c++11)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-11, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-11, c++11)
misleading indentation; statement is not part of the previous 'else' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-11, c++11)
explicitly assigning value of variable of type 'abc::Gia_Man_t *' (aka 'abc::Gia_Man_t_ *') to itself [-Wself-assign]
|
|
test-compile (ubuntu-20.04, clang-11, c++11)
implicit conversion from 'int' to 'float' changes value from 2147483647 to 2147483648 [-Wimplicit-const-int-float-conversion]
|
|
test-compile (ubuntu-20.04, clang-12, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++11)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
|
test-compile (ubuntu-20.04, clang-12, c++11)
unused variable 's_ELMax' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++11)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++11)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++11)
misleading indentation; statement is not part of the previous 'else' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++11)
explicitly assigning value of variable of type 'abc::Gia_Man_t *' (aka 'abc::Gia_Man_t_ *') to itself [-Wself-assign]
|
|
test-compile (ubuntu-20.04, clang-12, c++11)
implicit conversion from 'int' to 'float' changes value from 2147483647 to 2147483648 [-Wimplicit-const-int-float-conversion]
|
|
test-compile (ubuntu-20.04, clang-12, c++14)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++14)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++14)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
|
test-compile (ubuntu-20.04, clang-12, c++14)
unused variable 's_ELMax' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++14)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++14)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++14)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++14)
misleading indentation; statement is not part of the previous 'else' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++14)
explicitly assigning value of variable of type 'abc::Gia_Man_t *' (aka 'abc::Gia_Man_t_ *') to itself [-Wself-assign]
|
|
test-compile (ubuntu-20.04, clang-12, c++14)
implicit conversion from 'int' to 'float' changes value from 2147483647 to 2147483648 [-Wimplicit-const-int-float-conversion]
|
|
test-compile (ubuntu-20.04, clang-12, c++17)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++17)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++17)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
|
test-compile (ubuntu-20.04, clang-12, c++17)
unused variable 's_ELMax' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++17)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++17)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++17)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++17)
misleading indentation; statement is not part of the previous 'else' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++17)
explicitly assigning value of variable of type 'abc::Gia_Man_t *' (aka 'abc::Gia_Man_t_ *') to itself [-Wself-assign]
|
|
test-compile (ubuntu-20.04, clang-12, c++17)
implicit conversion from 'int' to 'float' changes value from 2147483647 to 2147483648 [-Wimplicit-const-int-float-conversion]
|
|
test-compile (ubuntu-20.04, clang-12, c++20)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++20)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++20)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
|
test-compile (ubuntu-20.04, clang-12, c++20)
unused variable 's_ELMax' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++20)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++20)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-12, c++20)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++20)
misleading indentation; statement is not part of the previous 'else' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-12, c++20)
explicitly assigning value of variable of type 'abc::Gia_Man_t *' (aka 'abc::Gia_Man_t_ *') to itself [-Wself-assign]
|
|
test-compile (ubuntu-20.04, clang-12, c++20)
implicit conversion from 'int' to 'float' changes value from 2147483647 to 2147483648 [-Wimplicit-const-int-float-conversion]
|
|
test-compile (ubuntu-20.04, gcc-10, c++11):
kernel/satgen.cc#L1268
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-10, c++11):
kernel/satgen.cc#L1254
‘undef_ce’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-10, c++11):
kernel/satgen.cc#L1240
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-10, c++11):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-10, c++11):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-10, c++11):
passes/techmap/abc.cc#L2005
‘g_argidx’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-10, c++11)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-10, c++11)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, clang-14, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-14, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-14, c++11)
use of bitwise '|' with boolean operands [-Wbitwise-instead-of-logical]
|
|
test-compile (ubuntu-20.04, clang-14, c++11)
use of bitwise '|' with boolean operands [-Wbitwise-instead-of-logical]
|
|
test-compile (ubuntu-20.04, clang-14, c++11)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
|
test-compile (ubuntu-20.04, clang-14, c++11)
unused variable 's_ELMax' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-14, c++11)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-14, c++11)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-14, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-14, c++11)
misleading indentation; statement is not part of the previous 'else' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-13, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-13, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-13, c++11)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
|
test-compile (ubuntu-20.04, clang-13, c++11)
unused variable 's_ELMax' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-13, c++11)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-13, c++11)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-13, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-13, c++11)
misleading indentation; statement is not part of the previous 'else' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-13, c++11)
explicitly assigning value of variable of type 'abc::Gia_Man_t *' (aka 'abc::Gia_Man_t_ *') to itself [-Wself-assign]
|
|
test-compile (ubuntu-20.04, clang-13, c++11)
implicit conversion from 'int' to 'float' changes value from 2147483647 to 2147483648 [-Wimplicit-const-int-float-conversion]
|
|
test-compile (ubuntu-20.04, clang-15, c++11):
libs/fst/fstapi.cc#L5539
variable 'secnum' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-20.04, clang-15, c++11):
frontends/verilog/verilog_parser.tab.cc#L3316
variable 'frontend_verilog_yynerrs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-20.04, clang-15, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-15, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-15, c++11)
use of bitwise '|' with boolean operands [-Wbitwise-instead-of-logical]
|
|
test-compile (ubuntu-20.04, clang-15, c++11)
use of bitwise '|' with boolean operands [-Wbitwise-instead-of-logical]
|
|
test-compile (ubuntu-20.04, clang-15, c++11)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
|
test-compile (ubuntu-20.04, clang-15, c++11)
unused variable 's_ELMax' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-15, c++11)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-15, c++11)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-16, c++11):
libs/fst/fstapi.cc#L5539
variable 'secnum' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-20.04, clang-16, c++11):
frontends/verilog/verilog_parser.tab.cc#L3316
variable 'frontend_verilog_yynerrs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-20.04, clang-16, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-16, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-16, c++11)
use of bitwise '|' with boolean operands [-Wbitwise-instead-of-logical]
|
|
test-compile (ubuntu-20.04, clang-16, c++11)
use of bitwise '|' with boolean operands [-Wbitwise-instead-of-logical]
|
|
test-compile (ubuntu-20.04, clang-16, c++11)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
|
test-compile (ubuntu-20.04, clang-16, c++11)
unused variable 's_ELMax' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-16, c++11)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-16, c++11)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-17, c++11):
libs/fst/fstapi.cc#L5539
variable 'secnum' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-20.04, clang-17, c++11):
frontends/verilog/verilog_parser.tab.cc#L3316
variable 'frontend_verilog_yynerrs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-20.04, clang-17, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-17, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
|
test-compile (ubuntu-20.04, clang-17, c++11)
use of bitwise '|' with boolean operands [-Wbitwise-instead-of-logical]
|
|
test-compile (ubuntu-20.04, clang-17, c++11)
use of bitwise '|' with boolean operands [-Wbitwise-instead-of-logical]
|
|
test-compile (ubuntu-20.04, clang-17, c++11)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
|
test-compile (ubuntu-20.04, clang-17, c++11)
unused variable 's_ELMax' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-17, c++11)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-17, c++11)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, gcc-11, c++11):
kernel/satgen.cc#L1268
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++11):
kernel/satgen.cc#L1254
‘undef_ce’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++11):
kernel/satgen.cc#L1240
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++11):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-11, c++11):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-11, c++11):
passes/techmap/abc.cc#L2005
‘g_argidx’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++11)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-11, c++11)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-11, c++14):
kernel/satgen.cc#L1268
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++14):
kernel/satgen.cc#L1254
‘undef_ce’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++14):
kernel/satgen.cc#L1240
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++14):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-11, c++14):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-11, c++14):
passes/techmap/abc.cc#L2005
‘g_argidx’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++14)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-11, c++14)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-11, c++17):
kernel/satgen.cc#L1268
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++17):
kernel/satgen.cc#L1254
‘undef_ce’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++17):
kernel/satgen.cc#L1240
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++17):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-11, c++17):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-11, c++17):
passes/techmap/abc.cc#L2005
‘g_argidx’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++17)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-11, c++17)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-11, c++20):
kernel/satgen.cc#L1268
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++20):
kernel/satgen.cc#L1254
‘undef_ce’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++20):
kernel/satgen.cc#L1240
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++20):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-11, c++20):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-11, c++20):
passes/techmap/abc.cc#L2005
‘g_argidx’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-11, c++20)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-11, c++20)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-13, c++11):
kernel/satgen.cc#L1240
‘undef_srst’ may be used uninitialized [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-13, c++11):
kernel/satgen.cc#L1254
‘undef_ce’ may be used uninitialized [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-13, c++11):
kernel/satgen.cc#L1268
‘undef_srst’ may be used uninitialized [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, gcc-13, c++11):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-13, c++11):
libs/minisat/Vec.h#L103
‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
|
|
test-compile (ubuntu-20.04, gcc-13, c++11)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-13, c++11)
‘visibility’ attribute ignored [-Wattributes]
|
|
test-compile (ubuntu-20.04, gcc-13, c++11)
argument 1 value ‘18446744073709551614’ exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=]
|