proc_dff: bit-granularity optimizations and refactoring #1363
Annotations
2 errors and 13 warnings
|
Build C++17:
passes/proc/proc_dff.cc#L242
reference to local binding 'val' declared in enclosing function '(anonymous namespace)::Dff::optimize_single_rule_consts'
|
|
Build C++17
Process completed with exit code 2.
|
|
Setup environment
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
|
Setup environment
autoconf 2.72 is already installed and up-to-date.
To reinstall 2.72, run:
brew reinstall autoconf
|
|
Setup environment
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
Build C++17:
kernel/calc.cc#L142
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
Build C++17:
kernel/calc.cc#L164
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
Build C++17:
kernel/calc.cc#L165
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
Build C++17:
kernel/calc.cc#L196
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
Build C++17:
kernel/calc.cc#L377
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
Build C++17:
kernel/calc.cc#L410
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
Build C++17:
kernel/rtlil.cc#L400
comparison of integers of different signs: 'size_t' (aka 'unsigned long') 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]
|
Loading