tests: remove -seq 1 from sat with -tempinduct where possible #910
Annotations
12 warnings
|
Build C++20:
frontends/ast/dpicall.cc#L70
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
Build C++20:
frontends/ast/dpicall.cc#L71
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
Build C++20:
frontends/ast/dpicall.cc#L72
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
Build C++20
'get_temporary_buffer<std::pair<unsigned long, int>>' is deprecated [-Wdeprecated-declarations]
|
|
Build C++20:
passes/techmap/bufnorm.cc#L111
variable 'noinit_mode' set but not used [-Wunused-but-set-variable]
|
|
Build C++20:
frontends/verilog/verilog_parser.tab.cc#L3743
variable 'frontend_verilog_yynerrs' set but not used [-Wunused-but-set-variable]
|
|
Build C++17:
frontends/ast/dpicall.cc#L70
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
Build C++17:
frontends/ast/dpicall.cc#L71
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
Build C++17:
frontends/ast/dpicall.cc#L72
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
Build C++17
'get_temporary_buffer<std::pair<unsigned long, int>>' is deprecated [-Wdeprecated-declarations]
|
|
Build C++17:
passes/techmap/bufnorm.cc#L111
variable 'noinit_mode' set but not used [-Wunused-but-set-variable]
|
|
Build C++17:
frontends/verilog/verilog_parser.tab.cc#L3743
variable 'frontend_verilog_yynerrs' set but not used [-Wunused-but-set-variable]
|
Loading