actions: vendor sources with submodules for releases #1035
widlarizerAnnotations
12 errors and 46 warnings
|
test-compile (ubuntu-latest, gcc-10)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-latest, gcc-10)
The operation was canceled.
|
|
test-compile (ubuntu-latest, clang)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-latest, clang-14)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-latest, clang)
The operation was canceled.
|
|
test-compile (ubuntu-latest, clang-14)
The operation was canceled.
|
|
test-compile (ubuntu-latest, gcc)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-latest, gcc)
The operation was canceled.
|
|
test-compile (ubuntu-20.04, clang-10)
The run was canceled by @github-actions[bot].
|
|
test-compile (ubuntu-20.04, clang-10)
The operation was canceled.
|
|
test-compile (macos-13, clang)
The run was canceled by @github-actions[bot].
|
|
test-compile (macos-13, clang)
The operation was canceled.
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc-10):
frontends/aiger2/xaiger.cc#L201
variable ‘box_inputs’ set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, gcc-10):
frontends/aiger2/xaiger.cc#L201
variable ‘box_id’ set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, gcc-10):
frontends/aiger2/xaiger.cc#L340
variable ‘box_outputs’ set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, gcc-10):
frontends/aiger2/xaiger.cc#L340
variable ‘box_id’ set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L340
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/aiger2/xaiger.cc#L340
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/ast/dpicall.cc#L70
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L201
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L201
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/ast/dpicall.cc#L71
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L340
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang):
frontends/ast/dpicall.cc#L72
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
|
|
test-compile (ubuntu-latest, clang-14):
frontends/aiger2/xaiger.cc#L340
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-latest, clang-14):
backends/aiger2/aiger.cc#L667
unused variable 'CONST_FALSE' [-Wunused-const-variable]
|
|
test-compile (ubuntu-latest, clang)
'get_temporary_buffer<std::pair<unsigned long, int>>' is deprecated [-Wdeprecated-declarations]
|
|
test-compile (ubuntu-latest, clang-14):
backends/aiger2/aiger.cc#L668
unused variable 'CONST_TRUE' [-Wunused-const-variable]
|
|
test-compile (ubuntu-latest, clang):
backends/aiger2/aiger.cc#L667
unused variable 'CONST_FALSE' [-Wunused-const-variable]
|
|
test-compile (ubuntu-latest, clang-14):
backends/aiger2/aiger.cc#L805
unused variable 'CONST_FALSE' [-Wunused-const-variable]
|
|
test-compile (ubuntu-latest, clang):
backends/aiger2/aiger.cc#L668
unused variable 'CONST_TRUE' [-Wunused-const-variable]
|
|
test-compile (ubuntu-latest, clang-14):
backends/aiger2/aiger.cc#L806
unused variable 'CONST_TRUE' [-Wunused-const-variable]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
test-compile (ubuntu-latest, gcc):
frontends/aiger2/xaiger.cc#L201
variable ‘box_inputs’ set but not used [-Wunused-but-set-variable]
|
|
test-compile (ubuntu-20.04, clang-10):
backends/aiger2/aiger.cc#L667
unused variable 'CONST_FALSE' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-10):
backends/aiger2/aiger.cc#L668
unused variable 'CONST_TRUE' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-10):
backends/aiger2/aiger.cc#L805
unused variable 'CONST_FALSE' [-Wunused-const-variable]
|
|
test-compile (ubuntu-20.04, clang-10):
backends/aiger2/aiger.cc#L806
unused variable 'CONST_TRUE' [-Wunused-const-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_inputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L201
variable 'box_id' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L340
variable 'box_outputs' set but not used [-Wunused-but-set-variable]
|
|
test-compile (macos-13, clang):
frontends/aiger2/xaiger.cc#L340
variable 'box_id' set but not used [-Wunused-but-set-variable]
|