write_btor: support $buf #1251
Annotations
10 warnings
|
Build C++17:
kernel/calc.cc#L142
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
Build C++17:
kernel/calc.cc#L164
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
Build C++17:
kernel/calc.cc#L165
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
Build C++17:
kernel/calc.cc#L196
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
Build C++17:
kernel/calc.cc#L377
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
Build C++17:
kernel/calc.cc#L410
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
Build C++17:
kernel/rtlil.cc#L400
comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
|
|
Build C++17:
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
Build C++17:
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
|
Build C++17:
kernel/hashlib.h#L30
‘inner’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
Loading