src/lib/lttng-ctl/filter-visitor-ir-check-binary-op-nesting.c

   1 /*
   2  * filter-visitor-ir-check-binary-op-nesting.c
   3  *
   4  * LTTng filter IR check binary op nesting
   5  *
   6  * Copyright 2012 - Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
   7  *
   8  * This library is free software; you can redistribute it and/or modify it
   9  * under the terms of the GNU Lesser General Public License, version 2.1 only,
  10  * as published by the Free Software Foundation.
  11  *
  12  * This library is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  15  * Lesser General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU Lesser General Public License
  18  * along with this library; if not, write to the Free Software Foundation,
  19  * Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
  20  */
  21
  22 #include <stdio.h>
  23 #include <unistd.h>
  24 #include <string.h>
  25 #include <stdlib.h>
  26 #include <assert.h>
  27 #include <errno.h>
  28 #include <inttypes.h>
  29 #include "filter-parser.h"
  30 #include "filter-ast.h"
  31 #include "filter-ir.h"
  32
  33 static
  34 int check_bin_op_nesting_recursive(struct ir_op *node, int nesting)
  35 {
  36         switch (node->op) {
  37         case IR_OP_UNKNOWN:
  38         default:
  39                 fprintf(stderr, "[error] %s: unknown op type\n", __func__);
  40                 return -EINVAL;
  41
  42         case IR_OP_ROOT:
  43                 return check_bin_op_nesting_recursive(node->u.root.child,
  44                                 nesting);
  45         case IR_OP_LOAD:
  46                 return 0;
  47         case IR_OP_UNARY:
  48                 return check_bin_op_nesting_recursive(node->u.unary.child,
  49                                 nesting);
  50         case IR_OP_BINARY:
  51         {
  52                 int ret;
  53
  54                 if (nesting > 0) {
  55                         fprintf(stderr, "[error] Nesting of binary operators is not allowed, except for logical operators.\n");
  56                         return -EINVAL;
  57                 }
  58                 ret = check_bin_op_nesting_recursive(node->u.binary.left,
  59                                 nesting++);
  60                 if (ret)
  61                         return ret;
  62                 return check_bin_op_nesting_recursive(node->u.binary.right,
  63                                 nesting++);
  64         }
  65         case IR_OP_LOGICAL:
  66         {
  67                 int ret;
  68
  69                 ret = check_bin_op_nesting_recursive(node->u.logical.left,
  70                                 nesting);
  71                 if (ret)
  72                         return ret;
  73                 return check_bin_op_nesting_recursive(node->u.logical.right,
  74                                 nesting);
  75         }
  76         }
  77 }
  78
  79 int filter_visitor_ir_check_binary_op_nesting(struct filter_parser_ctx *ctx)
  80 {
  81         return check_bin_op_nesting_recursive(ctx->ir_root, 0);
  82 }