Source: cbmc
Version: 5.84.0-11
Severity: serious
Justification: FTBFS
Tags: trixie sid ftbfs
User: lu...@debian.org
Usertags: ftbfs-20230724 ftbfs-trixie
Hi,
During a rebuild of all packages in sid, your package failed to build
on amd64.
Relevant part (hopefully):
> g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2
> -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat
> -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror
> -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror
> -Wno-deprecated-declarations -Wswitch-enum -I .. -o elf_reader.o
> elf_reader.cpp
> elf_reader.cpp:17:57: error: ‘uint16_t’ has not been declared
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> | ^~~~~~~~
> elf_reader.cpp: In function ‘void u16_to_native_endian_inplace(bool, int&)’:
> elf_reader.cpp:19:9: error: ‘uint8_t’ does not name a type
> 19 | const uint8_t *input_as_bytes = reinterpret_cast<uint8_t *>(&input);
> | ^~~~~~~
> elf_reader.cpp:14:1: note: ‘uint8_t’ is defined in header ‘<cstdint>’; did
> you forget to ‘#include <cstdint>’?
> 13 | #include <util/exception_utils.h>
> +++ |+#include <cstdint>
> 14 |
> elf_reader.cpp:20:14: error: ‘uint16_t’ was not declared in this scope
> 20 | input = (((uint16_t)input_as_bytes[0]) << (le_input ? 0 : 8)) |
> | ^~~~~~~~
> elf_reader.cpp:20:14: note: ‘uint16_t’ is defined in header ‘<cstdint>’; did
> you forget to ‘#include <cstdint>’?
> elf_reader.cpp:20:23: error: expected ‘)’ before ‘input_as_bytes’
> 20 | input = (((uint16_t)input_as_bytes[0]) << (le_input ? 0 : 8)) |
> | ~ ^~~~~~~~~~~~~~
> | )
> elf_reader.cpp:21:64: error: expected ‘)’ before ‘;’ token
> 21 | (((uint16_t)input_as_bytes[1]) << (le_input ? 8 : 0));
> | ^
> | )
> elf_reader.cpp:20:11: note: to match this ‘(’
> 20 | input = (((uint16_t)input_as_bytes[0]) << (le_input ? 0 : 8)) |
> | ^
> elf_reader.cpp: At global scope:
> elf_reader.cpp:24:57: error: ‘uint32_t’ has not been declared
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> | ^~~~~~~~
> elf_reader.cpp: In function ‘void u32_to_native_endian_inplace(bool, int&)’:
> elf_reader.cpp:26:9: error: ‘uint8_t’ does not name a type
> 26 | const uint8_t *input_as_bytes = reinterpret_cast<uint8_t *>(&input);
> | ^~~~~~~
> elf_reader.cpp:26:9: note: ‘uint8_t’ is defined in header ‘<cstdint>’; did
> you forget to ‘#include <cstdint>’?
> elf_reader.cpp:27:14: error: ‘uint32_t’ was not declared in this scope
> 27 | input = (((uint32_t)input_as_bytes[0]) << (le_input ? 0 : 24)) |
> | ^~~~~~~~
> elf_reader.cpp:27:14: note: ‘uint32_t’ is defined in header ‘<cstdint>’; did
> you forget to ‘#include <cstdint>’?
> elf_reader.cpp:27:23: error: expected ‘)’ before ‘input_as_bytes’
> 27 | input = (((uint32_t)input_as_bytes[0]) << (le_input ? 0 : 24)) |
> | ~ ^~~~~~~~~~~~~~
> | )
> elf_reader.cpp:30:65: error: expected ‘)’ before ‘;’ token
> 30 | (((uint32_t)input_as_bytes[3]) << (le_input ? 24 : 0));
> | ^
> | )
> elf_reader.cpp:27:11: note: to match this ‘(’
> 27 | input = (((uint32_t)input_as_bytes[0]) << (le_input ? 0 : 24)) |
> | ^
> elf_reader.cpp: In function ‘void u64_to_native_endian_inplace(bool, long
> long unsigned int&)’:
> elf_reader.cpp:36:9: error: ‘uint8_t’ does not name a type
> 36 | const uint8_t *input_as_bytes = reinterpret_cast<uint8_t *>(&input);
> | ^~~~~~~
> elf_reader.cpp:36:9: note: ‘uint8_t’ is defined in header ‘<cstdint>’; did
> you forget to ‘#include <cstdint>’?
> elf_reader.cpp:37:33: error: ‘input_as_bytes’ was not declared in this scope
> 37 | input = (((unsigned long long)input_as_bytes[0]) << (le_input ? 0 :
> 56)) |
> | ^~~~~~~~~~~~~~
> elf_reader.cpp: In constructor ‘elf_readert::elf_readert(std::istream&)’:
> elf_reader.cpp:77:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Half’ {aka ‘short unsigned int’}
> 77 | u16_to_native_endian_inplace(little_endian, elf32_header.e_type);
> | ~~~~~~~~~~~~~^~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:78:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Half’ {aka ‘short unsigned int’}
> 78 | u16_to_native_endian_inplace(little_endian, elf32_header.e_machine);
> | ~~~~~~~~~~~~~^~~~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:79:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Word’ {aka ‘unsigned int’}
> 79 | u32_to_native_endian_inplace(little_endian, elf32_header.e_version);
> | ~~~~~~~~~~~~~^~~~~~~~~
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:80:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Addr’ {aka ‘unsigned int’}
> 80 | u32_to_native_endian_inplace(little_endian, elf32_header.e_entry);
> | ~~~~~~~~~~~~~^~~~~~~
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:81:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Off’ {aka ‘unsigned int’}
> 81 | u32_to_native_endian_inplace(little_endian, elf32_header.e_phoff);
> | ~~~~~~~~~~~~~^~~~~~~
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:82:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Off’ {aka ‘unsigned int’}
> 82 | u32_to_native_endian_inplace(little_endian, elf32_header.e_shoff);
> | ~~~~~~~~~~~~~^~~~~~~
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:83:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Word’ {aka ‘unsigned int’}
> 83 | u32_to_native_endian_inplace(little_endian, elf32_header.e_flags);
> | ~~~~~~~~~~~~~^~~~~~~
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:84:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Half’ {aka ‘short unsigned int’}
> 84 | u16_to_native_endian_inplace(little_endian, elf32_header.e_ehsize);
> | ~~~~~~~~~~~~~^~~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:85:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Half’ {aka ‘short unsigned int’}
> 85 | u16_to_native_endian_inplace(little_endian,
> elf32_header.e_phentsize);
> | ~~~~~~~~~~~~~^~~~~~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:86:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Half’ {aka ‘short unsigned int’}
> 86 | u16_to_native_endian_inplace(little_endian, elf32_header.e_phnum);
> | ~~~~~~~~~~~~~^~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:87:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Half’ {aka ‘short unsigned int’}
> 87 | u16_to_native_endian_inplace(little_endian,
> elf32_header.e_shentsize);
> | ~~~~~~~~~~~~~^~~~~~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:88:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Half’ {aka ‘short unsigned int’}
> 88 | u16_to_native_endian_inplace(little_endian, elf32_header.e_shnum);
> | ~~~~~~~~~~~~~^~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:89:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Half’ {aka ‘short unsigned int’}
> 89 | u16_to_native_endian_inplace(little_endian,
> elf32_header.e_shstrndx);
> | ~~~~~~~~~~~~~^~~~~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:112:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Word’ {aka ‘unsigned int’}
> 112 | u32_to_native_endian_inplace(little_endian,
> elf32_section_header_table[i].sh_name);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:113:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Word’ {aka ‘unsigned int’}
> 113 | u32_to_native_endian_inplace(little_endian,
> elf32_section_header_table[i].sh_type);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:114:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Word’ {aka ‘unsigned int’}
> 114 | u32_to_native_endian_inplace(little_endian,
> elf32_section_header_table[i].sh_flags);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:115:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Addr’ {aka ‘unsigned int’}
> 115 | u32_to_native_endian_inplace(little_endian,
> elf32_section_header_table[i].sh_addr);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:116:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Off’ {aka ‘unsigned int’}
> 116 | u32_to_native_endian_inplace(little_endian,
> elf32_section_header_table[i].sh_offset);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:117:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Word’ {aka ‘unsigned int’}
> 117 | u32_to_native_endian_inplace(little_endian,
> elf32_section_header_table[i].sh_size);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:118:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Word’ {aka ‘unsigned int’}
> 118 | u32_to_native_endian_inplace(little_endian,
> elf32_section_header_table[i].sh_link);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:119:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Word’ {aka ‘unsigned int’}
> 119 | u32_to_native_endian_inplace(little_endian,
> elf32_section_header_table[i].sh_info);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:120:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Word’ {aka ‘unsigned int’}
> 120 | u32_to_native_endian_inplace(little_endian,
> elf32_section_header_table[i].sh_addralign);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:121:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf32_Word’ {aka ‘unsigned int’}
> 121 | u32_to_native_endian_inplace(little_endian,
> elf32_section_header_table[i].sh_entsize);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:147:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Half’ {aka ‘short unsigned int’}
> 147 | u16_to_native_endian_inplace(little_endian, elf64_header.e_type);
> | ~~~~~~~~~~~~~^~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:148:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Half’ {aka ‘short unsigned int’}
> 148 | u16_to_native_endian_inplace(little_endian, elf64_header.e_machine);
> | ~~~~~~~~~~~~~^~~~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:149:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Word’ {aka ‘unsigned int’}
> 149 | u32_to_native_endian_inplace(little_endian, elf64_header.e_version);
> | ~~~~~~~~~~~~~^~~~~~~~~
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:153:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Word’ {aka ‘unsigned int’}
> 153 | u32_to_native_endian_inplace(little_endian, elf64_header.e_flags);
> | ~~~~~~~~~~~~~^~~~~~~
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:154:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Half’ {aka ‘short unsigned int’}
> 154 | u16_to_native_endian_inplace(little_endian, elf64_header.e_ehsize);
> | ~~~~~~~~~~~~~^~~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:155:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Half’ {aka ‘short unsigned int’}
> 155 | u16_to_native_endian_inplace(little_endian,
> elf64_header.e_phentsize);
> | ~~~~~~~~~~~~~^~~~~~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:156:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Half’ {aka ‘short unsigned int’}
> 156 | u16_to_native_endian_inplace(little_endian, elf64_header.e_phnum);
> | ~~~~~~~~~~~~~^~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:157:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Half’ {aka ‘short unsigned int’}
> 157 | u16_to_native_endian_inplace(little_endian,
> elf64_header.e_shentsize);
> | ~~~~~~~~~~~~~^~~~~~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:158:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Half’ {aka ‘short unsigned int’}
> 158 | u16_to_native_endian_inplace(little_endian, elf64_header.e_shnum);
> | ~~~~~~~~~~~~~^~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:159:60: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Half’ {aka ‘short unsigned int’}
> 159 | u16_to_native_endian_inplace(little_endian,
> elf64_header.e_shstrndx);
> | ~~~~~~~~~~~~~^~~~~~~~~~
> elf_reader.cpp:17:67: note: initializing argument 2 of ‘void
> u16_to_native_endian_inplace(bool, int&)’
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:182:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Word’ {aka ‘unsigned int’}
> 182 | u32_to_native_endian_inplace(little_endian,
> elf64_section_header_table[i].sh_name);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:183:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Word’ {aka ‘unsigned int’}
> 183 | u32_to_native_endian_inplace(little_endian,
> elf64_section_header_table[i].sh_type);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:188:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Word’ {aka ‘unsigned int’}
> 188 | u32_to_native_endian_inplace(little_endian,
> elf64_section_header_table[i].sh_link);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp:189:77: error: cannot bind non-const lvalue reference of type
> ‘int&’ to a value of type ‘Elf64_Word’ {aka ‘unsigned int’}
> 189 | u32_to_native_endian_inplace(little_endian,
> elf64_section_header_table[i].sh_info);
> elf_reader.cpp:24:67: note: initializing argument 2 of ‘void
> u32_to_native_endian_inplace(bool, int&)’
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> |
> ~~~~~~~~~~^~~~~
> elf_reader.cpp: At global scope:
> elf_reader.cpp:24:13: error: ‘void u32_to_native_endian_inplace(bool, int&)’
> defined but not used [-Werror=unused-function]
> 24 | static void u32_to_native_endian_inplace(bool le_input, uint32_t
> &input)
> | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
> elf_reader.cpp:17:13: error: ‘void u16_to_native_endian_inplace(bool, int&)’
> defined but not used [-Werror=unused-function]
> 17 | static void u16_to_native_endian_inplace(bool le_input, uint16_t
> &input)
> | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
> cc1plus: all warnings being treated as errors
> make[3]: *** [../common:226: elf_reader.o] Error 1
The full build log is available from:
http://qa-logs.debian.net/2023/07/24/cbmc_5.84.0-11_unstable.log
All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20230724;users=lu...@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20230724&fusertaguser=lu...@debian.org&allbugs=1&cseverity=1&ctags=1&caffected=1#results
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
