This commit was manufactured by cvs2svn to create branch

'cygwin-mingw-gcc-3_2-branch'.

git-svn-id: https://gcc.gnu.org/svn/gcc/branches/cygwin-mingw-gcc-3_2-branch@55799 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 0 insertions, 81 deletions

diff --git a/libchill/diffps.c b/libchill/diffps.c
deleted file mode 100644
index 67027abd847..00000000000
--- a/libchill/diffps.c
+++ /dev/null
@@ -1,81 +0,0 @@
-/* Implement POWERSET runtime actions for CHILL.
-   Copyright (C) 1992,1993 Free Software Foundation, Inc.
-   Author: Wilfried Moser, et al
-
-This file is part of GNU CC.
-
-GNU CC is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2, or (at your option)
-any later version.
-
-GNU CC is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-GNU General Public License for more details.
-
-You should have received a copy of the GNU General Public License
-along with GNU CC; see the file COPYING.  If not, write to
-the Free Software Foundation, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA.  */
-
-/* As a special exception, if you link this library with other files,
-   some of which are compiled with GCC, to produce an executable,
-   this library does not by itself cause the resulting executable
-   to be covered by the GNU General Public License.
-   This exception does not however invalidate any other reasons why
-   the executable file might be covered by the GNU General Public License.  */
-
-#define __CHILL_LIB__
-
-#include <stdio.h>
-#include "powerset.h"
-
-/*
- * function __diffpowerset
- *
- * parameters:
- *     out		result of __diffpowerset
- *	left		powerset
- *	right		powerset
- *	bitlength	length of powerset
- *
- * returns:
- *	void
- *
- * exceptions:
- *  none
- *
- * abstract:
- *  makes a difference of 2 powersets (out = left - right)
- *
- */
-void
-__diffpowerset (out, left, right, bitlength)
-     SET_WORD      *out;
-     SET_WORD      *left;
-     SET_WORD      *right;
-     unsigned long  bitlength;
-{
-  if (bitlength <= SET_CHAR_SIZE)
-    {
-      *((SET_CHAR *)out) = *((SET_CHAR *)left) & ~
-                           *((SET_CHAR *)right);
-      MASK_UNUSED_CHAR_BITS ((SET_CHAR *)out, bitlength);
-    }
-  else if (bitlength <= SET_SHORT_SIZE)
-    {
-      *((SET_SHORT *)out) = *((SET_SHORT *)left) & ~
-                            *((SET_SHORT *)right);
-      MASK_UNUSED_SHORT_BITS ((SET_SHORT *)out, bitlength);
-    }
-  else
-    {
-      unsigned long len = BITS_TO_WORDS(bitlength);
-      register unsigned long i;
-    
-      for (i = 0; i < len; i++)
-	out[i] = left[i] & ~right[i];
-      MASK_UNUSED_WORD_BITS ((out + len - 1), bitlength % SET_WORD_SIZE);
-    }
-}