-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make casts lose top-level qualifiers
TODO: also make them lose lvalue status
- Loading branch information
1 parent
db9d7b0
commit 4d7dfb0
Showing
2 changed files
with
82 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,81 @@ | ||
#include <stdio.h> | ||
|
||
const int a = 0; | ||
|
||
struct a { | ||
int a; | ||
}; | ||
|
||
struct b { | ||
int a; | ||
}; | ||
|
||
int a_f() | ||
{ | ||
return 20; | ||
} | ||
|
||
int b_f() | ||
{ | ||
return 10; | ||
} | ||
|
||
typedef int (*fptr)(int); | ||
int foo(int i) | ||
{ | ||
return i; | ||
} | ||
|
||
typedef int int_type1; | ||
|
||
#define gen_sw(a) _Generic(a, const char *: 1, default: 8, int: 123); | ||
|
||
int main() | ||
{ | ||
int i = 0; | ||
signed long int l = 2; | ||
struct b titi; | ||
const int * const ptr; | ||
const char *ti; | ||
int_type1 i2; | ||
|
||
i = _Generic(a, int: a_f, const int: b_f)(); | ||
printf("%d\n", i); | ||
i = _Generic(a, int: a_f() / 2, const int: b_f() / 2); | ||
printf("%d\n", i); | ||
i = _Generic(ptr, int *:1, int * const:2, default:20); | ||
printf("%d\n", i); | ||
i = gen_sw(a); | ||
printf("%d\n", i); | ||
i = _Generic(titi, struct a:1, struct b:2, default:20); | ||
printf("%d\n", i); | ||
i = _Generic(i2, char: 1, int : 0); | ||
printf("%d\n", i); | ||
i = _Generic(a, char:1, int[4]:2, default:5); | ||
printf("%d\n", i); | ||
i = _Generic(17, int :1, int **:2); | ||
printf("%d\n", i); | ||
i = _Generic(17L, int :1, long :2, long long : 3); | ||
printf("%d\n", i); | ||
i = _Generic("17, io", char *: 3, const char *: 1); | ||
printf("%d\n", i); | ||
i = _Generic(ti, const unsigned char *:1, const char *:4, char *:3, | ||
const signed char *:2); | ||
printf("%d\n", i); | ||
printf("%s\n", _Generic(i + 2L, long: "long", int: "int", | ||
long long: "long long")); | ||
i = _Generic(l, long: 1, int: 2); | ||
printf("%d\n", i); | ||
i = _Generic(foo, fptr: 3, int: 4); | ||
printf("%d\n", i); | ||
|
||
(void)_Generic((int(*)[2]){0}, int(*)[2]:0, int(*)[4]:0); //shouldn't match twice | ||
|
||
//should accept ({ }) in the controlling expr of _Generic even in const_wanted contexts | ||
struct { _Bool x_0: _Generic(({0;}),default:1); } my_x; | ||
|
||
_Generic((__typeof((float const)((float const){42}))*){0}, float*: 0); //casts lose top-level qualifiers | ||
int const x = 42; __typeof((__typeof(x))x) *xp = 0; (void)_Generic(xp, int*: 0); //casts lose top-level qualifiers | ||
|
||
return 0; | ||
} |