source: Daodan/MSYS2/mingw32/i686-w64-mingw32/include/concurrencysal.h

Last change on this file was 1166, checked in by rossy, 3 years ago

Daodan: Replace MinGW build env with an up-to-date MSYS2 env

File size: 1.6 KB
RevLine 
[1166]1/**
2 * This file has no copyright assigned and is placed in the Public Domain.
3 * This file is part of the mingw-w64 runtime package.
4 * No warranty is given; refer to the file DISCLAIMER.PD within this package.
5 */
6
7#ifndef CONCURRENCYSAL_HXX
8#define CONCURRENCYSAL_HXX
9
10#define _Benign_race_begin_
11#define _Benign_race_end_
12#define _No_competing_thread_begin_
13#define _No_competing_thread_end_
14
15#define _Acquires_exclusive_lock_(lock)
16#define _Acquires_lock_(lock)
17#define _Acquires_nonreentrant_lock_(lock)
18#define _Acquires_shared_lock_(lock)
19#define _Analysis_assume_lock_acquired_(lock)
20#define _Analysis_assume_lock_released_(lock)
21#define _Analysis_assume_lock_held_(lock)
22#define _Analysis_assume_lock_not_held_(lock)
23#define _Analysis_assume_same_lock_(lock1, lock2)
24#define _Analysis_suppress_lock_checking_(lock)
25#define _Create_lock_level_(level)
26#define _Csalcat1_(x,y)
27#define _Csalcat2_(x,y)
28#define _Function_ignore_lock_checking_(lock)
29#define _Guarded_by_(lock)
30#define _Has_lock_kind_(kind)
31#define _Has_lock_level_(level)
32#define _Interlocked_
33#define _Internal_lock_level_order_(a,b)
34#define _Lock_level_order_(a,b)
35#define _No_competing_thread_
36#define _Post_same_lock_(lock1,lock2)
37#define _Releases_exclusive_lock_(lock)
38#define _Releases_lock_(lock)
39#define _Releases_nonreentrant_lock_(lock)
40#define _Releases_shared_lock_(lock)
41#define _Requires_exclusive_lock_held_(lock)
42#define _Requires_shared_lock_held_(lock)
43#define _Requires_lock_held_(lock)
44#define _Requires_lock_not_held_(lock)
45#define _Requires_no_locks_held_
46#define _Write_guarded_by_(lock)
47
48#endif
49
Note: See TracBrowser for help on using the repository browser.