ooc-970901 & oo2c-1.2.11

[acken@informatik.uni-kl.de]

Major changes for this update:

o in non-conformat mode INC/DEC now only require that the type of the
  second argument is included in the type of the first; conformant
  mode enforces the old rules, i.e. a non-constant second argument
  must have the same type as the first
o a known bug present from the very first oo2c versions has been
  fixed; even "unfortunate" sequences of side-effects through
  procedure calls on local scalar variables of the caller should work
  now 
o when an ASSERT is disabled it's now guaranteed that its boolean
  expression is never evaluated
o oob, ooef, and oowhereis now understand the option `--help'

-- mva

------------------------------------------------------------------------

ChangeLog Aug 12 to Aug 31:
 
Sun Aug 31 19:46:37 1997  Michael van Acken  <acken@informatik.uni-kl.de>

	* backend/ansi-c/Allocate.Mod (ResolveVarConflicts):
	New pass for allocator algorithm.  Looks for
	possible conflicts between live ranges living in local scalar
	variables of `greg' and inserts copy instructions to fix the problem.
	See procedure header for more details.

	* frontend/Scanner.Mod (CheckSym):
	Use `lastSymEnd' when missing opening parenthesis.
	(GetSym): Restore `lastSymEnd' after comment.

Thu Aug 28 06:15:07 1997  Michael van Acken  <acken@informatik.uni-kl.de>

	* frontend/ParseStatm.Mod (PredefCall):
	In non-conformant mode check that the type of the second
	argument of INC/DEC is included in the type of the first.  In
	conformant mode only do this for constants and require equal types for
	all other expressions.

	(Statement): If assertions are disabled evaluate the call to ASSERT in
	an IF FALSE THEN ... END environment.

Mon Aug 25 16:05:03 1997  Michael van Acken  <acken@informatik.uni-kl.de>

	* frontend/ParseStatm.Mod (Statement):
	If an assignment to a record variable needs a type
	assertion, make sure that the type check is scheduled before the copy
	instruction.

Wed Aug 20 12:10:25 1997  Michael van Acken  <acken@informatik.uni-kl.de>

	* tools/oowhereis.Mod, tools/oob.Mod: Added option `--help'.

Sat Aug 16 09:52:21 1997  Michael van Acken  <acken@informatik.uni-kl.de>

	* backend/ansi-c/Allocate.Mod (EmitVariables):
	Added code to save/restore pointer to top of value
	array stack around Exception.PUSHCONTEXT.

Fri Aug 15 10:29:55 1997  Michael van Acken  <acken@informatik.uni-kl.de>

	* backend/ansi-c/GenStatm.Mod (NewInstr):
	Check given array lengths before calling malloc().

Thu Aug 14 18:35:24 1997  Michael van Acken  <acken@informatik.uni-kl.de>

	* backend/ansi-c/lib/__oo2c.h (_push_value_ov):
	Changed test for overflow to unsigned compare.

	* tools/Browser.Mod (WriteStruct):
	Extended procedure to cover SYSTEM.  The output of the
	symbol file browser for SYSTEM doesn't make much sense, though.

Tue Aug 12 16:43:20 1997  Michael van Acken  <acken@informatik.uni-kl.de>

	* backend/ansi-c/lib/__oo2c.c, backend/ansi-c/lib/__oo2c.h:
	Extended message for overflow of array stack to incorporate the module
	and file position.