projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84452c7) | patch
ms-queue: don't initialize node 0
authorBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 23:07:50 +0000 (15:07 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 23:07:50 +0000 (15:07 -0800)
commite43fa1946c2a733400040cc9d23e91285fd08fd0
treedf1f1895e71c71b5abc155300bf6d9282d808653tree | snapshot
parent84452c7e91fa7f30f5ff80695d92816b5d209e38commit | diff
ms-queue: don't initialize node 0

Node zero *should* be unused, since "0" is the NULL pointer index.
Removing this init will help catch bugs.
ms-queue/my_queue.c diff | blob | history
C++11 memory model checker benchmarks