On Thu, Oct 6, 2016 at 8:30 PM, Ben Pfaff <b...@ovn.org> wrote: > An expression like "x == 0/0" does not test any actual bits in field x, > so it resolves to true, but expr_simplify() was not smart enough to see > this. > > This goes beyond an optimization, to become a bug fix, because > expr_normalize() will assert-fail for expressions that become trivial > when this simplification is omitted. For example: > > $ echo 'eth.dst == 0/0 && eth.dst == 0/0' | tests/ovstest test-ovn > normalize-expr > test-ovn: ../include/openvswitch/list.h:245: assertion > !ovs_list_is_empty(list) failed in ovs_list_front() > Aborted (core dumped) > > This commit fixes this and related problems. > > The test added by this commit is very specific to the particular problem, > whereas a more general test would be better. A later commit adds the > general test. > > Signed-off-by: Ben Pfaff <b...@ovn.org>
Acked-by: Andy Zhou <az...@ovn.org> _______________________________________________ dev mailing list dev@openvswitch.org http://openvswitch.org/mailman/listinfo/dev
