| commit | 6081c1dbdf7730752bbde89ebb17d01bb30bf8f0 | [log] [tgz] |
|---|---|---|
| author | drh <drh@noemail.net> | Sun Sep 06 02:51:04 2015 +0000 |
| committer | drh <drh@noemail.net> | Sun Sep 06 02:51:04 2015 +0000 |
| tree | e82661b7eaaab7bde1934ddb05ecd9cdd9a2da60 | |
| parent | 0b8d255c37ea9830cecabb57f1c2ba6305eacc44 [diff] [blame] |
Add a memory barrier to the mutex initialization logic, try to work around an issue reported by WebKit. FossilOrigin-Name: 11a9a786ec06403addb47f5c6fb142b382fae522
diff --git a/src/sqliteInt.h b/src/sqliteInt.h index 89b3d79..eeb0b99 100644 --- a/src/sqliteInt.h +++ b/src/sqliteInt.h
@@ -3191,6 +3191,7 @@ sqlite3_mutex *sqlite3MutexAlloc(int); int sqlite3MutexInit(void); int sqlite3MutexEnd(void); + void sqlite3MemoryBarrier(void); #endif sqlite3_int64 sqlite3StatusValue(int);