summaryrefslogtreecommitdiff
path: root/src/spec_analysis.mli
diff options
context:
space:
mode:
authorAlex Richardson2020-05-15 09:43:12 +0100
committerAlex Richardson2020-05-15 13:44:00 +0100
commitdc5a39649116c7fd76a024d069707f8b3aa7e201 (patch)
treec7a73d73e6370e5d42b2daadd09b67177fa76714 /src/spec_analysis.mli
parent363cf77a75cb8237fb13b028c0046b7817dbe734 (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/spec_analysis.mli')
0 files changed, 0 insertions, 0 deletions