New aiger backend #822
Annotations
10 warnings
Build C++17:
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
Build C++17:
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
Build C++17:
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
Build C++17:
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
Build C++17:
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
Build C++17:
kernel/hashlib.h#L29
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
Build C++17:
frontends/aiger2/xaiger.cc#L91
comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
|
Build C++17:
frontends/aiger2/xaiger.cc#L113
comparison of integer expressions of different signedness: ‘int’ and ‘std::vector<Yosys::RTLIL::SigBit>::size_type’ {aka ‘long unsigned int’} [-Wsign-compare]
|
Build C++17:
frontends/aiger2/xaiger.cc#L143
comparison of integer expressions of different signedness: ‘int’ and ‘std::vector<std::pair<Yosys::RTLIL::Cell*, Yosys::RTLIL::Module*> >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare]
|
Build C++17:
frontends/aiger2/xaiger.cc#L154
comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
|
Loading