summaryrefslogtreecommitdiff
path: root/language
diff options
context:
space:
mode:
authorBrian Campbell2018-07-09 18:48:17 +0100
committerBrian Campbell2018-07-09 19:03:16 +0100
commit53ce89769a10be9a47af72b5fb440afa74bb4d02 (patch)
tree6d7457af1b7c0e33ee4e269be9808ce247def52e /language
parentb71a0574ee9b9ae1d80e91a13915b16fbdf0f405 (diff)
Lem: prefer type variables to constants when looking for equivalent nexps
If we have an nexp that we can't print, look for an equivalent type variable before looking for a constant - the constant may only be valid locally (e.g., under an if) while the type variable will be valid throughout the function. Fixes a problem with aget_Mem on aarch64.
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions