| ... | ... | @@ -252,10 +252,6 @@ expect. |
|
|
|
>
|
|
|
|
>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
>
|
|
|
|
>
|
|
|
|
> **Rationale** for annotating the non-reentrant calls, as opposed
|
| ... | ... | @@ -265,7 +261,6 @@ expect. |
|
|
|
>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
**2.3.** should we annotate foreign calls according to whether they need
|
|
|
|
to access thread-local state (TLS) or not?
|
|
|
|
|
| ... | ... | |