diff options
| author | Alex Richardson | 2020-05-15 09:43:12 +0100 |
|---|---|---|
| committer | Alex Richardson | 2020-05-15 13:44:00 +0100 |
| commit | dc5a39649116c7fd76a024d069707f8b3aa7e201 (patch) | |
| tree | c7a73d73e6370e5d42b2daadd09b67177fa76714 /src/parser_combinators.ml | |
| parent | 363cf77a75cb8237fb13b028c0046b7817dbe734 (diff) | |
Also make the letbinding C variables static
I was getting run-time failures when code generate from cheri128 and
cheri64 in the same process. This was caused because my compiler defaults
to -fcommon so it merged multiple variables (with conflicting types!).
When initializing the second set of letbindings, the first one was
overwritten (first variable was lbits, the other was uint64_t). Compiling
with -fno-common exposes this problem.
Diffstat (limited to 'src/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions
