pike.git/
src/
pike_types.c
Branch:
Tag:
Non-build tags
All tags
No tags
2003-11-24
2003-11-24 14:45:15 by Henrik Grubbström (Grubba) <grubba@grubba.org>
483c2f1a51df0c5130ca23d4e28e52833dd358e0 (
12
lines) (+
10
/-
2
)
[
Show
|
Annotate
]
Branch:
7.9
Added some PIKE_DEBUG.
Rev: src/pike_types.c:1.228
2:
|| This file is part of Pike. For copyright information see COPYRIGHT. || Pike is distributed under GPL, LGPL and MPL. See the file COPYING || for more information.
-
|| $Id: pike_types.c,v 1.
227
2003/11/
18
11
:
19
:
41
grubba Exp $
+
|| $Id: pike_types.c,v 1.
228
2003/11/
24
14
:
45
:
15
grubba Exp $
*/ #include "global.h"
-
RCSID("$Id: pike_types.c,v 1.
227
2003/11/
18
11
:
19
:
41
grubba Exp $");
+
RCSID("$Id: pike_types.c,v 1.
228
2003/11/
24
14
:
45
:
15
grubba Exp $");
#include <ctype.h> #include "svalue.h" #include "pike_types.h"
545:
#endif #endif
+
#ifdef PIKE_DEBUG
+
if (min > max)
+
Pike_fatal("push_int_type(): Bad integer range:"
+
" min:%"PRINTPIKEINT"d, max:%"PRINTPIKEINT"d.\n",
+
min, max);
+
#endif /* PIKE_DEBUG */
+
*(++Pike_compiler->type_stackp) = mk_type(T_INT, (void *)(ptrdiff_t)min, (void *)(ptrdiff_t)max, 0);