diff options
| author | Robert Norton | 2018-04-09 15:50:28 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-09 15:50:33 +0100 |
| commit | 0d77821e3617c6d7591ba1d68ab0fe90f8cb3c9c (patch) | |
| tree | 4a953566d9dc981c86515c92d377353540442281 /src/ast_util.ml | |
| parent | 85e8b28d088dd74cd401c84ea41a97a35f66ee06 (diff) | |
cheri: compute virtual address mod 2^64 when doing bounds check to avoid failures with negative (i.e. large positive) offsets.
Diffstat (limited to 'src/ast_util.ml')
0 files changed, 0 insertions, 0 deletions