91 lines
2.2 KiB
C
91 lines
2.2 KiB
C
// RUN: %clang_cc1 -verify -ffreestanding %s
|
|
|
|
/* WG14 ???: yes
|
|
* restricted character set support via digraphs and <iso646.h>
|
|
*
|
|
* NB: I cannot find a definitive document number associated with the feature,
|
|
* which was pulled from the editor's report in the C99 front matter. However,
|
|
* based on discussion in the C99 rationale document, I believe this is
|
|
* referring to features added by AMD1 to support ISO 646 and digraphs.
|
|
*/
|
|
|
|
// Validate that we provide iso646.h in freestanding mode.
|
|
#include <iso646.h>
|
|
|
|
// Validate that we define all the expected macros and their expected
|
|
// expansions (when suitable for a constant expression) as well.
|
|
#ifndef and
|
|
#error "missing and"
|
|
#else
|
|
_Static_assert((1 and 1) == (1 && 1), "");
|
|
#endif
|
|
|
|
#ifndef and_eq
|
|
#error "missing and_eq"
|
|
#endif
|
|
|
|
#ifndef bitand
|
|
#error "missing bitand"
|
|
#else
|
|
_Static_assert((1 bitand 3) == (1 & 3), "");
|
|
#endif
|
|
|
|
#ifndef bitor
|
|
#error "missing bitor"
|
|
#else
|
|
_Static_assert((1 bitor 2) == (1 | 2), "");
|
|
#endif
|
|
|
|
#ifndef compl
|
|
#error "missing compl"
|
|
#else
|
|
_Static_assert((compl 0) == (~0), "");
|
|
#endif
|
|
|
|
#ifndef not
|
|
#error "missing not"
|
|
#else
|
|
_Static_assert((not 12) == (!12), "");
|
|
#endif
|
|
|
|
#ifndef not_eq
|
|
#error "missing not_eq"
|
|
#else
|
|
_Static_assert((0 not_eq 12) == (0 != 12), "");
|
|
#endif
|
|
|
|
#ifndef or
|
|
#error "missing or"
|
|
#else
|
|
// This intentionally diagnoses use of '||' only, because the user likely did
|
|
// not confuse the operator when using 'or' instead.
|
|
_Static_assert((0 or 12) == (0 || 12), ""); // expected-warning {{use of logical '||' with constant operand}} \
|
|
expected-note {{use '|' for a bitwise operation}}
|
|
#endif
|
|
|
|
#ifndef or_eq
|
|
#error "missing or_eq"
|
|
#endif
|
|
|
|
#ifndef xor
|
|
#error "missing xor"
|
|
#else
|
|
_Static_assert((1 xor 3) == (1 ^ 3), "");
|
|
#endif
|
|
|
|
#ifndef xor_eq
|
|
#error "missing xor_eq"
|
|
#endif
|
|
|
|
// Validate that digraphs behave the same as their expected counterparts. The
|
|
// definition should match the declaration in every way except spelling.
|
|
#define DI_NAME(f, b) f %:%: b
|
|
#define STD_NAME(f, b) f ## b
|
|
void DI_NAME(foo, bar)(int (*array)<: 0 :>);
|
|
void STD_NAME(foo, bar)(int (*array)[0]) {}
|
|
|
|
#define DI_STR(f) %:f
|
|
#define STD_STR(f) #f
|
|
_Static_assert(__builtin_strcmp(DI_STR(testing), STD_STR(testing)) == 0, "");
|
|
|