Merge pull request #4641 from georgerennie/george/btor_undriven_wires #1189
jixAnnotations
11 errors and 40 warnings
|
test-compile (ubuntu-latest, gcc-10)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-latest, gcc-10)
The operation was canceled.
|
|
test-compile (ubuntu-latest, clang)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-latest, gcc)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-latest, clang)
The operation was canceled.
|
|
test-compile (ubuntu-latest, gcc)
The operation was canceled.
|
|
test-compile (macos-13, clang)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-20.04, clang-10)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-20.04, clang-10)
The operation was canceled.
|
|
test-compile (ubuntu-latest, clang-14)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-latest, clang-14)
The operation was canceled.
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/calc.cc#L142
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/calc.cc#L164
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/calc.cc#L165
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/calc.cc#L196
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/calc.cc#L377
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/calc.cc#L410
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/rtlil.cc#L400
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, clang):
kernel/calc.cc#L142
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
kernel/calc.cc#L164
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc):
kernel/calc.cc#L142
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
kernel/calc.cc#L165
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc):
kernel/calc.cc#L164
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
kernel/calc.cc#L196
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc):
kernel/calc.cc#L165
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
kernel/calc.cc#L377
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc):
kernel/calc.cc#L196
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
kernel/calc.cc#L410
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc):
kernel/calc.cc#L377
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
kernel/rtlil.cc#L400
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc):
kernel/calc.cc#L410
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc):
kernel/rtlil.cc#L400
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-20.04, clang-10):
kernel/calc.cc#L142
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
kernel/calc.cc#L164
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
kernel/calc.cc#L165
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
kernel/calc.cc#L196
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
kernel/calc.cc#L377
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
kernel/calc.cc#L410
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
kernel/rtlil.cc#L400
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
kernel/calc.cc#L142
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
kernel/calc.cc#L164
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
kernel/calc.cc#L165
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
kernel/calc.cc#L196
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
kernel/calc.cc#L377
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
kernel/calc.cc#L410
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang-14):
kernel/rtlil.cc#L400
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|