mirror of
git://repo.or.cz/tinycc.git
synced 2026-11-05 05:36:35 +08:00
1f214e1390
To ensure that qualifiers within an array-style parameter declaration (e.g. int [const 2] are handled correctly, post_type() is modified to collect qualifiers and OR them into the t member of CType. The new test for restrict also passes, but only because the restrict keyword is ignored.
72 lines
2.3 KiB
C
72 lines
2.3 KiB
C
void pointer_parameters(int *const cp, int *volatile vp, int *restrict rp)
|
|
{
|
|
_Static_assert(_Generic(&cp, int *const *: 1, default: 0),
|
|
"const pointer parameter remains qualified");
|
|
_Static_assert(_Generic(&vp, int *volatile *: 1, default: 0),
|
|
"volatile pointer parameter remains qualified");
|
|
_Static_assert(_Generic(&rp, int *restrict *: 1, default: 0),
|
|
"restrict pointer parameter remains qualified");
|
|
}
|
|
|
|
void array_parameters(int ca[const 2], int va[volatile 2], int ra[restrict 2])
|
|
{
|
|
_Static_assert(_Generic(&ca, int *const *: 1, default: 0),
|
|
"const array parameter adjusts to qualified pointer");
|
|
_Static_assert(_Generic(&va, int *volatile *: 1, default: 0),
|
|
"volatile array parameter adjusts to qualified pointer");
|
|
_Static_assert(_Generic(&ra, int *restrict *: 1, default: 0),
|
|
"restrict array parameter adjusts to qualified pointer");
|
|
}
|
|
|
|
void declared_const(int *const pointer);
|
|
void declared_const(int *pointer)
|
|
{
|
|
_Static_assert(_Generic(&pointer, int **: 1, default: 0),
|
|
"declaration qualifier does not affect definition");
|
|
pointer = 0;
|
|
}
|
|
|
|
void defined_const(int *pointer);
|
|
void defined_const(int *const pointer)
|
|
{
|
|
_Static_assert(_Generic(&pointer, int *const *: 1, default: 0),
|
|
"definition retains const");
|
|
}
|
|
|
|
void declared_volatile(int *volatile pointer);
|
|
void declared_volatile(int *pointer)
|
|
{
|
|
_Static_assert(_Generic(&pointer, int **: 1, default: 0),
|
|
"declaration qualifier does not affect definition");
|
|
pointer = 0;
|
|
}
|
|
|
|
void defined_volatile(int *pointer);
|
|
void defined_volatile(int *volatile pointer)
|
|
{
|
|
_Static_assert(_Generic(&pointer, int *volatile *: 1, default: 0),
|
|
"definition retains volatile");
|
|
pointer = 0;
|
|
}
|
|
|
|
void declared_restrict(int *restrict pointer);
|
|
void declared_restrict(int *pointer)
|
|
{
|
|
_Static_assert(_Generic(&pointer, int **: 1, default: 0),
|
|
"declaration qualifier does not affect definition");
|
|
pointer = 0;
|
|
}
|
|
|
|
void defined_restrict(int *pointer);
|
|
void defined_restrict(int *restrict pointer)
|
|
{
|
|
_Static_assert(_Generic(&pointer, int *restrict *: 1, default: 0),
|
|
"definition retains restrict");
|
|
pointer = 0;
|
|
}
|
|
|
|
int main(void)
|
|
{
|
|
return 0;
|
|
}
|