CI Improvements #7
Annotations
1 error and 105 warnings
test-compile (macos-13, clang, c++11)
Process completed with exit code 1.
|
test-compile (ubuntu-20.04, clang-12, c++17):
kernel/register.cc#L1005
unused parameter 'args' [-Wunused-parameter]
|
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++11):
kernel/register.cc#L1005
unused parameter 'args' [-Wunused-parameter]
|
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++11)
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++11)
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++11)
adding 'char' to a string pointer does not append to the string [-Wstring-plus-char]
|
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++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++14):
kernel/register.cc#L1005
unused parameter 'args' [-Wunused-parameter]
|
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 (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 (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 (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 (ubuntu-20.04, gcc-11, c++11):
kernel/satgen.cc#L1240
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
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 (ubuntu-20.04, clang-12, c++20):
kernel/register.cc#L1005
unused parameter 'args' [-Wunused-parameter]
|
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 (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 (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, clang-12, c++20)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
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 (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 (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++11):
passes/techmap/abc.cc#L2005
‘g_argidx’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
test-compile (ubuntu-20.04, clang-12, c++20)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
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 (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++11):
kernel/register.cc#L1005
unused parameter ‘args’ [-Wunused-parameter]
|
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 (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 (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++11)
‘visibility’ attribute ignored [-Wattributes]
|
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 (ubuntu-20.04, clang-12, c++20)
unused variable 's_ELMax' [-Wunused-const-variable]
|
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++11)
‘visibility’ attribute ignored [-Wattributes]
|
test-compile (ubuntu-20.04, clang-12, c++20)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
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, clang-12, c++20)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
test-compile (ubuntu-20.04, gcc-11, c++14):
kernel/register.cc#L1005
unused parameter ‘args’ [-Wunused-parameter]
|
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, gcc-11, c++14)
‘visibility’ attribute ignored [-Wattributes]
|
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, gcc-11, c++14)
‘visibility’ attribute ignored [-Wattributes]
|
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, 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, clang-11, c++11):
kernel/register.cc#L1005
unused parameter 'args' [-Wunused-parameter]
|
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-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, clang-11, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
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-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++17):
kernel/satgen.cc#L1268
‘undef_srst’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
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, 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-11, c++20):
kernel/register.cc#L1005
unused parameter ‘args’ [-Wunused-parameter]
|
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, 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++20)
‘visibility’ attribute ignored [-Wattributes]
|
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, clang-11, c++11)
unused variable 's_ELMax' [-Wunused-const-variable]
|
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++20)
‘visibility’ attribute ignored [-Wattributes]
|
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-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, clang-11, c++11)
unused variable 'deflate_copyright' [-Wunused-const-variable]
|
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-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, clang-11, c++11)
unused variable 'inflate_copyright' [-Wunused-const-variable]
|
test-compile (ubuntu-20.04, gcc-10, c++11):
kernel/register.cc#L1005
unused parameter ‘args’ [-Wunused-parameter]
|
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, clang-11, c++11)
misleading indentation; statement is not part of the previous 'if' [-Wmisleading-indentation]
|
test-compile (ubuntu-20.04, gcc-10, c++11)
‘visibility’ attribute ignored [-Wattributes]
|
test-compile (ubuntu-20.04, gcc-11, c++17):
kernel/register.cc#L1005
unused parameter ‘args’ [-Wunused-parameter]
|
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, gcc-10, c++11)
‘visibility’ attribute ignored [-Wattributes]
|
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, gcc-11, c++17)
‘visibility’ attribute ignored [-Wattributes]
|
test-compile (ubuntu-20.04, gcc-11, c++17)
‘visibility’ attribute ignored [-Wattributes]
|