write_btor: only initialize array with const value when it is fully def #975
Annotations
21 warnings
|
|
|
|
|
|
|
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]
|
|
backends/aiger2/aiger.cc#L667
unused variable 'CONST_FALSE' [-Wunused-const-variable]
|
|
backends/aiger2/aiger.cc#L668
unused variable 'CONST_TRUE' [-Wunused-const-variable]
|
|
backends/aiger2/aiger.cc#L805
unused variable 'CONST_FALSE' [-Wunused-const-variable]
|
|
backends/aiger2/aiger.cc#L806
unused variable 'CONST_TRUE' [-Wunused-const-variable]
|
|
frontends/verilog/verilog_parser.tab.cc#L3743
variable 'frontend_verilog_yynerrs' set but not used [-Wunused-but-set-variable]
|
|
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]
|
|
backends/aiger2/aiger.cc#L667
unused variable 'CONST_FALSE' [-Wunused-const-variable]
|
|
backends/aiger2/aiger.cc#L668
unused variable 'CONST_TRUE' [-Wunused-const-variable]
|
|
backends/aiger2/aiger.cc#L805
unused variable 'CONST_FALSE' [-Wunused-const-variable]
|
|
backends/aiger2/aiger.cc#L806
unused variable 'CONST_TRUE' [-Wunused-const-variable]
|
|
frontends/verilog/verilog_parser.tab.cc#L3743
variable 'frontend_verilog_yynerrs' set but not used [-Wunused-but-set-variable]
|
The logs for this run have expired and are no longer available.
Loading