verific: Disable module existence check during static elaboration #1445
Annotations
2 errors and 9 warnings
|
|
|
Build C++20
The operation was canceled.
|
|
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++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:
passes/hierarchy/keep_hierarchy.cc#L69
format specifies type 'unsigned long long' but the argument has type 'uint64_t' (aka 'unsigned long') [-Wformat]
|
|
Build C++17:
passes/hierarchy/keep_hierarchy.cc#L69
format specifies type 'unsigned long long' but the argument has type 'uint64_t' (aka 'unsigned long') [-Wformat]
|
|
Build C++17
'get_temporary_buffer<std::pair<unsigned long, int>>' is deprecated [-Wdeprecated-declarations]
|
Loading