call to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<bool>' is not a constant expression
Hello,
Unfortunately, fbinfer no longer works on Arch Linux.
```
[17A[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4013:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<bool>' is not a constant expression[0m
4013 | return std::forward<_Visitor>(__vis)(_M_val._M_bool);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4106:20: [0m[0;1;36mnote: [0min instantiation of function template specialization 'std::basic_format_arg<std::basic_format_context<std::__format::_Sink_iter<char>, char>>::_M_visit<(lambda at /usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4593:31)>' requested here[0m
4106 | return __arg._M_visit(std::forward<_Visitor>(__vis), __arg._M_type);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4593:12: [0m[0;1;36mnote: [0min instantiation of function template specialization 'std::__format::__visit_format_arg<(lambda at /usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4593:31), std::basic_format_context<std::__format::_Sink_iter<char>, char>>' requested here[0m
4593 | __format::__visit_format_arg([this](auto& __arg) {[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4760:55: [0m[0;1;36mnote: [0min instantiation of member function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg' requested here[0m
4760 | _Formatting_scanner<_Sink_iter<_CharT>, _CharT> __scanner(__ctx, __fmt);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4760:55: [0m[0;1;36mnote: [0min instantiation of template class 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>' requested here[0m
[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4819:24: [0m[0;1;36mnote: [0min instantiation of function template specialization 'std::__format::__do_vformat_to<std::__format::_Sink_iter<char>, char, std::basic_format_context<std::__format::_Sink_iter<char>, char>>' requested here[0m
4819 | { return __format::__do_vformat_to(std::move(__out), __fmt, __args); }[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4854:10: [0m[0;1;36mnote: [0min instantiation of function template specialization 'std::vformat_to<std::__format::_Sink_iter<char>>' requested here[0m
4854 | std::vformat_to(__buf.out(), __fmt, __args);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4013:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4013 | return std::forward<_Visitor>(__vis)(_M_val._M_bool);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4015:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<char>' is not a constant expression[0m
4015 | return std::forward<_Visitor>(__vis)(_M_val._M_c);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4015:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4015 | return std::forward<_Visitor>(__vis)(_M_val._M_c);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4017:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<int>' is not a constant expression[0m
4017 | return std::forward<_Visitor>(__vis)(_M_val._M_i);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4017:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4017 | return std::forward<_Visitor>(__vis)(_M_val._M_i);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4019:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<unsigned int>' is not a constant expression[0m
4019 | return std::forward<_Visitor>(__vis)(_M_val._M_u);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4019:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4019 | return std::forward<_Visitor>(__vis)(_M_val._M_u);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4021:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<long long>' is not a constant expression[0m
4021 | return std::forward<_Visitor>(__vis)(_M_val._M_ll);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4021:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4021 | return std::forward<_Visitor>(__vis)(_M_val._M_ll);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4023:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<unsigned long long>' is not a constant expression[0m
4023 | return std::forward<_Visitor>(__vis)(_M_val._M_ull);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4023:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4023 | return std::forward<_Visitor>(__vis)(_M_val._M_ull);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4026:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<float>' is not a constant expression[0m
4026 | return std::forward<_Visitor>(__vis)(_M_val._M_flt);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4026:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4026 | return std::forward<_Visitor>(__vis)(_M_val._M_flt);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4028:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<double>' is not a constant expression[0m
4028 | return std::forward<_Visitor>(__vis)(_M_val._M_dbl);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4028:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4028 | return std::forward<_Visitor>(__vis)(_M_val._M_dbl);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4031:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<long double>' is not a constant expression[0m
4031 | return std::forward<_Visitor>(__vis)(_M_val._M_ldbl);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4031:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4031 | return std::forward<_Visitor>(__vis)(_M_val._M_ldbl);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4040:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<const char *>' is not a constant expression[0m
4040 | return std::forward<_Visitor>(__vis)(_M_val._M_str);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4040:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4040 | return std::forward<_Visitor>(__vis)(_M_val._M_str);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4042:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<std::basic_string_view<char>>' is not a constant expression[0m
4042 | return std::forward<_Visitor>(__vis)(_M_val._M_sv);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4042:38: [0m[0;1;36mnote: [0mfunction parameter '__vis' with unknown value cannot be used in a constant expression[0m
4042 | return std::forward<_Visitor>(__vis)(_M_val._M_sv);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4005:22: [0m[0;1;36mnote: [0mdeclared here[0m
4005 | _M_visit(_Visitor&& __vis, __format::_Arg_t __type)[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4044:15: [0m[0;1;31merror: [0m[1mcall to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<const void *>' is not a constant expression[0m
4044 | return std::forward<_Visitor>(__vis)(_M_val._M_ptr);[0m
| [0;1;32m ^
[0m[1m/usr/lib64/gcc/x86_64-pc-linux-gnu/15.2.1/../../../../include/c++/15.2.1/format:4044:38:
```
Full log:
[infer.txt](https://github.com/user-attachments/files/24064236/infer.txt)
[infer-out.zip](https://github.com/user-attachments/files/24064270/infer-out.zip)
Code: https://codeberg.org/mark22k/mping-sender/src/commit/c21d359ae11413fd0e1efda1592680046fb4e95e
1 条评论