New aiger backend #822
Triggered via pull request
September 18, 2024 14:59
povik
Status
Success
Total duration
28m 16s
Artifacts
–
test-compile.yml
on: pull_request
pre_job
4s
Matrix: test-compile
Annotations
93 warnings
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
frontends/aiger2/xaiger.cc#L91
comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc-10):
frontends/aiger2/xaiger.cc#L113
comparison of integer expressions of different signedness: ‘int’ and ‘std::vector<Yosys::RTLIL::SigBit>::size_type’ {aka ‘long unsigned int’} [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc-10):
frontends/aiger2/xaiger.cc#L143
comparison of integer expressions of different signedness: ‘int’ and ‘std::vector<std::pair<Yosys::RTLIL::Cell*, Yosys::RTLIL::Module*> >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc-10):
frontends/aiger2/xaiger.cc#L154
comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L188
format specifies type 'int' but the argument has type 'std::vector::size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L182
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L182
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L322
format specifies type 'int' but the argument has type 'std::vector::size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L316
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L316
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L91
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L113
comparison of integers of different signs: 'int' and 'std::vector::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L143
comparison of integers of different signs: 'int' and 'std::vector::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L154
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/aiger2/xaiger.cc#L188
format specifies type 'int' but the argument has type 'std::vector::size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/aiger2/xaiger.cc#L322
format specifies type 'int' but the argument has type 'std::vector::size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/aiger2/xaiger.cc#L91
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/aiger2/xaiger.cc#L113
comparison of integers of different signs: 'int' and 'std::vector::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/aiger2/xaiger.cc#L143
comparison of integers of different signs: 'int' and 'std::vector::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/aiger2/xaiger.cc#L154
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/aiger2/xaiger.cc#L216
comparison of integers of different signs: 'int' and 'uint32_t' (aka 'unsigned int') [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/aiger2/xaiger.cc#L338
comparison of integers of different signs: 'int' and 'std::vector::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/aiger2/xaiger.cc#L340
comparison of integers of different signs: 'int' and 'std::vector::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/aiger2/xaiger.cc#L350
comparison of integers of different signs: 'int' and 'uint32_t' (aka 'unsigned int') [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L188
format specifies type 'int' but the argument has type 'size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L182
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L182
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L322
format specifies type 'int' but the argument has type 'size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L316
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L316
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L91
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L113
comparison of integers of different signs: 'int' and 'size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L143
comparison of integers of different signs: 'int' and 'size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L154
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L188
format specifies type 'int' but the argument has type 'size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L182
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L182
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L322
format specifies type 'int' but the argument has type 'size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L316
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L316
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L91
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L113
comparison of integers of different signs: 'int' and 'size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L143
comparison of integers of different signs: 'int' and 'size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L154
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
frontends/aiger2/xaiger.cc#L91
comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
frontends/aiger2/xaiger.cc#L91
comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
|
|
test-compile (macos-13, clang)
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|
|
test-compile (macos-13, clang)
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
test-compile (macos-13, clang)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L188
format specifies type 'int' but the argument has type 'std::vector<std::pair<Yosys::RTLIL::Cell *, Yosys::RTLIL::Module *>>::size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L182
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L182
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L322
format specifies type 'int' but the argument has type 'std::vector<std::pair<Yosys::RTLIL::Cell *, Yosys::RTLIL::Module *>>::size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L316
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L316
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L91
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L113
comparison of integers of different signs: 'int' and 'std::vector<Yosys::RTLIL::SigBit>::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L143
comparison of integers of different signs: 'int' and 'std::vector<std::pair<Yosys::RTLIL::Cell *, Yosys::RTLIL::Module *>>::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L154
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L188
format specifies type 'int' but the argument has type 'std::vector<std::pair<Yosys::RTLIL::Cell *, Yosys::RTLIL::Module *>>::size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L182
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L182
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L322
format specifies type 'int' but the argument has type 'std::vector<std::pair<Yosys::RTLIL::Cell *, Yosys::RTLIL::Module *>>::size_type' (aka 'unsigned long') [-Wformat]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L316
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L316
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L91
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L113
comparison of integers of different signs: 'int' and 'std::vector<Yosys::RTLIL::SigBit>::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L143
comparison of integers of different signs: 'int' and 'std::vector<std::pair<Yosys::RTLIL::Cell *, Yosys::RTLIL::Module *>>::size_type' (aka 'unsigned long') [-Wsign-compare]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L154
comparison of integers of different signs: 'int' and 'unsigned int' [-Wsign-compare]
|