Skip to content

Commit

Permalink
[bot][macos] Generate current state of CWhy prompts
Browse files Browse the repository at this point in the history
  • Loading branch information
@nicovank
github-actions authored and nicovank committed May 21, 2024
1 parent 179609d commit 3004380
Show file tree
Hide file tree
Showing 6 changed files with 282 additions and 278 deletions.
329 changes: 170 additions & 159 deletions tests/.regression/macos/clang++/missing-hash.cpp
View file

Large diffs are not rendered by default.

79 changes: 46 additions & 33 deletions tests/.regression/macos/clang++/missing-ostream-operator.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,90 +14,103 @@ File `/Users/runner/work/cwhy/cwhy/tests/c++/missing-ostream-operator.cpp`:
31 }
```

File `/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/cstddef`:
File `/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/cstddef`:
```
136 template <class _Integer>
137 constexpr _EnableByteOverload<_Integer> &
138 operator<<=(byte& __lhs, _Integer __shift) noexcept
139 { return __lhs = __lhs << __shift; }
140
141 template <class _Integer>
142 constexpr _EnableByteOverload<_Integer>
143 operator<< (byte __lhs, _Integer __shift) noexcept
144 { return static_cast<byte>(static_cast<unsigned char>(static_cast<unsigned int>(__lhs) << __shift)); }
145
146 template <class _Integer>
118 template <class _Integer>
119 _LIBCPP_HIDE_FROM_ABI constexpr _EnableByteOverload<_Integer> &
120 operator<<=(byte& __lhs, _Integer __shift) noexcept
121 { return __lhs = __lhs << __shift; }
122
123 template <class _Integer>
124 _LIBCPP_HIDE_FROM_ABI constexpr _EnableByteOverload<_Integer>
125 operator<< (byte __lhs, _Integer __shift) noexcept
126 { return static_cast<byte>(static_cast<unsigned char>(static_cast<unsigned int>(__lhs) << __shift)); }
127
128 template <class _Integer>
```


This is my error:
```
/Users/runner/work/cwhy/cwhy/tests/c++/missing-ostream-operator.cpp:30:15: error: invalid operands to binary expression ('std::ostream' (aka 'basic_ostream<char>') and 'Cat')
/Users/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')
std::cout << cat << std::endl;
~~~~~~~~~ ^ ~~~
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/cstddef:143:3: note: candidate function template not viable: no known conversion from 'std::ostream' (aka 'basic_ostream<char>') to 'std::byte' for 1st argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/cstddef:125:3: note: candidate function template not viable: no known conversion from 'ostream' (aka 'basic_ostream<char>') to 'byte' for 1st argument
operator<< (byte __lhs, _Integer __shift) noexcept
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:748:1: note: candidate function template not viable: no known conversion from 'Cat' to 'char' for 2nd argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:800:1: note: candidate function template not viable: no known conversion from 'Cat' to 'char' for 2nd argument
operator<<(basic_ostream<_CharT, _Traits>& __os, char __cn)
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:781:1: note: candidate function template not viable: no known conversion from 'Cat' to 'char' for 2nd argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:833:1: note: candidate function template not viable: no known conversion from 'Cat' to 'char' for 2nd argument
operator<<(basic_ostream<char, _Traits>& __os, char __c)
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:788:1: note: candidate function template not viable: no known conversion from 'Cat' to 'signed char' for 2nd argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:840:1: note: candidate function template not viable: no known conversion from 'Cat' to 'signed char' for 2nd argument
operator<<(basic_ostream<char, _Traits>& __os, signed char __c)
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:795:1: note: candidate function template not viable: no known conversion from 'Cat' to 'unsigned char' for 2nd argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:847:1: note: candidate function template not viable: no known conversion from 'Cat' to 'unsigned char' for 2nd argument
operator<<(basic_ostream<char, _Traits>& __os, unsigned char __c)
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:809:1: note: candidate function template not viable: no known conversion from 'Cat' to 'const char *' for 2nd argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:861:1: note: candidate function template not viable: no known conversion from 'Cat' to 'const char *' for 2nd argument
operator<<(basic_ostream<_CharT, _Traits>& __os, const char* __strn)
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:855:1: note: candidate function template not viable: no known conversion from 'Cat' to 'const char *' for 2nd argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:907:1: note: candidate function template not viable: no known conversion from 'Cat' to 'const char *' for 2nd argument
operator<<(basic_ostream<char, _Traits>& __os, const char* __str)
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:862:1: note: candidate function template not viable: no known conversion from 'Cat' to 'const signed char *' for 2nd argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:914:1: note: candidate function template not viable: no known conversion from 'Cat' to 'const signed char *' for 2nd argument
operator<<(basic_ostream<char, _Traits>& __os, const signed char* __str)
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:870:1: note: candidate function template not viable: no known conversion from 'Cat' to 'const unsigned char *' for 2nd argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:922:1: note: candidate function template not viable: no known conversion from 'Cat' to 'const unsigned char *' for 2nd argument
operator<<(basic_ostream<char, _Traits>& __os, const unsigned char* __str)
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:1055:1: note: candidate function template not viable: no known conversion from 'Cat' to 'const std::error_code' for 2nd argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:1107:1: note: candidate function template not viable: no known conversion from 'Cat' to 'const error_code' for 2nd argument
operator<<(basic_ostream<_CharT, _Traits>& __os, const error_code& __ec)
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:1145:31: note: candidate function template not viable: no known conversion from 'Cat' to 'wchar_t' for 2nd argument
basic_ostream<char, _Traits>& operator<<(basic_ostream<char, _Traits>&, wchar_t) = delete;
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:1148:31: note: candidate function template not viable: no known conversion from 'Cat' to 'const wchar_t *' for 2nd argument
basic_ostream<char, _Traits>& operator<<(basic_ostream<char, _Traits>&, const wchar_t*) = delete;
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:1166:31: note: candidate function template not viable: no known conversion from 'Cat' to 'char8_t' for 2nd argument

[...]

basic_ostream& operator<<(unsigned short __n);
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:244:20: note: candidate function not viable: no known conversion from 'Cat' to 'int' for 1st argument
basic_ostream& operator<<(int __n);
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:245:20: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned int' for 1st argument
basic_ostream& operator<<(unsigned int __n);
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:205:20: note: candidate function not viable: no known conversion from 'Cat' to 'long' for 1st argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:246:20: note: candidate function not viable: no known conversion from 'Cat' to 'long' for 1st argument
basic_ostream& operator<<(long __n);
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:206:20: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned long' for 1st argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:247:20: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned long' for 1st argument
basic_ostream& operator<<(unsigned long __n);
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:207:20: note: candidate function not viable: no known conversion from 'Cat' to 'long long' for 1st argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:248:20: note: candidate function not viable: no known conversion from 'Cat' to 'long long' for 1st argument
basic_ostream& operator<<(long long __n);
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:208:20: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned long long' for 1st argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:249:20: note: candidate function not viable: no known conversion from 'Cat' to 'unsigned long long' for 1st argument
basic_ostream& operator<<(unsigned long long __n);
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:209:20: note: candidate function not viable: no known conversion from 'Cat' to 'float' for 1st argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:250:20: note: candidate function not viable: no known conversion from 'Cat' to 'float' for 1st argument
basic_ostream& operator<<(float __f);
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:210:20: note: candidate function not viable: no known conversion from 'Cat' to 'double' for 1st argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:251:20: note: candidate function not viable: no known conversion from 'Cat' to 'double' for 1st argument
basic_ostream& operator<<(double __f);
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:211:20: note: candidate function not viable: no known conversion from 'Cat' to 'long double' for 1st argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:252:20: note: candidate function not viable: no known conversion from 'Cat' to 'long double' for 1st argument
basic_ostream& operator<<(long double __f);
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:212:20: note: candidate function not viable: no known conversion from 'Cat' to 'const void *' for 1st argument; take the address of the argument with &
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:253:20: note: candidate function not viable: no known conversion from 'Cat' to 'const void *' for 1st argument; take the address of the argument with &
basic_ostream& operator<<(const void* __p);
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:213:20: note: candidate function not viable: no known conversion from 'Cat' to 'basic_streambuf<std::basic_ostream<char>::char_type, std::basic_ostream<char>::traits_type> *' (aka 'basic_streambuf<char, std::char_traits<char>> *') for 1st argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:262:20: note: candidate function not viable: no known conversion from 'Cat' to 'basic_streambuf<char_type, traits_type> *' (aka 'basic_streambuf<char, std::char_traits<char>> *') for 1st argument
basic_ostream& operator<<(basic_streambuf<char_type, traits_type>* __sb);
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:216:20: note: candidate function not viable: no known conversion from 'Cat' to 'std::nullptr_t' for 1st argument
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/ostream:268:20: note: candidate function not viable: no known conversion from 'Cat' to 'nullptr_t' (aka 'std::nullptr_t') for 1st argument
basic_ostream& operator<<(nullptr_t)
^
1 error generated.
Expand Down
48 changes: 24 additions & 24 deletions tests/.regression/macos/clang++/overload-resolution-failure-transform-missing-argument.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,29 +14,29 @@ File `/Users/runner/work/cwhy/cwhy/tests/c++/overload-resolution-failure-transfo
42 }
```

File `/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__algorithm/transform.h`:
File `/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/__algorithm/transform.h`:
```
19 #include <__undef_macros>
20
21 _LIBCPP_BEGIN_NAMESPACE_STD
22
23 template <class _InputIterator, class _OutputIterator, class _UnaryOperation>
24 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17
25 _OutputIterator
26 transform(_InputIterator __first, _InputIterator __last, _OutputIterator __result, _UnaryOperation __op)
27 {
28 for (; __first != __last; ++__first, (void) ++__result)
29 *__result = __op(*__first);
30 return __result;
31 }
32
33 template <class _InputIterator1, class _InputIterator2, class _OutputIterator, class _BinaryOperation>
34 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17
35 _OutputIterator
36 transform(_InputIterator1 __first1, _InputIterator1 __last1, _InputIterator2 __first2,
37 _OutputIterator __result, _BinaryOperation __binary_op)
38 {
39 for (; __first1 != __last1; ++__first1, (void) ++__first2, ++__result)
16 #endif
17
18 _LIBCPP_BEGIN_NAMESPACE_STD
19
20 template <class _InputIterator, class _OutputIterator, class _UnaryOperation>
21 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX20
22 _OutputIterator
23 transform(_InputIterator __first, _InputIterator __last, _OutputIterator __result, _UnaryOperation __op)
24 {
25 for (; __first != __last; ++__first, (void) ++__result)
26 *__result = __op(*__first);
27 return __result;
28 }
29
30 template <class _InputIterator1, class _InputIterator2, class _OutputIterator, class _BinaryOperation>
31 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX20
32 _OutputIterator
33 transform(_InputIterator1 __first1, _InputIterator1 __last1, _InputIterator2 __first2,
34 _OutputIterator __result, _BinaryOperation __binary_op)
35 {
36 for (; __first1 != __last1; ++__first1, (void) ++__first2, ++__result)
```


Expand All @@ -45,10 +45,10 @@ This is my error:
/Users/runner/work/cwhy/cwhy/tests/c++/overload-resolution-failure-transform-missing-argument.cpp:41:5: error: no matching function for call to 'transform'
std::transform(v.begin(), v.end(), [](int i) { return i * i; });
^~~~~~~~~~~~~~
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__algorithm/transform.h:26:1: note: candidate function template not viable: requires 4 arguments, but 3 were provided
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/__algorithm/transform.h:23:1: note: candidate function template not viable: requires 4 arguments, but 3 were provided
transform(_InputIterator __first, _InputIterator __last, _OutputIterator __result, _UnaryOperation __op)
^
/Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__algorithm/transform.h:36:1: note: candidate function template not viable: requires 5 arguments, but 3 were provided
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/v1/__algorithm/transform.h:33:1: note: candidate function template not viable: requires 5 arguments, but 3 were provided
transform(_InputIterator1 __first1, _InputIterator1 __last1, _InputIterator2 __first2,
^
1 error generated.
Expand Down
Loading

0 comments on commit 3004380

Please sign in to comment.