This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

(C++) patch to coerce_new_type


1998-12-05  Jason Merrill  <jason@yorick.cygnus.com>

	* decl2.c (coerce_new_type): Use same_type_p.
	(coerce_delete_type): Likewise.

Index: decl2.c
===================================================================
RCS file: /egcs/carton/cvsfiles/egcs/gcc/cp/decl2.c,v
retrieving revision 1.162
diff -c -p -r1.162 decl2.c
*** decl2.c	1998/12/04 11:13:59	1.162
--- decl2.c	1998/12/06 09:31:18
*************** coerce_new_type (type)
*** 2285,2299 ****
  
    if (TREE_CODE (type) == METHOD_TYPE)
      type = build_function_type (TREE_TYPE (type), TREE_CHAIN (TYPE_ARG_TYPES (type)));
!   if (TREE_TYPE (type) != ptr_type_node)
      e1 = 1, error ("`operator new' must return type `void *'");
  
    /* Technically the type must be `size_t', but we may not know
       what that is.  */
    if (TYPE_ARG_TYPES (type) == NULL_TREE)
      e1 = 1, error ("`operator new' takes type `size_t' parameter");
!   else if (TREE_CODE (TREE_VALUE (TYPE_ARG_TYPES (type))) != INTEGER_TYPE
! 	   || TYPE_PRECISION (TREE_VALUE (TYPE_ARG_TYPES (type))) != TYPE_PRECISION (sizetype))
      e2 = 1, error ("`operator new' takes type `size_t' as first parameter");
    if (e2)
      type = build_function_type (ptr_type_node, tree_cons (NULL_TREE, sizetype, TREE_CHAIN (TYPE_ARG_TYPES (type))));
--- 2285,2298 ----
  
    if (TREE_CODE (type) == METHOD_TYPE)
      type = build_function_type (TREE_TYPE (type), TREE_CHAIN (TYPE_ARG_TYPES (type)));
!   if (! same_type_p (TREE_TYPE (type), ptr_type_node))
      e1 = 1, error ("`operator new' must return type `void *'");
  
    /* Technically the type must be `size_t', but we may not know
       what that is.  */
    if (TYPE_ARG_TYPES (type) == NULL_TREE)
      e1 = 1, error ("`operator new' takes type `size_t' parameter");
!   else if (! same_type_p (TREE_VALUE (TYPE_ARG_TYPES (type)), sizetype))
      e2 = 1, error ("`operator new' takes type `size_t' as first parameter");
    if (e2)
      type = build_function_type (ptr_type_node, tree_cons (NULL_TREE, sizetype, TREE_CHAIN (TYPE_ARG_TYPES (type))));
*************** coerce_delete_type (type)
*** 2322,2328 ****
      e1 = 1, error ("`operator delete' must return type `void'");
  
    if (arg_types == NULL_TREE
!       || TREE_VALUE (arg_types) != ptr_type_node)
      e2 = 1, error ("`operator delete' takes type `void *' as first parameter");
  
  #if 0
--- 2321,2327 ----
      e1 = 1, error ("`operator delete' must return type `void'");
  
    if (arg_types == NULL_TREE
!       || ! same_type_p (TREE_VALUE (arg_types), ptr_type_node))
      e2 = 1, error ("`operator delete' takes type `void *' as first parameter");
  
  #if 0
*************** coerce_delete_type (type)
*** 2333,2340 ****
        /* Again, technically this argument must be `size_t', but again
  	 we may not know what that is.  */
        tree t2 = TREE_VALUE (TREE_CHAIN (arg_types));
!       if (TREE_CODE (t2) != INTEGER_TYPE
! 	  || TYPE_PRECISION (t2) != TYPE_PRECISION (sizetype))
  	e3 = 1, error ("second argument to `operator delete' must be of type `size_t'");
        else if (TREE_CHAIN (TREE_CHAIN (arg_types)) != void_list_node)
  	{
--- 2332,2338 ----
        /* Again, technically this argument must be `size_t', but again
  	 we may not know what that is.  */
        tree t2 = TREE_VALUE (TREE_CHAIN (arg_types));
!       if (! same_type_p (t2, sizetype))
  	e3 = 1, error ("second argument to `operator delete' must be of type `size_t'");
        else if (TREE_CHAIN (TREE_CHAIN (arg_types)) != void_list_node)
  	{


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]