diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-09 20:06:39 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-19 18:07:33 +0200 |
| commit | 53149d7bd249ff04368bee83985f8570a82b2fd5 (patch) | |
| tree | efd99f7c4a7440f96f7716f9b8fa9d90dd1521ef /validation | |
| parent | 2b75d15ea289e7ece5228c3765d29c0d2115c793 (diff) | |
| download | sparse-dev-53149d7bd249ff04368bee83985f8570a82b2fd5.tar.gz | |
builtin: evaluate __sync_*_fetch*()
Reuse the generic method for all these builtins.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/builtin-sync-fetch.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/validation/builtin-sync-fetch.c b/validation/builtin-sync-fetch.c new file mode 100644 index 00000000..45139a3c --- /dev/null +++ b/validation/builtin-sync-fetch.c @@ -0,0 +1,24 @@ +static int ok_int(int *ptr, int val) +{ + return __sync_add_and_fetch(ptr, val); +} + +static long* ok_ptr(long **ptr, long *val) +{ + return __sync_add_and_fetch(ptr, val); +} + +static void chk_ret_ok(long *ptr, long val) +{ + _Static_assert([typeof(__sync_add_and_fetch(ptr, val))] == [long], ""); +} + +static int chk_val(int *ptr, long val) +{ + // OK: val is converted to an int + return __sync_add_and_fetch(ptr, val); +} + +/* + * check-name: builtin-sync-fetch + */ |