Skip to content

Commit

Permalink
[bot][ubuntu] Generate current state of CWhy prompts (#42)
Browse files Browse the repository at this point in the history 
Co-authored-by: github-actions <[email protected]>
  • Loading branch information
@github-actions
github-actions[bot] and github-actions committed Oct 26, 2023
1 parent 002c7f1 commit 8137525
Show file tree
Hide file tree
Showing 6 changed files with 322 additions and 279 deletions.
231 changes: 115 additions & 116 deletions tests/.regression/ubuntu/clang++-17/missing-hash.cpp
View file

Large diffs are not rendered by default.

128 changes: 71 additions & 57 deletions tests/.regression/ubuntu/clang++-17/missing-ostream-operator.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,19 +14,33 @@ File `/home/runner/work/cwhy/cwhy/tests/c++/missing-ostream-operator.cpp`:
31 }
```

File `/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/system_error`:
File `/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/cstddef`:
```
328 /** Write a std::error_code to an ostream.
329 *
330 * @relates error_code
331 * @since C++11
332 */
333 template<typename _CharT, typename _Traits>
334 basic_ostream<_CharT, _Traits>&
335 operator<<(basic_ostream<_CharT, _Traits>& __os, const error_code& __e)
336 { return (__os << __e.category().name() << ':' << __e.value()); }
337
338 /** Class error_condition
118 template<typename _IntegerType>
119 using __byte_op_t = typename __byte_operand<_IntegerType>::__type;
120
121 template<typename _IntegerType>
122 [[__gnu__::__always_inline__]]
123 constexpr __byte_op_t<_IntegerType>
124 operator<<(byte __b, _IntegerType __shift) noexcept
125 { return (byte)(unsigned char)((unsigned)__b << __shift); }
126
127 template<typename _IntegerType>
```

File `/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/system_error`:
```
332 /** Write a std::error_code to an ostream.
333 *
334 * @relates error_code
335 * @since C++11
336 */
337 template<typename _CharT, typename _Traits>
338 basic_ostream<_CharT, _Traits>&
339 operator<<(basic_ostream<_CharT, _Traits>& __os, const error_code& __e)
340 { return (__os << __e.category().name() << ':' << __e.value()); }
341
342 /** Class error_condition
```
Expand All @@ -35,76 +49,76 @@ This is my error:
/home/runner/work/cwhy/cwhy/tests/c++/missing-ostream-operator.cpp:30:15: error: invalid operands to binary expression ('ostream' (aka 'basic_ostream<char>') and 'Cat')
30 | std::cout << cat << std::endl;
| ~~~~~~~~~ ^ ~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/system_error:335:5: note: candidate function template not viable: no known conversion from 'Cat' to 'const error_code' for 2nd argument
335 | operator<<(basic_ostream<_CharT, _Traits>& __os, const error_code& __e)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/cstddef:124:5: note: candidate function template not viable: no known conversion from 'ostream' (aka 'basic_ostream<char>') to 'byte' for 1st argument
124 | operator<<(byte __b, _IntegerType __shift) noexcept
| ^ ~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/system_error:339:5: note: candidate function template not viable: no known conversion from 'Cat' to 'const error_code' for 2nd argument
339 | operator<<(basic_ostream<_CharT, _Traits>& __os, const error_code& __e)
| ^ ~~~~~~~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:517:5: note: candidate function template not viable: no known conversion from 'Cat' to 'char' for 2nd argument
517 | operator<<(basic_ostream<_CharT, _Traits>& __out, char __c)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:564:5: note: candidate function template not viable: no known conversion from 'Cat' to 'char' for 2nd argument
564 | operator<<(basic_ostream<_CharT, _Traits>& __out, char __c)
| ^ ~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:523:5: note: candidate function template not viable: no known conversion from 'Cat' to 'char' for 2nd argument
523 | operator<<(basic_ostream<char, _Traits>& __out, char __c)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:570:5: note: candidate function template not viable: no known conversion from 'Cat' to 'char' for 2nd argument
570 | operator<<(basic_ostream<char, _Traits>& __out, char __c)
| ^ ~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:534:5: note: candidate function template not viable: no known conversion from 'Cat' to 'signed char' for 2nd argument
534 | operator<<(basic_ostream<char, _Traits>& __out, signed char __c)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:581:5: note: candidate function template not viable: no known conversion from 'Cat' to 'signed char' for 2nd argument
581 | operator<<(basic_ostream<char, _Traits>& __out, signed char __c)
| ^ ~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:539:5: note: candidate function template not viable: no known conversion from 'Cat' to 'unsigned char' for 2nd argument
539 | operator<<(basic_ostream<char, _Traits>& __out, unsigned char __c)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:586:5: note: candidate function template not viable: no known conversion from 'Cat' to 'unsigned char' for 2nd argument
586 | operator<<(basic_ostream<char, _Traits>& __out, unsigned char __c)
| ^ ~~~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:615:5: note: candidate function template not viable: no known conversion from 'Cat' to 'const char *' for 2nd argument
615 | operator<<(basic_ostream<char, _Traits>& __out, const char* __s)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:662:5: note: candidate function template not viable: no known conversion from 'Cat' to 'const char *' for 2nd argument
662 | operator<<(basic_ostream<char, _Traits>& __out, const char* __s)
| ^ ~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:628:5: note: candidate function template not viable: no known conversion from 'Cat' to 'const signed char *' for 2nd argument
628 | operator<<(basic_ostream<char, _Traits>& __out, const signed char* __s)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:675:5: note: candidate function template not viable: no known conversion from 'Cat' to 'const signed char *' for 2nd argument
675 | operator<<(basic_ostream<char, _Traits>& __out, const signed char* __s)
| ^ ~~~~~~~~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:633:5: note: candidate function template not viable: no known conversion from 'Cat' to 'const unsigned char *' for 2nd argument
633 | operator<<(basic_ostream<char, _Traits>& __out, const unsigned char* __s)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:680:5: note: candidate function template not viable: no known conversion from 'Cat' to 'const unsigned char *' for 2nd argument
680 | operator<<(basic_ostream<char, _Traits>& __out, const unsigned char* __s)
| ^ ~~~~~~~~~~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/bits/ostream.tcc:307:5: note: candidate function template not viable: no known conversion from 'Cat' to 'const char *' for 2nd argument
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/ostream.tcc:307:5: note: candidate function template not viable: no known conversion from 'Cat' to 'const char *' for 2nd argument
307 | operator<<(basic_ostream<_CharT, _Traits>& __out, const char* __s)
| ^ ~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:507:5: note: candidate template ignored: deduced conflicting types for parameter '_CharT' ('char' vs. 'Cat')
507 | operator<<(basic_ostream<_CharT, _Traits>& __out, _CharT __c)
| ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/string_view:672:5: note: candidate template ignored: could not match 'basic_string_view<_CharT, _Traits>' against 'Cat'
672 | operator<<(basic_ostream<_CharT, _Traits>& __os,
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:554:5: note: candidate template ignored: deduced conflicting types for parameter '_CharT' ('char' vs. 'Cat')
554 | operator<<(basic_ostream<_CharT, _Traits>& __out, _CharT __c)
| ^
[...]
178 | operator<<(short __n);
180 | operator<<(short __n);
| ^ ~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:181:7: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned short' for 1st argument
181 | operator<<(unsigned short __n)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:183:7: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned short' for 1st argument
183 | operator<<(unsigned short __n)
| ^ ~~~~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:189:7: note: candidate function not viable: no known conversion from 'Cat' to 'int' for 1st argument
189 | operator<<(int __n);
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:191:7: note: candidate function not viable: no known conversion from 'Cat' to 'int' for 1st argument
191 | operator<<(int __n);
| ^ ~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:192:7: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned int' for 1st argument
192 | operator<<(unsigned int __n)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:194:7: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned int' for 1st argument
194 | operator<<(unsigned int __n)
| ^ ~~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:201:7: note: candidate function not viable: no known conversion from 'Cat' to 'long long' for 1st argument
201 | operator<<(long long __n)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:203:7: note: candidate function not viable: no known conversion from 'Cat' to 'long long' for 1st argument
203 | operator<<(long long __n)
| ^ ~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:205:7: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned long long' for 1st argument
205 | operator<<(unsigned long long __n)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:207:7: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned long long' for 1st argument
207 | operator<<(unsigned long long __n)
| ^ ~~~~~~~~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:220:7: note: candidate function not viable: no known conversion from 'Cat' to 'double' for 1st argument
220 | operator<<(double __f)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:222:7: note: candidate function not viable: no known conversion from 'Cat' to 'double' for 1st argument
222 | operator<<(double __f)
| ^ ~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:224:7: note: candidate function not viable: no known conversion from 'Cat' to 'float' for 1st argument
224 | operator<<(float __f)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:226:7: note: candidate function not viable: no known conversion from 'Cat' to 'float' for 1st argument
226 | operator<<(float __f)
| ^ ~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:232:7: note: candidate function not viable: no known conversion from 'Cat' to 'long double' for 1st argument
232 | operator<<(long double __f)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:234:7: note: candidate function not viable: no known conversion from 'Cat' to 'long double' for 1st argument
234 | operator<<(long double __f)
| ^ ~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:245:7: note: candidate function not viable: no known conversion from 'Cat' to 'const void *' for 1st argument; take the address of the argument with &
245 | operator<<(const void* __p)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:292:7: note: candidate function not viable: no known conversion from 'Cat' to 'const void *' for 1st argument; take the address of the argument with &
292 | operator<<(const void* __p)
| ^ ~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:250:7: note: candidate function not viable: no known conversion from 'Cat' to 'nullptr_t' (aka 'std::nullptr_t') for 1st argument
250 | operator<<(nullptr_t)
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:297:7: note: candidate function not viable: no known conversion from 'Cat' to 'nullptr_t' (aka 'std::nullptr_t') for 1st argument
297 | operator<<(nullptr_t)
| ^ ~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/ostream:283:7: note: candidate function not viable: no known conversion from 'Cat' to '__streambuf_type *' (aka 'basic_streambuf<char, std::char_traits<char>> *') for 1st argument
283 | operator<<(__streambuf_type* __sb);
/usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/ostream:330:7: note: candidate function not viable: no known conversion from 'Cat' to '__streambuf_type *' (aka 'basic_streambuf<char, std::char_traits<char>> *') for 1st argument
330 | operator<<(__streambuf_type* __sb);
| ^ ~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
```
Expand Down
Loading

0 comments on commit 8137525

Please sign in to comment.