diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/warn/pr104492.C')
-rw-r--r-- | gcc/testsuite/g++.dg/warn/pr104492.C | 115 |
1 files changed, 115 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/warn/pr104492.C b/gcc/testsuite/g++.dg/warn/pr104492.C new file mode 100644 index 0000000..229414d --- /dev/null +++ b/gcc/testsuite/g++.dg/warn/pr104492.C @@ -0,0 +1,115 @@ +// PR middle-end/104492 +// { dg-do compile { target c++14 } } +// { dg-options "-O3 -Wall" } + +namespace std { +typedef decltype (sizeof 0) size_t; +template <typename _Tp, _Tp __v> struct integral_constant { + static constexpr _Tp value = __v; +}; +template <typename _Tp, typename _Up> +struct is_same : integral_constant<bool, __is_same(_Tp, _Up)> {}; +template <bool, typename> struct enable_if; +template <typename _Tp> _Tp forward; +} +class QString; +struct random_access_iterator_tag {}; +template <typename> struct iterator_traits { + typedef random_access_iterator_tag iterator_category; +}; +template <typename _Iter> +typename iterator_traits<_Iter>::iterator_category __iterator_category(_Iter); +namespace __gnu_cxx { +namespace __ops { +template <typename> struct _Iter_equals_val { + template <typename _Iterator> bool operator()(_Iterator); +}; +template <typename _Value> _Iter_equals_val<_Value> __iter_equals_val(_Value); +} +} +namespace std { +template <typename _RandomAccessIterator, typename _Predicate> +_RandomAccessIterator __find_if(_RandomAccessIterator __first, + _RandomAccessIterator __last, _Predicate __pred, + random_access_iterator_tag) { + if (__pred(__first)) + return __first; + return __last; +} +template <typename _Iterator, typename _Predicate> +_Iterator __find_if(_Iterator __first, _Iterator __last, _Predicate __pred) { + return __find_if(__first, __last, __pred, __iterator_category(__first)); +} +template <typename _Tp, size_t _Nm> _Tp *begin(_Tp (&__arr)[_Nm]) { + return __arr; +} +template <typename _Tp, size_t _Nm> _Tp *end(_Tp (&__arr)[_Nm]) { + return __arr + _Nm; +} +template <typename _InputIterator, typename _Tp> +_InputIterator find(_InputIterator __first, _InputIterator __last, _Tp __val) { + return __find_if(__first, __last, __gnu_cxx::__ops::__iter_equals_val(__val)); +} +} +struct QStringView { + template <typename T> + using if_compatible_qstring_like = std::enable_if<std::is_same<T, QString>::value, bool>; + template <typename String> QStringView(String); +}; +template <typename Haystack, typename> struct QStringTokenizerBase { + class sentinel {}; + struct iterator { + Haystack operator*(); + iterator operator++(int); + bool operator!=(sentinel); + }; + iterator begin(); + template <bool = std::is_same<iterator, sentinel>::value> sentinel end(); +}; +namespace QtPrivate { +namespace Tok { +template <typename Haystack, typename Needle> +using TokenizerBase = QStringTokenizerBase<Haystack, Needle>; +} +} +template <typename Haystack, typename Needle> +struct QStringTokenizer + : public QtPrivate::Tok::TokenizerBase<Haystack, Needle> { + QStringTokenizer(Haystack, Needle); +}; +namespace QtPrivate { +namespace Tok { +template <typename Haystack, typename Needle> +using TokenizerResult = QStringTokenizer<Haystack, Needle>; +} +} +template <typename Haystack, typename Needle> +auto qTokenize(Haystack, Needle) + -> decltype(QtPrivate::Tok::TokenizerResult<Haystack, Needle>{ + std::forward<Haystack>, std::forward<Needle>}); +struct QLatin1String { + QLatin1String(const char *) {} +}; +class QString {}; +class QLibrary { + bool isLibrary(const QString &); +}; + +bool QLibrary::isLibrary(const QString &fileName) +{ + QString completeSuffix = fileName; + auto isValidSuffix = [](QStringView s) { + const QLatin1String candidates[] = { + QLatin1String("so"), + }; + return std::find(std::begin(candidates), std::end(candidates), s) != std::end(candidates); + }; + auto suffixes = qTokenize(completeSuffix, u'.'); + auto it = suffixes.begin(); + const auto end = suffixes.end(); + while (it != end) { + if (isValidSuffix(*it++)) // { dg-bogus "dangling pointer to .candidates. may be used" } + return true; + } + return false; +} |