functional: fix std::move usage in Factory::constant #989
Annotations
23 warnings
|
|
|
|
|
|
|
kernel/calc.cc#L142
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
kernel/calc.cc#L164
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
kernel/calc.cc#L165
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
kernel/calc.cc#L196
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
kernel/calc.cc#L377
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
kernel/calc.cc#L410
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
frontends/aiger2/xaiger.cc#L201
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
frontends/aiger2/xaiger.cc#L201
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
frontends/aiger2/xaiger.cc#L340
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
frontends/aiger2/xaiger.cc#L340
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
kernel/calc.cc#L142
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
kernel/calc.cc#L164
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
kernel/calc.cc#L165
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
kernel/calc.cc#L196
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
kernel/calc.cc#L377
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
kernel/calc.cc#L410
comparison of integers of different signs: 'size_t' (aka 'unsigned long') and 'int' [-Wsign-compare]
|
|
frontends/aiger2/xaiger.cc#L201
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
frontends/aiger2/xaiger.cc#L201
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
frontends/aiger2/xaiger.cc#L340
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
frontends/aiger2/xaiger.cc#L340
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
The logs for this run have expired and are no longer available.
Loading