opt_merge: fix fixpoint abuse #1237
widlarizerAnnotations
92 warnings
|
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]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L201
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L201
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L340
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
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-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-20.04, clang-10):
frontends/ast/ast.cc#L1023
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/ast/simplify.cc#L3496
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-20.04, clang-10):
frontends/ast/simplify.cc#L4342
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
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, clang):
kernel/calc.cc#L165
comparison of integers of different signs: 'size_t' (aka 'unsigned long') 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, clang):
kernel/calc.cc#L377
comparison of integers of different signs: 'size_t' (aka 'unsigned long') 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, clang):
kernel/rtlil.cc#L400
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L340
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
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, clang):
kernel/calc.cc#L165
comparison of integers of different signs: 'size_t' (aka 'unsigned long') 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, clang):
kernel/calc.cc#L377
comparison of integers of different signs: 'size_t' (aka 'unsigned long') 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, clang):
kernel/rtlil.cc#L400
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L340
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, gcc):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
test-compile (ubuntu-latest, gcc):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
test-compile (ubuntu-latest, gcc):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
test-compile (ubuntu-latest, gcc):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
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, 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, 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, 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, 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, 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/yosys_common.h#L160
missing terminating ' character
|
|
test-compile (ubuntu-latest, gcc):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
test-compile (ubuntu-latest, gcc):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
test-compile (ubuntu-latest, gcc):
kernel/yosys_common.h#L160
missing terminating ' character
|
|
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, 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, 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, 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, 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, gcc):
kernel/calc.cc#L410
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
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):
kernel/calc.cc#L142
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L164
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L165
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L196
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L377
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L410
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/rtlil.cc#L400
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L340
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L142
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L164
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L165
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L196
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L377
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/calc.cc#L410
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
kernel/rtlil.cc#L400
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L340
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|