new copyright notice

add Berkeley specific copyright notice

The C stab code only distinguishes 'char' from 'int' range types; char has
a 'char' range, everything else has an 'int' range, including floating
types. This seems completely bogus, but it's easy en

The C stab code only distinguishes 'char' from 'int' range types; char has
a 'char' range, everything else has an 'int' range, including floating
types. This seems completely bogus, but it's easy enough to adapt the
c_typematch() routine to handle this 'feature'. This cures problems where
'float' appeared to have 'int' type in division operations.

show more ...

merge in latest Linton version

correct bostic correction

printf format/argument mismatch

merge of 5.1.1.1

update from CCI release

for compatibility must not print trailing nulls on c char arrays

print character arrays one char at a time with printchar to get
unprintables; change subscript checking to a warning (it's c after all)

Add copyright

update to version 3.0

merge linton branch delta trail

branch delta of linton changes from net.sources

changed printing of type names to not include enclosing module name

union objects cannot be printed, they must be qualified

fixed slight problem with operations on C doubles, things still
don't quite work for floats

fixed missing typedef

language specific functions to build and evaluate array reference trees

fixed @(#) stuff

date and time created 82/12/15 04:07:11 by linton