Merge pull request #4613 from povik/err-never-silence #942
Annotations
20 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]
|
|
frontends/ast/dpicall.cc#L70
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
frontends/ast/dpicall.cc#L71
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
frontends/ast/dpicall.cc#L72
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
|
|
passes/techmap/bufnorm.cc#L111
variable 'noinit_mode' set but not used [-Wunused-but-set-variable]
|
|
backends/aiger2/aiger.cc#L667
unused variable 'CONST_FALSE' [-Wunused-const-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]
|
|
frontends/ast/dpicall.cc#L70
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
frontends/ast/dpicall.cc#L71
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
frontends/ast/dpicall.cc#L72
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
|
|
passes/techmap/bufnorm.cc#L111
variable 'noinit_mode' set but not used [-Wunused-but-set-variable]
|
|
backends/aiger2/aiger.cc#L667
unused variable 'CONST_FALSE' [-Wunused-const-variable]
|
The logs for this run have expired and are no longer available.
Loading