[splint.git] / src / Headers / system_constants.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
*/
# ifndef SYSTEM_CONSTANTS_H
# define SYSTEM_CONSTANTS_H

# include "lcl_constants.h"

/* exit codes */

/*@constant int LLSUCCESS; @*/
# define LLSUCCESS   EXIT_SUCCESS

/*@constant int LLFAILURE; @*/
# define LLFAILURE   EXIT_FAILURE

/*@constant int LLGIVEUP; @*/
# define LLGIVEUP    EXIT_FAILURE

/*@constant int LLINTERRUPT; @*/
# define LLINTERRUPT EXIT_FAILURE

/*@constant int DEFAULTMAXMODS; @*/
# define DEFAULTMAXMODS 32

/*
** number of parse errors before quiting
*/

/*@constant int GIVEUPPARSE; @*/
# define GIVEUPPARSE 5

/*
** how many recursive searches to do before bailing!
*/

/*@constant int MAXDEPTH; @*/
# define MAXDEPTH 10

/*
** This limits the number of recursive calls to aliasTable_canAliasAux.
** It is necessary in the presence on recursive nested data structures.
** Note that we don't want to simply detect recursion and quit, since
** aliasing may be apparent only at the deeper level.  It would be better
** to do something in the alias table to confirm that there are no aliases
** recorded below a given depth, but in practice this is much easier!
*/

/*@constant int ALIASSEARCHLIMIT; @*/
# define ALIASSEARCHLIMIT 8

/*
** This one's compilcated.  You probably don't want to change
** it.
**
** lclint maintains a table of ctype's (its representation of
** C types) and represents types internally as an index into
** this table.  This greatly improves performance of type
** checking and saves memory.  For simple derived types, it
** is easy to find if the type is already in the table.  For
** more complicated types (e.g., functions and structures),
** we check if a type is already in the table by looking 
** backwards for matches.  The last DEFAULT_OPTLEVEL types
** entered into the table are checked.  Increasing this value
** may improve memory performance, but cost in execution time.
**
*/

/*@constant int DEFAULT_OPTLEVEL; @*/
# define DEFAULT_OPTLEVEL 15

/*
** There are many *List and *Set types used by lclint (all
** generated automatically using a template and script).  
** For each, the BASESIZE is the number of entries the
** structure grows by each time it runs out of space.
** Depending on expected usage, each List/Set defines
** its BASESIZE to one of these three values.
*/

/*@constant int SMALLBASESIZE; @*/
# define SMALLBASESIZE   4

/*@constant int MIDBASESIZE; @*/
# define MIDBASESIZE     8

/*@constant int LARGEBASESIZE; @*/
# define LARGEBASESIZE  16

/*@constant int BIGBASESIZE; @*/
# define BIGBASESIZE   256

/*@constant int HUGEBASESIZE; @*/
# define HUGEBASESIZE  512

/*
** Size of hash table for file names.
*/

/*@constant int FTHASHSIZE; @*/
# define FTHASHSIZE 273

/*
** BASESIZE for C environment frames.
*/

/*@constant int CBASESIZE; @*/
# define CBASESIZE 4

/*
** The global environment (across files) is stored in
** a hash table.
*/

/*@constant int CGLOBBASESIZE; @*/
# define CGLOBBASESIZE 1024

/*@constant unsigned long CGLOBHASHSIZE; @*/
# define CGLOBHASHSIZE 1795

/*@constant int LLHASHSIZE; @*/
# define LLHASHSIZE 1279   

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3	3	** See ../LICENSE for license information.
	4	*/
	5	# ifndef SYSTEM_CONSTANTS_H
	6	# define SYSTEM_CONSTANTS_H
	7
885824d3	8	# include "lcl_constants.h"
885824d3	9
	10	/* exit codes */
	11
	12	/@constant int LLSUCCESS; @/
	13	# define LLSUCCESS EXIT_SUCCESS
	14
	15	/@constant int LLFAILURE; @/
	16	# define LLFAILURE EXIT_FAILURE
	17
	18	/@constant int LLGIVEUP; @/
	19	# define LLGIVEUP EXIT_FAILURE
	20
	21	/@constant int LLINTERRUPT; @/
	22	# define LLINTERRUPT EXIT_FAILURE
	23
	24	/@constant int DEFAULTMAXMODS; @/
	25	# define DEFAULTMAXMODS 32
	26
	27	/*
	28	** number of parse errors before quiting
	29	*/
	30
	31	/@constant int GIVEUPPARSE; @/
	32	# define GIVEUPPARSE 5
	33
	34	/*
	35	** how many recursive searches to do before bailing!
	36	*/
	37
	38	/@constant int MAXDEPTH; @/
	39	# define MAXDEPTH 10
	40
	41	/*
	42	** This limits the number of recursive calls to aliasTable_canAliasAux.
	43	** It is necessary in the presence on recursive nested data structures.
	44	** Note that we don't want to simply detect recursion and quit, since
	45	** aliasing may be apparent only at the deeper level. It would be better
	46	** to do something in the alias table to confirm that there are no aliases
	47	** recorded below a given depth, but in practice this is much easier!
	48	*/
	49
	50	/@constant int ALIASSEARCHLIMIT; @/
	51	# define ALIASSEARCHLIMIT 8
	52
	53	/*
	54	** This one's compilcated. You probably don't want to change
	55	** it.
	56	**
	57	** lclint maintains a table of ctype's (its representation of
	58	** C types) and represents types internally as an index into
	59	** this table. This greatly improves performance of type
	60	** checking and saves memory. For simple derived types, it
	61	** is easy to find if the type is already in the table. For
	62	** more complicated types (e.g., functions and structures),
	63	** we check if a type is already in the table by looking
	64	** backwards for matches. The last DEFAULT_OPTLEVEL types
	65	** entered into the table are checked. Increasing this value
	66	** may improve memory performance, but cost in execution time.
	67	**
	68	*/
	69
	70	/@constant int DEFAULT_OPTLEVEL; @/
	71	# define DEFAULT_OPTLEVEL 15
	72
73	/*
74	** There are many List and Set types used by lclint (all
75	** generated automatically using a template and script).
76	** For each, the BASESIZE is the number of entries the
77	** structure grows by each time it runs out of space.
78	** Depending on expected usage, each List/Set defines
79	** its BASESIZE to one of these three values.
80	*/
81
82	/@constant int SMALLBASESIZE; @/
83	# define SMALLBASESIZE 4
84
85	/@constant int MIDBASESIZE; @/
86	# define MIDBASESIZE 8
87
88	/@constant int LARGEBASESIZE; @/
89	# define LARGEBASESIZE 16
90
91	/@constant int BIGBASESIZE; @/
92	# define BIGBASESIZE 256
93
94	/@constant int HUGEBASESIZE; @/
95	# define HUGEBASESIZE 512
96
97	/*
98	** Size of hash table for file names.
99	*/
100
101	/@constant int FTHASHSIZE; @/
102	# define FTHASHSIZE 273
103
104	/*
105	** BASESIZE for C environment frames.
106	*/
107
108	/@constant int CBASESIZE; @/
109	# define CBASESIZE 4
110
111	/*
112	** The global environment (across files) is stored in
113	** a hash table.
114	*/
115
116	/@constant int CGLOBBASESIZE; @/
117	# define CGLOBBASESIZE 1024
118
7ac98eb7	119	/@constant unsigned long CGLOBHASHSIZE; @/
885824d3	120	# define CGLOBHASHSIZE 1795
	121
	122	/@constant int LLHASHSIZE; @/
	123	# define LLHASHSIZE 1279
	124
	125	# else
	126	# error "Multiple include"
	127	# endif
	128
	129
	130
	131
	132
	133