diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-10 01:51:43 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-19 18:07:28 +0200 |
| commit | 2b75d15ea289e7ece5228c3765d29c0d2115c793 (patch) | |
| tree | 284aec6504691129acce05b7cb9d499ce1bbbb63 /validation | |
| parent | 7680a83e76681af80b120da09ededa36bba49ea2 (diff) | |
| download | sparse-dev-2b75d15ea289e7ece5228c3765d29c0d2115c793.tar.gz | |
builtin: make eval_sync_compare_and_swap() more generic
Most __sync_* or __atomic_* builtin functions have one or
more arguments having its real type determined by the first
argument: either the same type (a pointer to an integral type)
or the type of the object it points to.
Currently, only __sync_{bool,val}_compare_and_swap() are handled
but lots of very similar variants would be needed for the others.
So, make it a generic function, able to handle all these builtins.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions