projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 964ae5c) | patch
context: move Mac swapcontext() to separate compilation unit
authorBrian Norris <banorris@uci.edu>
Thu, 4 Apr 2013 20:19:50 +0000 (13:19 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 4 Apr 2013 20:21:22 +0000 (13:21 -0700)
commite9d2d6e08dcf6962aa7b2818389d9a6d451d7d14
treea5b688907746fac1b7bba1c47935c41204a89ecetree | snapshot
parent964ae5c3c62fc383c53e90b20f32ba17b7b616abcommit | diff
context: move Mac swapcontext() to separate compilation unit

We really don't want model_swapcontext() to ever be inlined on Mac OSX,
since this could potentially cause subtle getcontext()-related bugs to
resurface. Just make it a separate compilation unit (*.cc file).
Makefile diff | blob | history
context.cc [new file with mode: 0644] blob
context.h diff | blob | history
C++11 memory model checker