projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56bd79d) | patch
impatomic: fences linker error
authorBrian Norris <banorris@uci.edu>
Wed, 6 Mar 2013 02:33:43 +0000 (18:33 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Mar 2013 02:34:35 +0000 (18:34 -0800)
commit7fb8a4d038c69c14a3ac9cc8be16192712175004
tree8bb646bf6cf089334b6a9dda5210e63607cb9aa0tree | snapshot
parent56bd79d6fa2953585375f72cf061355fecd2c725commit | diff
impatomic: fences linker error

Because these functions were declared in a header (but not static), they
could get linked into multiple object files, causing linker errors. For
now, just make them 'static inline'. I'm not sure if that exactly fits
the spec, but it's close enough for now.
include/impatomic.h diff | blob | history
C++11 memory model checker