proc_dff: bit-granularity optimizations and refactoring #1372
Annotations
22 warnings
Build C++17:
kernel/calc.cc#L142
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++17:
kernel/calc.cc#L164
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++17:
kernel/calc.cc#L165
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++17:
kernel/calc.cc#L196
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++17:
kernel/calc.cc#L377
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++17:
kernel/calc.cc#L410
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++17:
kernel/rtlil.cc#L400
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++17:
frontends/aiger2/xaiger.cc#L201
variable ‘box_inputs’ set but not used [-Wunused-but-set-variable]
|
Build C++17:
frontends/aiger2/xaiger.cc#L201
variable ‘box_id’ set but not used [-Wunused-but-set-variable]
|
Build C++17:
frontends/aiger2/xaiger.cc#L340
variable ‘box_outputs’ set but not used [-Wunused-but-set-variable]
|
Setup Cpp
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:keyserver.ubuntu.com/ubuntu-toolchain-r-test.gpg' '--keyserver' 'keyserver.ubuntu.com' '--recv-keys' '1E9377A2BA9EF27F'
|
Setup Cpp
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:keyserver.ubuntu.com/ubuntu-toolchain-r-test.gpg' '--keyserver' 'keyserver.ubuntu.com' '--recv-keys' '1E9377A2BA9EF27F'
|
Build C++20:
kernel/calc.cc#L142
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++20:
kernel/calc.cc#L164
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++20:
kernel/calc.cc#L165
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++20:
kernel/calc.cc#L196
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++20:
kernel/calc.cc#L377
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++20:
kernel/calc.cc#L410
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++20:
kernel/rtlil.cc#L400
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
Build C++20
‘constant’ may be used uninitialized [-Wmaybe-uninitialized]
|
Build C++20:
frontends/aiger2/xaiger.cc#L201
variable ‘box_inputs’ set but not used [-Wunused-but-set-variable]
|
Build C++20:
frontends/aiger2/xaiger.cc#L201
variable ‘box_id’ set but not used [-Wunused-but-set-variable]
|
Loading