diff options
| author | Robert Norton | 2018-03-06 16:31:09 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-06 16:31:18 +0000 |
| commit | afd2eb53449df925a863211af9d7a9cae56d88a2 (patch) | |
| tree | 8b593e2aa50c08155c37b3e78a6e40250b427e36 /src/pattern_completeness.ml | |
| parent | 9c4b4f66347196cd0511d3a2f8d4f0056592ee6f (diff) | |
Check tag of pcc in TranslatePC. This could happen after an ERET with untagged EPCC. ISA says this results in undefined behaviour but it should probably not permit execution of code with untagged PCC.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions