changelog

gcc-2.95.3 Linux下最常用的C编译器

	* decl.c (pop_chill_function_context):  Remove some bogosity.

Wed Oct  4 05:14:00 1995  Wilfried Moser  <[e-mail]>

	* grant.c (print_integer_selective): In case of a RANGE of
	a SET mode, try to find and grant the parent mode.
	(grant_seized_identifier): Dont write it out, if the identifier
	doesn't have a seize file (it may come from a SPEC MODULE
	defined in the compilation unit).

Fri Sep 22 14:04:40 1995  Per Bothner  <[e-mail]>

	* actions.c (check_non_null):  Wrap expr in SAVE_EXPR if needed.

Wed Sep 20 13:51:54 1995  Per Bothner  <[e-mail]>

	* expr.c (force_addr_of):  Optimize an INDIRECT_REF using
	convert_to_pointer rather than convert (which in case of
	a REFERENCE_TYPE would losingly call convert_from_reference).

Wed Sep 20 04:03:58 1995  Wilfried Moser  <[e-mail]>

	* inout.c (build_chill_writetext): In case of character string:
	Add processing of a concatenation including varying character
	strings.
	(intsize_of_charsexpr, get_max_size): New functions to determine
	the maximum size of varying character strings.

	* grant.c (decode_constant, decode_constant_selective): Add
	processing of COMPONENT_REF.

	* satisfy.c (satisfy (case COMPONENT_REF)): Correct handling
	for SYNONYM's with STRUCT mode.

Mon Sep 18 17:25:11 1995  Per Bothner  <[e-mail]>

	* expr.c (force_addr_of):  Optimize of value is INDIRECT_REF.
	* typeck.c (build_chill_slice):  Call mark_addressable.

Mon Sep 18 14:38:15 1995  Per Bothner  <[e-mail]>

	* expr.c (chill_expand_expr):  Make a copy before calling __psslice
	if the array is neither referable nor BLKmode.
	(build_set_expr):  Renamed to ...
	(build_compare_set_expr):  Allow one opperand to be boolean.
	(build_compare_expr):  Check both operands for SET_EXPR,
	before checking for discrete types (for -fold-strings).

Fri Sep 15 11:35:43 1995  Per Bothner  <[e-mail]>

	* satisfy.c (safe_satisfy_decl):  For a CONST_DECL, set TREE_TYPE
	to error_mark_node or error.

Fri Sep 15 00:26:02 1995  Wilfried Moser  <[e-mail]>

	* grant.c (decode_constant_selective): Add processing of
	TREE_OPERAND (val, 0).

Wed Sep 13 14:24:12 1995  Per Bothner  <[e-mail]>

	* ch-tree.h (CH_IS_INSTANCE_MODE):  Redefine to use CH_SIMILAR.
	* convert.c (convert):  Use CH_IS_INSTANCE_MODE.
	* inout.c (build_chill_writetext):  Likewise.
	* tasking.c (build_receive_case_start, build_delay_case_start):  Ditto.
	* parse.c (parse_start_action):  Remove redundant tests.
	* tasking.c (build_start_process):  Also test that optset is instance.
	(build_copy_number, build_proc_type, expand_send_signal):  Use
	CH_IS_INSTANCE_MODE, not CH_COMPATIBLE.
	* actions.c, convert.c (instance_type_node):  Remove redundant
	extern declaration.
	
Wed Sep 13 14:19:37 1995  Per Bothner  <[e-mail]>

	* regression.awk2:  Use \ line-continuation-markers
	to remove gratuitous gawk dependency.

Mon Sep 11 17:26:53 1995  Per Bothner  <[e-mail]>

	* typeck.c (build_chill_modify_expr):  Use force_addr_of.
	(mark_addressable):  Handle INDIRECT_REF of ADDR_EXPR.

	* typeck.c (check_case_value), ch-tree.h:  Moved to ...
	* actions.c (check_case_value):  ... here.  Also check for
	compatibility with selector (which is passed as extra argument).
	(chill_handle_case_label_range):  Take selector argument,
	and use it to call check_case_value.
	(chill_handle_case_label):  Take extra selector argument.
	* ch-tree.h (chill_handle_case_labe):  Add prototype.
	* except.c expr.c, parse.c:  Remove chill_handle_case_label prototypes.
	* actions.c, except.c, expr.c, parse.c: Pass extra selector
	argument to function calls as needed.

Mon Aug 28 02:47:54 1995  Wilfried Moser  <[e-mail]>

	* grant.c (decode_constant_selective): Fix a bug in writing items
	to grant file.

Thu Aug 24 04:52:28 1995  Wilfried Moser  <[e-mail]>

	* parse.c (parse_case_expression): Print warning only in
	pass 1.

	* actions.c (print_missing_cases): Correct printing of
	character ranges.

Wed Aug 23 15:26:12 1995  Per Bothner  <[e-mail]>

	* parse.c (parse_case_label_list):  Take extra parameter to
	indicate if we're parsing a tuple or a case-label-spec.
	If former, don't allow '(' EXPR ')' ',' but backup instead.
	(parse_case_label_specification, parse_tuple_element):
	Pass appropriate new argument to parse_case_label_list.

Wed Aug 23 06:08:28 1995  Wilfried Moser  <[e-mail]>

	* inout.c (build_chill_readtext): Add processing of BOOL's and
	CHARS(n).

	* grant.c (decode_constant): Process nonprintable characters
	in a STRING_CST.

Fri Aug 11 15:26:13 1995  Per Bothner  <[e-mail]>

	* except.c (initialize_exceptions):  Name setjmp "setjmp" and not
	"__builtin_setjmp" (which is not recognized by expand_call).

Wed Aug  9 23:35:36 1995  Per Bothner  <[e-mail]>

	* loop.c (end_loop_scope):  Need to call kept_level_p,
	in argument to poplevel.

Wed Aug  9 05:48:30 1995  Wilfried Moser  <[e-mail]>

	* Make-lang.in (CHILL.install-common): Don't install chill-cross (this
	file might be empty). Install chill.install instead.

Tue Aug  8 21:46:30 1995  Per Bothner  <[e-mail]>

	* loop.c (end_loop_scope):  Do poplevel *after* expand_end_bindings.

Tue Aug  8 00:51:09 1995  Wilfried Moser  <[e-mail]>

	* tasking.c (build_process_header): Also set DECL_ASSEMBLER_NAME
	of PARAM_DECL, since otherwise dbxout_symbol_name may barf.

	* decl.c (start_chill_function): Likewise ...

Mon Aug  7 18:35:35 1995  Per Bothner  <[e-mail]>

	* tasking.c (build_process_wrapper):  Also set DECL_ASSEMBLER_NAME
	of PARM_DECL, since otherwise dbxout_symbol_name may barf.

Mon Jul 31 14:32:33 1995  Per Bothner  <[e-mail]>

	* loop.c:  Re-written implementation of powerset iteration.
	(declare_temps):  iter_var is now integer index into bitstring,
	and powerset_temp just uses save_expr (normally needs no temp).
	(top_loop_end_check):  Pass index to start searching (from iter_var)
	to library function, instead of dependning on latter to clear old bits.
	(increment_temps):  UNless DOWN, increment iter_var.
	* decl.c (init_decl_processing):  Declare new types for
	__ffsetclrpowerset and __flsetclrpowerset (now misnamed...).

Mon Jul 31 12:47:28 1995  Per Bothner  <[e-mail]>

	* convert.c (digest_array_tuple):  Set TREE_STATIC if possible.

Fri Jul 28 05:11:56 1995  Wilfried Moser  <[e-mail]>

	* lex.c (readstring): Process integer literals starting with
	H', D', or B' within a control sequence.

Thu Jul 27 23:08:51 1995  Per Bothner  <[e-mail]>

	* parse.c (parse_do_action):  Don't call push_action, but defer
	push_handler until begin_loop_scope.
	Call parse_opt_handler here, to move handler scope inside loop block.
	(parse_action):  After do_action, nothing to do now.
	* loop.c (begin_loop_scope):  Also call push_handler here.
	(declare_temps):  Copy derived flag to user_var.
	(declare_temps):  For POWERSET, always copy to temporary (even if
	constant), since the runtime clears bits from it.

	* expr.c (build_chill_sizeof):  Use convert_to_class.
	* satisfy.c (safe_satisfy_decl):  Cleanup handling of CONST_DECL -
	set proper value of CH_DECL_FLAG on both the decl and its value.

	* convert.c (digest_array_tuple); Slightly better errors.
	
Wed Jul 26 22:13:39 1995  Per Bothner  <[e-mail]>

	* expr.c (expand_packed_set):  Also allocate the CONSTRUCTOR itself.
	(fold_set_expr):  Simplify accordingly.
	(build_concat_expr):  Constant fold bitstring CONCAT_EXPRs.

Thu Jul 13 12:21:22 1995  Per Bothner  <[e-mail]>

	* typeck.c (build_chill_slice):  Use build1 instead of build.
	* typeck.c (xtract_constant_from_buffer):  Pass correct precision
	to lshift_double.

	* typeck.c (expand_constant_to_buffer):  Handle RANGE_EXPR index.
	* convert.c (digest_array_tuple):  Generate RANGE_EXPR as index
	for tuples with ranges.

Thu Jun 29 23:41:15 1995  Per Bothner  <[e-mail]>

	* typeck.c (build_chill_slice):  Re-implement to use casts
	instead of build_chill_array_ref_1 (which doesn't always work).
	* convert.c (convert):  Remove old bugs code.

Tue Jun 27 05:00:04 1995  Wilfried Moser  <[e-mail]>

	* parse.c (parse_if_action): Do PUSH_ACTION before parsing the
	expression so that a possible handler at the if action will
	be found.
	(parse_proc_body): New argument to indicate if the function
	raises exceptions or not. In case the function will raise
	exception: start a handler, parse the function and generate
	code for reraising the exceptions (call chill_reraise_exceptions).

	* except.c (chill_reraise_exceptions): New function to generate
	code for reraising exceptions are specified at the function 
	definition.
	
	* ch-tree.h: Add prototype for chill_reraise_exceptions.

	* decl.c (build_chill_function_type): When the function (type)
	raise an exception, generate two new arguments (additional to the
	formal parameters), the filename and linenumber of the caller.
	(start_chill_function): likewise...

	* expr.c (build_chill_function_call): If the called function raises
	exceptions, give current filename and linnumber as aditional
	arguments.

	* actions.c (build_cause_exception): Handle case when function
	propagates the exception.

	* grant.c (print_proc_tail, print_proc_tail_selective): If the
	function(type) raises exceptions, don't process the last to
	parmeters of the formal argument list, they are compiler
	generated.

	* typeck.c (chill_similar): In case of FUNCTION_TYPE: check if
	the exception lists are equal.

Thu Jun 22 19:27:47 1995  Per Bothner  <[e-mail]>

	* loop.c (flag_local_loop_counter):  Change default to 1.
	(end_loop_scope):  Set 'keep' parameter in poplevel call.
	(declare)_temps):  Don't set IDENTIFIER_LOCAL_VALUE, since that
	is handled (correctly!) by pushdecl.
	(begin_loop_scope):  Call pushlevel here,
	* parse.c (parse_do_action):  Move pushlevel so only called for WITH.
	* decl.c (struct scope):  Remove n_incomplete field and its uses.
	(pushdecl):  Re-write to use proclaim_decl.  Remove old C-isms.
	(init_decl_processing):  Re-name integer_type_node as "_cint" to
	remove complaint from pushdecl about chill_integer_type_node as "int".

Tue Jun 20 18:15:58 1995  Doug Evans  <[e-mail]>

	* Make-lang.in (chill-runtime): Restore patch to disable building of
	runtime libraries for cross compilers.  This patch should remain
	until a build of a freshly checked out devo "just works".

Mon Jun 19 06:01:42 1995  Wilfried Moser  <[e-mail]>

	* Make-lang.in: Update GNUCHILL_VERSION to 1.4.4.

	* decl.c (init_decl_processing): Remove builtin function
	__cause_exception. New builtin functions __cause_ex1 and
	__unhandled_ex.

	* except.c (is_handled): Return 0 when no handler found,
	1, if the handler is in local scope and 2, if function
	may propagate the exception.

	* actions.c (build_cause_exception): New argument to
	indicate if a warning should be printed when
	causing an unhandled exception. Call is_handled here.

	* ch-tree.h: Change prototype for build_cause_exception.
	New marco CH_ALREADY_GRANTED. Used in grant.c to determine if an
	identifier already has been written to grant file.

        * grant.c (write_spec_module): If not GRANT ALL specified,
        write only this identifiers to grant file which are
        neccessary to form a prober grant file. This will shorten
        grant files and speed up compilation.
        (decode_constant_selective, decode_mode_selective,
        get_type_selective, decode_decl_selective,
        grant_array_type_selective, get_tag_value_selective,
        print_enumeral_selective, print_integer_selective, 
        print_struct_selective, print_proc_tail_selective,
        grant_one_decl_selective): New functions.

	* lex.c (yywrap): Remove writing of not yet written USE_SEIZE_FILE
	directives to grant file.

	* parse.c (parse_on_exception_list): Fis constructing of
	exceptions list.

Wed Jun 14 15:21:54 1995  Per Bothner  <[e-mail]>

	* typeck.c (valid_array_index_p):  Check for syntax error, where
	index is a mode, rather than a value.

	* expr.c (build_chill_binary_op_1):  Remove unused function.

Sat Jun 10 11:36:52 1995  Per Bothner  <[e-mail]>

	* except.c (is_handled):  New function.
	Various fixes here and there to make it work.

	* parse.c (parse_param_name_list):  Set DECL_ASSEMBLER_NAME.
	(Otherwise dbxout may crash.)

	* satisfy.c (satisfy case FUNCTION_TYPE):  Check for non-type result.
	* decl.c (start_chill_function):  If result type was error_mark,
	kludge type chill_os result_decl to avoid extra errors.
	* actions.c (chill_expand_result, chill_expand_return):  If type of
	chill_result_decl is error_mark, do nothing.

	* typeck.c (chill_similar): Fix thinko in recent change.

	* config-lang.in (diff_exclude):  Remove ch/lex.c - now it's a
	true source file, and is never longer generated with [f]lex.

	* regression.sh:  Pass -s to make clean (to make it silent).
	Explicitly call gawk, instead of depending of '#!' to work.
	Add --objdir flags.  Never send mail to bill.

Thu Jun  8 15:08:35 1995  Per Bothner  <[e-mail]>

	* typeck.c (chill_similar):  Add extra parameter.  Use to to prevent
	infinite recursion.
	(chill_equivalent, chill_l_equivalent):  Also a