12728e1449
_Generic accepts an expression operand whose type is matched against a list of associations. The expression operand is unevaluated, but the type matched is the type after lvalue conversion. This conversion loses type information, which makes it more difficult to match against qualified or incomplete types. This extension allows _Generic to accept a type operand instead of an expression operand. The type operand form does not undergo any conversions and is matched directly against the association list. This extension is also supported in C++ as we already supported _Generic selection expressions there. The RFC for this extension can be found at: https://discourse.llvm.org/t/rfc-generic-selection-expression-with-a-type-operand/70388 Differential Revision: https://reviews.llvm.org/D149904
61 lines
1.7 KiB
C
61 lines
1.7 KiB
C
// RUN: %clang_cc1 -std=c99 -E %s -o - | FileCheck --check-prefix=CHECK-PED-NONE %s
|
|
// RUN: %clang_cc1 -std=c99 -pedantic-errors -E %s -o - | FileCheck --check-prefix=CHECK-PED-ERR %s
|
|
|
|
// CHECK-PED-NONE: no_dummy_extension
|
|
#if !__has_extension(dummy_extension)
|
|
int no_dummy_extension();
|
|
#endif
|
|
|
|
// Arbitrary feature to test that has_extension is a superset of has_feature
|
|
// CHECK-PED-NONE: attribute_overloadable
|
|
#if __has_extension(attribute_overloadable)
|
|
int attribute_overloadable();
|
|
#endif
|
|
|
|
// CHECK-PED-NONE: has_c_static_assert
|
|
// CHECK-PED-ERR: no_c_static_assert
|
|
#if __has_extension(c_static_assert)
|
|
int has_c_static_assert();
|
|
#else
|
|
int no_c_static_assert();
|
|
#endif
|
|
|
|
// CHECK-PED-NONE: has_c_generic_selections_with_controlling_type
|
|
// CHECK-PED-ERR: no_c_generic_selections_with_controlling_type
|
|
#if __has_extension(c_generic_selection_with_controlling_type)
|
|
int has_c_generic_selections_with_controlling_type();
|
|
#else
|
|
int no_c_generic_selections_with_controlling_type();
|
|
#endif
|
|
|
|
// CHECK-PED-NONE: has_c_generic_selections
|
|
// CHECK-PED-ERR: no_c_generic_selections
|
|
#if __has_extension(c_generic_selections)
|
|
int has_c_generic_selections();
|
|
#else
|
|
int no_c_generic_selections();
|
|
#endif
|
|
|
|
// CHECK-PED-NONE: has_c_alignas
|
|
// CHECK-PED-ERR: no_c_alignas
|
|
#if __has_extension(c_alignas)
|
|
int has_c_alignas();
|
|
#else
|
|
int no_c_alignas();
|
|
#endif
|
|
|
|
// CHECK-PED-NONE: has_c_alignof
|
|
// CHECK-PED-ERR: no_c_alignof
|
|
#if __has_extension(c_alignof)
|
|
int has_c_alignof();
|
|
#else
|
|
int no_c_alignof();
|
|
#endif
|
|
|
|
// Arbitrary feature to test that the extension name can be surrounded with
|
|
// double underscores.
|
|
// CHECK-PED-NONE: has_double_underscores
|
|
#if __has_extension(__c_alignas__)
|
|
int has_double_underscores();
|
|
#endif
|