clang/test/Analysis/PR47511.cpp

   1 // RUN: %clang_analyze_cc1 -std=c++20 -w -analyzer-checker=core -verify %s
   2
   3 // expected-no-diagnostics
   4
   5 namespace std {
   6 struct strong_ordering {
   7   int n;
   8   constexpr operator int() const { return n; }
   9   static const strong_ordering equal, greater, less;
  10 };
  11 constexpr strong_ordering strong_ordering::equal = {0};
  12 constexpr strong_ordering strong_ordering::greater = {1};
  13 constexpr strong_ordering strong_ordering::less = {-1};
  14 } // namespace std
  15
  16 void test() {
  17   // no crash
  18   (void)(0 <=> 0);
  19 }