diff options
author | Guy Harris <guy@alum.mit.edu> | 2017-09-17 17:45:27 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-17 17:45:27 -0700 |
commit | d7bdf180b158a11d116bb8a77674200e72baff44 (patch) | |
tree | c55dc906417297599937dacba74c2585fe2c60ce /gencode.h | |
parent | 0351523cb77ce1695178d5795f4f23f5f81fc433 (diff) | |
parent | b056d381ff63ae3421800a07dd263ce32806d15f (diff) |
Merge pull request #613 from mkubecek/mk/master/opt-unknown
optimizer: replacing unknown value with unknown value is not a no-op
Diffstat (limited to 'gencode.h')
0 files changed, 0 insertions, 0 deletions