/*
* Miscellaneous tests that are specific to lint's GCC mode.
*/
/* lint1-extra-flags: -X 351 */
// Before C99 introduced __func__, GCC already had __FUNCTION__ with the same
// semantics.
const char *
gcc_function(void)
{
/* expect+1: error: negative array dimension (-13) [20] */
typedef int size[-(int)sizeof __FUNCTION__];
return __FUNCTION__;
}
// Before C99 introduced designators in initializers, GCC already had them,
// although with a different syntax for struct/union members and with the
// a...b for ranges of array elements.
int array_range_initializers[256] = {
[2] = 1,
[3] = 2,
[4 ... 5] = 3
};
_Bool dbl_isinf(double);
// Test that the GCC '__extension__' and '__typeof' are recognized.
void
extension_and_typeof(void)
{
double __logbw = 1;
if (__extension__(({
__typeof((__logbw)) x_ = (__logbw);
!dbl_isinf((x_));
})))
__logbw = 1;
}
int
range_in_case_label(int i)
{
switch (i) {
case 1 ... 40: // This is a GCC extension.
return 1;
default:
return 2;
}
}
union {
int i[10];
short s;
} initialize_union_with_gcc_designators[] = {
{ s: 2 },
{ i: { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 } },
};
void
declaration_of_variable_array(int i)
{
int array[i];
while (i-- > 0)
array[i] = 0;
}
/*
* Before cgram.y 1.226 from 2021-05-03, lint could not parse typeof(...) if
* there was a statement before it.
*/
void *
typeof_after_statement(void **ptr)
{
return ({
if (*ptr != (void *)0)
ptr++;
__typeof__(*ptr) ret = *ptr;
ret;
});
}
