diff options
| author | Pierre Roux | 2019-04-06 18:16:47 +0200 |
|---|---|---|
| committer | Pierre Roux | 2019-04-15 16:50:40 +0200 |
| commit | 591431312465291e85fb352a69e947eedeb2e199 (patch) | |
| tree | 2a8f83f8aad8740b6b1f8019959df7841486c148 /dev/doc | |
| parent | 5b2005d7224c2e9037e7e235e643602ac9b8481a (diff) | |
[vm] Protect accu and coq_env
Protect accu and coq_env against GC calls in the VM when calling
primitive integer functions on 32 bits architecture.
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions