From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 05:16:20 +0000 (-0700)
Subject: threads: kill clang warnings about struct/class Thread
X-Git-Tag: oopsla2015~15
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=26010e1410faa0dcefc8d384872bc0210cc0be92;hp=26010e1410faa0dcefc8d384872bc0210cc0be92;p=model-checker.git

threads: kill clang warnings about struct/class Thread

We just need an opaque pointer for C, so we can retain the type safety
for C++ by conditionally compiling a '__thread_identifier' type as
'class Thread' for C++.

The warning:

  clang++ -MMD -MF .threads.o.d -fPIC -c threads.cc -Wall -g -O3 -Iinclude -I.
  In file included from schedule.cc:4:
  ./threads-model.h:41:1: warning: 'Thread' defined as a class here but previously declared as a struct [-Wmismatched-tags]
  class Thread {
  ^
  include/threads.h:9:1: note: did you mean class here?
  struct Thread; /* actually, class; but this is safe */
  ^~~~~~
  class
---