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; operator intstd::strong_ordering8 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 test()16void test() { 17 // no crash 18 (void)(0 <=> 0); 19 } 20