diff options
| author | Drahflow <drahflow@gmx.de> | 2015-06-09 16:30:21 +0200 |
|---|---|---|
| committer | Drahflow <drahflow@gmx.de> | 2015-06-09 16:30:21 +0200 |
| commit | 044ad8735191a58db275ccf1927441340dd76c94 (patch) | |
| tree | 0c2d3001a0004e7e5cf0c4112ec3c579acad1944 /elymas/lib/sys/opt.ey | |
| parent | 087f4bd5f76255f3e98207aca4aa784c66e158b4 (diff) | |
Discard non-integer-case if impossible to reach
Diffstat (limited to 'elymas/lib/sys/opt.ey')
| -rw-r--r-- | elymas/lib/sys/opt.ey | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/elymas/lib/sys/opt.ey b/elymas/lib/sys/opt.ey index 510b447..3c7e19c 100644 --- a/elymas/lib/sys/opt.ey +++ b/elymas/lib/sys/opt.ey @@ -1504,7 +1504,9 @@ [ 0 traceStart range { logic * } each [ CONDITIONALTAIL traceConditions traceCode ] - traceStart logic len range { logic * } each + traceConditions len 0 neq { # if the integer trace is always triggered, don't bother encoding the other case + traceStart logic len range { logic * } each + } rep ] =logic } rep |