12724 update smatch to 0.6.1-rc1-il-5

          --- old/usr/src/tools/smatch/src/check_allocating_enough_data.c
          +++ new/usr/src/tools/smatch/src/check_allocating_enough_data.c

   1    1  /*
   2    2   * Copyright (C) 2010 Dan Carpenter.
   3    3   *
   4    4   * This program is free software; you can redistribute it and/or
   5    5   * modify it under the terms of the GNU General Public License
   6    6   * as published by the Free Software Foundation; either version 2
   7    7   * of the License, or (at your option) any later version.
   8    8   *
   9    9   * This program is distributed in the hope that it will be useful,
  10   10   * but WITHOUT ANY WARRANTY; without even the implied warranty of
  11   11   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12   12   * GNU General Public License for more details.
  13   13   *
  14   14   * You should have received a copy of the GNU General Public License
  15   15   * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt

  16   16   */
  17   17  
  18   18  #include "smatch.h"
  19   19  
  20   20  static void db_returns_buf_size(struct expression *expr, int param, char *unused, char *math)
  21   21  {
  22   22          struct expression *call;
  23   23          struct symbol *left_type, *right_type;
  24   24          int bytes;
  25   25          sval_t sval;
       26 +        char *str;
  26   27  
  27   28          if (expr->type != EXPR_ASSIGNMENT)
  28   29                  return;
  29   30          right_type = get_pointer_type(expr->right);
  30   31          if (!right_type || type_bits(right_type) != -1)
  31   32                  return;
  32   33  
  33   34          call = strip_expr(expr->right);
  34   35          left_type = get_pointer_type(expr->left);
  35   36  
  36   37          if (!parse_call_math(call, math, &sval) || sval.value == 0)
  37   38                  return;
  38   39          if (!left_type)
  39   40                  return;
  40   41          bytes = type_bytes(left_type);
  41   42          if (bytes <= 0)
  42   43                  return;
  43   44          if (sval.uvalue >= bytes)
  44   45                  return;
  45      -        sm_error("not allocating enough data %d vs %s", bytes, sval_to_str(sval));
       46 +
       47 +        str = expr_to_str(expr->left);
       48 +        sm_error("not allocating enough for = '%s' %d vs %s", str, bytes, sval_to_str(sval));
       49 +        free_string(str);
  46   50  }
  47   51  
  48   52  void check_allocating_enough_data(int id)
  49   53  {
  50   54          select_return_states_hook(BUF_SIZE, &db_returns_buf_size);
  51   55  }
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX