projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb9f87c) | patch
test: insanesync: pointer types
authorBrian Norris <banorris@uci.edu>
Thu, 4 Apr 2013 07:16:46 +0000 (00:16 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 4 Apr 2013 07:46:22 +0000 (00:46 -0700)
commit1da45a14f1affce44fd050d4ddf63c9264526dbb
treecde5e8951fff66c4e3e5a2838a257e62a0282196tree | snapshot
parentbb9f87c3a725c82882788a9d4baa405ea2aba5d2commit | diff
test: insanesync: pointer types

Atomic pointers should be stored in atomic_intptr_t/atomic_uintptr_t.
This can throw some extra warnings on 32-bit architectures.
test/insanesync.c diff | blob | history
C++11 memory model checker