diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-10-23 22:56:23 +0200 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-11-05 15:28:47 +0100 |
| commit | c00c20a79941b2bbed9e957134259763dcbb29f0 (patch) | |
| tree | 17fdf80d6f7cc2f6e140f93467975ea96357efa7 /nest | |
| parent | 26194bd684b2926740a74ebdfe73e6afc3c145b6 (diff) | |
Filter: Better constant promotion
We use constant promotion from IPv4 to Router-ID values, as they have
same literals. Instead of ad-hoc code in filter instructions, add
constant promotion code to parse-time typecheck code.
Diffstat (limited to 'nest')
0 files changed, 0 insertions, 0 deletions