Return to assert.c CVS log

Up to [local] / OpenXM_contrib / gmp

Annotation of OpenXM_contrib/gmp/assert.c, Revision 1.1.1.2

1.1.1.2 ! ohara       1: /* GMP assertion failure handler.
1.1       maekawa     2:
1.1.1.2 ! ohara       3:    THE FUNCTIONS IN THIS FILE ARE FOR INTERNAL USE ONLY.  THEY'RE ALMOST
        !             4:    CERTAIN TO BE SUBJECT TO INCOMPATIBLE CHANGES OR DISAPPEAR COMPLETELY IN
        !             5:    FUTURE GNU MP RELEASES.
        !             6:
        !             7: Copyright 2000, 2001 Free Software Foundation, Inc.
1.1       maekawa     8:
                      9: This file is part of the GNU MP Library.
                     10:
                     11: The GNU MP Library is free software; you can redistribute it and/or modify
                     12: it under the terms of the GNU Lesser General Public License as published by
                     13: the Free Software Foundation; either version 2.1 of the License, or (at your
                     14: option) any later version.
                     15:
                     16: The GNU MP Library is distributed in the hope that it will be useful, but
                     17: WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
                     18: or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
                     19: License for more details.
                     20:
                     21: You should have received a copy of the GNU Lesser General Public License
                     22: along with the GNU MP Library; see the file COPYING.LIB.  If not, write to
                     23: the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
1.1.1.2 ! ohara      24: MA 02111-1307, USA. */
1.1       maekawa    25:
                     26: #include <stdio.h>
1.1.1.2 ! ohara      27: #include <stdlib.h>
1.1       maekawa    28: #include "gmp.h"
                     29: #include "gmp-impl.h"
                     30:
                     31:
1.1.1.2 ! ohara      32: void
        !            33: __gmp_assert_header (const char *filename, int linenum)
1.1       maekawa    34: {
                     35:   if (filename != NULL && filename[0] != '\0')
                     36:     {
                     37:       fprintf (stderr, "%s:", filename);
                     38:       if (linenum != -1)
                     39:         fprintf (stderr, "%d: ", linenum);
                     40:     }
1.1.1.2 ! ohara      41: }
1.1       maekawa    42:
1.1.1.2 ! ohara      43: void
        !            44: __gmp_assert_fail (const char *filename, int linenum,
        !            45:                    const char *expr)
        !            46: {
        !            47:   __gmp_assert_header (filename, linenum);
1.1       maekawa    48:   fprintf (stderr, "GNU MP assertion failed: %s\n", expr);
                     49:   abort();
                     50: }