CI Improvements #8
KrystalDelusionAnnotations
2 errors and 169 warnings
|
test-compile (ubuntu-20.04, gcc-12, c++11)
Error: Command failed with exit code 2: sudo 'update-alternatives' '--install' '/usr/bin/cc' 'cc' '/usr/bin//gcc-12' '40'
|
|
test-compile (ubuntu-20.04, gcc-12, c++11)
Failed to install the gcc-12
|
|
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, 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, 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-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-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-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-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-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-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, clang-12, c++17)
Failed to add apt key via server keyserver.ubuntu.com: Error: Command failed with exit code 2: sudo 'gpg' '--no-default-keyring' '--keyring' 'gnupg-ring:/etc/apt/trusted.gpg.d/setup-cpp-ubuntu-archive.gpg' '--keyserver' 'keyserver.ubuntu.com' '--recv-keys' '3B4FE6ACC0B21F32'
|
|
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-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-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 (macos-13, clang, c++17):
libs/fst/fstapi.cc#L1994
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++17):
libs/fst/fstapi.cc#L2619
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++17):
libs/fst/fstapi.cc#L3597
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++17):
libs/fst/fstapi.cc#L4244
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++17):
libs/fst/fstapi.cc#L4802
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++17):
libs/fst/fstapi.cc#L4806
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++17):
libs/fst/fstapi.cc#L4809
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++17):
libs/fst/fstapi.cc#L4816
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++17):
libs/fst/fstapi.cc#L4917
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++17):
libs/fst/fstapi.cc#L4939
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++11):
libs/fst/fstapi.cc#L1994
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++11):
libs/fst/fstapi.cc#L2619
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++11):
libs/fst/fstapi.cc#L3597
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++11):
libs/fst/fstapi.cc#L4244
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++11):
libs/fst/fstapi.cc#L4802
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++11):
libs/fst/fstapi.cc#L4806
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++11):
libs/fst/fstapi.cc#L4809
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++11):
libs/fst/fstapi.cc#L4816
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++11):
libs/fst/fstapi.cc#L4917
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
test-compile (macos-13, clang, c++11):
libs/fst/fstapi.cc#L4939
'sprintf' is deprecated: This function is provided for compatibility reasons only. Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
|
|
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=]
|