[ovs-dev] [PATCH 2/3] expr: Add and clarify a few comments and assertions.

[Ben Pfaff]

On Wed, Aug 26, 2015 at 01:58:31PM -0700, Justin Pettit wrote:
> 
> > On Aug 25, 2015, at 9:37 PM, Ben Pfaff <blp at nicira.com> wrote:
> > 
> > +/* Implementation of crush_cmps() for expr->type == EXPR_T_OR. */
> > static struct expr *
> > crush_or(struct expr *expr, const struct expr_symbol *symbol)
> 
> Since you added this for crush_or(), do you want to do the same for
> crush_and().

Done, thanks.

> > -/* Converts 'expr', which must be a cmp in the sense determined by
> > - * expr_is_cmp().  Returns a cmp, a disjunction of cmps, or a boolean. */
> > +/* Takes ownership of 'expr', which must be a cmp in the sense determined by
> > + * expr_is_cmp(), and returns an equivalent expression owned by the caller that
> > + * is a single EXPR_T_CMP or a disjunction of them or a EXPR_T_BOOLEAN.
> > + *
> > + * 'symbol' must be expr_is_cmp(expr). */
> 
> I'm not sure I understand this last sentence.

OK, I rewrote the comment, hope it's better:

/* Takes ownership of 'expr', which must be a cmp in the sense determined by
 * 'expr_is_cmp(expr)', where 'symbol' is the symbol returned by that function.
 * Returns an equivalent expression owned by the caller that is a single
 * EXPR_T_CMP or a disjunction of them or a EXPR_T_BOOLEAN. */

> Acked-by: Justin Pettit <jpettit at nicira.com>

Thanks!  I'll apply this to master in a minute.