New aiger backend #817
Annotations
14 warnings
|
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#L552
comparison of integers of different signs: 'Lit' (aka 'unsigned int') and 'int' [-Wsign-compare]
|
|
frontends/verilog/verilog_parser.tab.cc#L3644
variable 'frontend_verilog_yynerrs' 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#L552
comparison of integers of different signs: 'Lit' (aka 'unsigned int') and 'int' [-Wsign-compare]
|
|
frontends/verilog/verilog_parser.tab.cc#L3644
variable 'frontend_verilog_yynerrs' set but not used [-Wunused-but-set-variable]
|
This job succeeded
Loading