ソースを参照

* some small speed optimizations
+ added several new warnings/hints

carl 23 年 前
コミット
60d17dbc01

+ 5 - 8
compiler/i386/n386mem.pas

@@ -86,13 +86,6 @@ implementation
          aktglobalswitches:=oldglobalswitches;
          if tpointerdef(left.resulttype.def).is_far then
           location.reference.segment:=R_FS;
-         if not tpointerdef(left.resulttype.def).is_far and
-            (cs_gdb_heaptrc in aktglobalswitches) and
-            (cs_checkpointer in aktglobalswitches) then
-          begin
-            cg.a_param_reg(exprasmlist, OS_ADDR,location.reference.base,paramanager.getintparaloc(1));
-            cg.a_call_name(exprasmlist,'FPC_CHECKPOINTER');
-          end;
       end;
 
 
@@ -156,7 +149,11 @@ begin
 end.
 {
   $Log$
-  Revision 1.44  2002-09-07 15:25:11  peter
+  Revision 1.45  2002-11-23 22:50:09  carl
+    * some small speed optimizations
+    + added several new warnings/hints
+
+  Revision 1.44  2002/09/07 15:25:11  peter
     * old logs removed and tabs fixed
 
   Revision 1.43  2002/09/01 19:27:35  peter

+ 24 - 6
compiler/msg/errore.msg

@@ -951,10 +951,14 @@ parser_h_c_arrays_are_references=03187_H_C arrays are passed by reference
 % Any array passed to a C functions is passed
 % by a pointer (i.e. by reference).
 parser_e_C_array_of_const_must_be_last=03188_E_C array of const must be the last argument
-% You can not add any other argument after
-% an \var{array of const} for \var{cdecl} functions,
-% as the size pushed on stack for this arg is
-% unknown.
+% You can not add any other argument after an \var{array of const} for 
+% \var{cdecl} functions, as the size pushed on stack for this argument is
+% not known.
+parser_h_type_redef=03189_H_Type "$1" redefinition
+% This is an indicator that a previously declared type is
+% being redefined as something else. This may, or may not
+% be, a cause for errors.
+%
 % \end{description}
 #
 # Type Checking
@@ -1102,10 +1106,10 @@ type_e_array_required=04033_E_Array type required
 type_e_interface_type_expected=04034_E_interface type expected, but got "$1"
 type_w_mixed_signed_unsigned=04035_W_Mixing signed expressions and longwords gives a 64bit result
 % If you divide (or calculate the modulus of) a signed expression by a longword (or vice versa),
-% or if you have overflow and/or range checking turned on and use an arithmetical
+% or if you have overflow and/or range checking turned on and use an arithmetic
 % expression (+, -, *, div, mod) in which both signed numbers and longwords appear,
 % then everything has to be evaluated in 64bit which is slower than normal
-% 32bit arithmetics. You can avoid this by typecasting one operand so it
+% 32bit arithmetic. You can avoid this by typecasting one operand so it
 % matches the resulttype of the other one.
 type_w_mixed_signed_unsigned2=04036_W_Mixing signed expressions and cardinals here may cause a range check error
 % If you use a binary operator (and, or, xor) and one of
@@ -1131,6 +1135,20 @@ type_e_type_is_not_completly_defined=04042_E_Type "$1" is not completly defined
 type_w_string_too_long=04043_W_String literal has more characters than short string length
 % The size of the constant string, which is assigned to a shortstring,
 % is longer than the maximum size of the shortstring
+type_w_signed_unsigned_always_false=04044_W_Comparison is always false due to range of values
+% There is a comparison between an unsigned value and a signed constant which is
+% less than zero. Because of type promotion, the statement will always evaluate to
+% false. Exlicitly typecast the constant to the correct range to avoid this problem.
+type_w_signed_unsigned_always_true=04045_W_Comparison is always true due to range of values
+% There is a comparison between an unsigned value and a signed constant which is
+% less than zero. Because of type promotion, the statement will always evaluate to
+% true. Exlicitly typecast the constant to the correct range to avoid this problem.
+%
+type_w_mixed_signed_unsigned3=04046_W_Comparison might always be true (or false) due to range of values
+% There is a comparison between an unsigned value and a signed value which might
+% be less than zero. Because of type promotion, the statement might incorrectly
+% be evaluated. Exlicitly typecast the signed value to the same type as the
+% unsigned value to avoid this problem.
 % \end{description}
 #
 # Symtable

+ 6 - 2
compiler/msgidx.inc

@@ -266,6 +266,7 @@ const
   parser_w_unsupported_feature=03186;
   parser_h_c_arrays_are_references=03187;
   parser_e_C_array_of_const_must_be_last=03188;
+  parser_h_type_redef=03189;
   type_e_mismatch=04000;
   type_e_incompatible_types=04001;
   type_e_not_equal_types=04002;
@@ -310,6 +311,9 @@ const
   type_e_class_or_interface_type_expected=04041;
   type_e_type_is_not_completly_defined=04042;
   type_w_string_too_long=04043;
+  type_w_signed_unsigned_always_false=04044;
+  type_w_signed_unsigned_always_true=04045;
+  type_w_mixed_signed_unsigned3=04046;
   sym_e_id_not_found=05000;
   sym_f_internal_error_in_symtablestack=05001;
   sym_e_duplicate_id=05002;
@@ -629,9 +633,9 @@ const
   option_info=11024;
   option_help_pages=11025;
 
-  MsgTxtSize = 35052;
+  MsgTxtSize = 35273;
 
   MsgIdxMax : array[1..20] of longint=(
-    17,62,189,44,43,41,98,19,35,43,
+    17,62,190,47,43,41,98,19,35,43,
     40,1,1,1,1,1,1,1,1,1
   );

+ 150 - 146
compiler/msgtxt.inc

@@ -301,301 +301,305 @@ const msgtxt : array[0..000146,1..240] of char=(
   '03186_W_Use of unsupported feature!'#000+
   '03187_H_C arrays are passed by reference'#000+
   '03188_E_C array of const must be the last argument'#000+
+  '03189_H_Type "$1" redefinition.'#000+
   '04000_E_Type mismatch'#000+
-  '04001_E_Incompatible types: got "$1"',' expected "$2"'#000+
+  '0400','1_E_Incompatible types: got "$1" expected "$2"'#000+
   '04002_E_Type mismatch between "$1" and "$2"'#000+
   '04003_E_Type identifier expected'#000+
   '04004_E_Variable identifier expected'#000+
   '04005_E_Integer expression expected, but got "$1"'#000+
-  '04006_E_Boolean expression expected, but got "$1"'#000+
-  '04007_E_Ord','inal expression expected'#000+
+  '04006_E_Boolean expression ex','pected, but got "$1"'#000+
+  '04007_E_Ordinal expression expected'#000+
   '04008_E_pointer type expected, but got "$1"'#000+
   '04009_E_class type expected, but got "$1"'#000+
   '04010_E_Variable or type indentifier expected'#000+
   '04011_E_Can'#039't evaluate constant expression'#000+
-  '04012_E_Set elements are not compatible'#000,
+  '04012_E_','Set elements are not compatible'#000+
   '04013_E_Operation not implemented for sets'#000+
   '04014_W_Automatic type conversion from floating type to COMP which is '+
   'an integer type'#000+
   '04015_H_use DIV instead to get an integer result'#000+
-  '04016_E_string types doesn'#039't match, because of $V+ mode'#000+
-  '04017_','E_succ or pred on enums with assignments not possible'#000+
+  '04016_E_string types doesn'#039't m','atch, because of $V+ mode'#000+
+  '04017_E_succ or pred on enums with assignments not possible'#000+
   '04018_E_Can'#039't read or write variables of this type'#000+
   '04019_E_Can'#039't use readln or writeln on typed file'#000+
   '04020_E_Can'#039't use read or write on untyped file.'#000+
-  '04021_E_Type conflict between set el','ements'#000+
+  '0402','1_E_Type conflict between set elements'#000+
   '04022_W_lo/hi(dword/qword) returns the upper/lower word/dword'#000+
   '04023_E_Integer or real expression expected'#000+
   '04024_E_Wrong type "$1" in array constructor'#000+
-  '04025_E_Incompatible type for arg no. $1: Got "$2", expected "$3"'#000+
-  '04026_E_Method (','variable) and Procedure (variable) are not compatibl'+
-  'e'#000+
+  '04025_E_Incompatible type for arg no. $1: Got "$2"',', expected "$3"'#000+
+  '04026_E_Method (variable) and Procedure (variable) are not compatible'#000+
   '04027_E_Illegal constant passed to internal math function'#000+
   '04028_E_Can'#039't get the address of constants'#000+
   '04029_E_Argument can'#039't be assigned to'#000+
-  '04030_E_Can'#039't assign local procedure/function t','o procedure varia'+
+  '04030_E_Can'#039't a','ssign local procedure/function to procedure varia'+
   'ble'#000+
   '04031_E_Can'#039't assign values to an address'#000+
   '04032_E_Can'#039't assign values to const variable'#000+
   '04033_E_Array type required'#000+
   '04034_E_interface type expected, but got "$1"'#000+
-  '04035_W_Mixing signed expressions and longwords gives a 6','4bit result'+
+  '04035_W_Mixing signed exp','ressions and longwords gives a 64bit result'+
   #000+
   '04036_W_Mixing signed expressions and cardinals here may cause a range'+
   ' check error'#000+
   '04037_E_Typecast has different size ($1 -> $2) in assignment'#000+
-  '04038_E_enums with assignments can'#039't be used as array index'#000+
-  '04039_E_Class types "$1"',' and "$2" are not related'#000+
+  '04038_E_enums with assignments can'#039't be used as arra','y index'#000+
+  '04039_E_Class types "$1" and "$2" are not related'#000+
   '04040_W_Class types "$1" and "$2" are not related'#000+
   '04041_E_Class or interface type expected, but got "$1"'#000+
   '04042_E_Type "$1" is not completly defined'#000+
-  '04043_W_String literal has more characters than short string lengt','h'#000+
-  '05000_E_Identifier not found "$1"'#000+
+  '04043_W_String literal has more ch','aracters than short string length'#000+
+  '04044_W_Comparison is always false due to range of values'#000+
+  '04045_W_Comparison is always true due to range of values'#000+
+  '04046_W_Comparison might always be true (or false) due to range of val'+
+  'ues'#000+
+  '05000_E_Identifie','r not found "$1"'#000+
   '05001_F_Internal Error in SymTableStack()'#000+
   '05002_E_Duplicate identifier "$1"'#000+
   '05003_H_Identifier already defined in $1 at line $2'#000+
   '05004_E_Unknown identifier "$1"'#000+
-  '05005_E_Forward declaration not solved "$1"'#000,
-  '05006_F_Identifier type already defined as type'#000+
+  '05005_E_Forward declaration not solved "$1"'#000+
+  '05006_F_Identifier ','type already defined as type'#000+
   '05007_E_Error in type definition'#000+
   '05008_E_Type identifier not defined'#000+
   '05009_E_Forward type not resolved "$1"'#000+
   '05010_E_Only static variables can be used in static methods or outside'+
   ' methods'#000+
-  '05011','_E_Invalid call to tvarsym.mangledname()'#000+
+  '05011_E_Invalid call to ','tvarsym.mangledname()'#000+
   '05012_F_record or class type expected'#000+
   '05013_E_Instances of classes or objects with an abstract method are no'+
   't allowed'#000+
   '05014_W_Label not defined "$1"'#000+
   '05015_E_Label used but not defined "$1"'#000+
-  '05016_E_Il','legal label declaration'#000+
+  '05016_E_Illegal label declara','tion'#000+
   '05017_E_GOTO and LABEL are not supported (use switch -Sg)'#000+
   '05018_E_Label not found'#000+
   '05019_E_identifier isn'#039't a label'#000+
   '05020_E_label already defined'#000+
   '05021_E_illegal type declaration of set elements'#000+
-  '05022_E_Forward class ','definition not resolved "$1"'#000+
+  '05022_E_Forward class definition not reso','lved "$1"'#000+
   '05023_H_Unit "$1" not used in $2'#000+
   '05024_H_Parameter "$1" not used'#000+
   '05025_N_Local variable "$1" not used'#000+
   '05026_H_Value parameter "$1" is assigned but never used'#000+
-  '05027_N_Local variable "$1" is assigned but never use','d'#000+
-  '05028_H_Local $1 "$2" is not used'#000+
+  '05027_N_Local variable "$1" is assigned but never used'#000+
+  '05028_H_Local $1 ','"$2" is not used'#000+
   '05029_N_Private field "$1.$2" is never used'#000+
   '05030_N_Private field "$1.$2" is assigned but never used'#000+
   '05031_N_Private method "$1.$2" never used'#000+
   '05032_E_Set type expected'#000+
-  '05033_W_Function result does not se','em to be set'#000+
-  '05034_W_Type "$1" is not aligned correctly in current record for C'#000+
+  '05033_W_Function result does not seem to be set'#000+
+  '05034_','W_Type "$1" is not aligned correctly in current record for C'#000+
   '05035_E_Unknown record field identifier "$1"'#000+
   '05036_W_Local variable "$1" does not seem to be initialized'#000+
   '05037_W_Variable "$1" does not seem to be initialized'#000+
-  '0','5038_E_identifier idents no member "$1"'#000+
+  '05038_E_identifier i','dents no member "$1"'#000+
   '05039_B_Found declaration: $1'#000+
   '05040_E_Data element too large'#000+
   '05041_W_Data element might be too large'#000+
   '05042_E_No matching implementation for interface method "$1" found'#000+
   '06000_E_BREAK not allowed'#000+
-  '06001_','E_CONTINUE not allowed'#000+
+  '06001_E_CONTINUE not allo','wed'#000+
   '06002_E_Expression too complicated - FPU stack overflow'#000+
   '06003_E_Illegal expression'#000+
   '06004_E_Invalid integer expression'#000+
   '06005_E_Illegal qualifier'#000+
   '06006_E_High range limit < low range limit'#000+
-  '06007_E_Illegal counter variab','le'#000+
-  '06008_E_Can'#039't determine which overloaded function to call'#000+
+  '06007_E_Illegal counter variable'#000+
+  '06008_E_Can'#039't de','termine which overloaded function to call'#000+
   '06009_E_Parameter list size exceeds 65535 bytes'#000+
   '06010_E_Illegal type conversion'#000+
   '06011_D_Conversion between ordinals and pointers is not portable acros'+
   's platforms'#000+
-  '06012_E_File type','s must be var parameters'#000+
+  '06012_E_File types must be var param','eters'#000+
   '06013_E_The use of a far pointer isn'#039't allowed there'#000+
   '06014_E_illegal call by reference parameters'#000+
   '06015_E_EXPORT declared functions can'#039't be called'#000+
-  '06016_W_Possible illegal call of constructor or destructor (doesn'#039't',
-  ' match to this context)'#000+
+  '06016_W_Possible illegal call of constructor or destructor (doesn'#039't'+
+  ' match to this cont','ext)'#000+
   '06017_N_Inefficient code'#000+
   '06018_W_unreachable code'#000+
   '06019_E_procedure call with stackframe ESP/SP'#000+
   '06020_E_Abstract methods can'#039't be called directly'#000+
   '06021_F_Internal Error in getfloatreg(), allocation failure'#000+
-  '06022_F_Un','known float type'#000+
-  '06023_F_SecondVecn() base defined twice'#000+
+  '06022_F_Unknown float type'#000+
+  '06','023_F_SecondVecn() base defined twice'#000+
   '06024_F_Extended cg68k not supported'#000+
   '06025_F_32-bit unsigned not supported in MC68000 mode'#000+
   '06026_F_Internal Error in secondinline()'#000+
   '06027_D_Register $1 weight $2 $3'#000+
-  '06028_E_Stack limi','t excedeed in local routine'#000+
+  '06028_E_Stack limit excedeed in local',' routine'#000+
   '06029_D_Stack frame is omitted'#000+
   '06031_E_Object or class methods can'#039't be inline.'#000+
   '06032_E_Procvar calls can'#039't be inline.'#000+
   '06033_E_No code for inline procedure stored'#000+
-  '06034_E_Direct call of interrupt procedure "$1" i','s not possible'#000+
-  '06035_E_Element zero of an ansi/wide- or longstring can'#039't be acces'+
-  'sed, use (set)length instead'#000+
+  '06034_E_Direct call of interrupt procedure "$1" is not possible'#000+
+  '0603','5_E_Element zero of an ansi/wide- or longstring can'#039't be acc'+
+  'essed, use (set)length instead'#000+
   '06036_E_Parameter limit excedeed in local routine'#000+
   '06037_E_Constructors or destructors can not be called inside a '#039'wi'+
   'th'#039' clause'#000+
-  '060','38_E_Cannot call message handler method directly'#000+
+  '06038_E_Cannot call me','ssage handler method directly'#000+
   '06039_E_Jump in or outside of an exception block'#000+
   '06040_E_Control flow statements aren'#039't allowed in a finally block'#000+
   '07000_D_Starting $1 styled assembler parsing'#000+
-  '07001_D_Finished $1 styled asse','mbler parsing'#000+
-  '07002_E_Non-label pattern contains @'#000+
+  '07001_D_Finished $1 styled assembler parsing'#000+
+  '07002','_E_Non-label pattern contains @'#000+
   '07003_W_Override operator not supported'#000+
   '07004_E_Error building record offset'#000+
   '07005_E_OFFSET used without identifier'#000+
   '07006_E_TYPE used without identifier'#000+
-  '07007_E_Cannot use local variable or',' parameters here'#000+
-  '07008_E_need to use OFFSET here'#000+
+  '07007_E_Cannot use local variable or parameters here'#000+
+  '07','008_E_need to use OFFSET here'#000+
   '07009_E_need to use $ here'#000+
   '07010_E_Cannot use multiple relocatable symbols'#000+
   '07011_E_Relocatable symbol can only be added'#000+
   '07012_E_Invalid constant expression'#000+
-  '07013_E_Relocatable symbol is not a','llowed'#000+
-  '07014_E_Invalid reference syntax'#000+
+  '07013_E_Relocatable symbol is not allowed'#000+
+  '07014_E_Inva','lid reference syntax'#000+
   '07015_E_You can not reach $1 from that code'#000+
   '07016_E_Local symbols/labels aren'#039't allowed as references'#000+
   '07017_E_Invalid base and index register usage'#000+
   '07018_W_Possible error in object field handling'#000+
-  '0701','9_E_Wrong scale factor specified'#000+
+  '07019_E_Wrong scale fac','tor specified'#000+
   '07020_E_Multiple index register usage'#000+
   '07021_E_Invalid operand type'#000+
   '07022_E_Invalid string as opcode operand: $1'#000+
   '07023_W_@CODE and @DATA not supported'#000+
   '07024_E_Null label references are not allowed'#000+
-  '07025_E_Div','ide by zero in asm evaluator'#000+
+  '07025_E_Divide by zero in asm ','evaluator'#000+
   '07026_E_Illegal expression'#000+
   '07027_E_escape sequence ignored: $1'#000+
   '07028_E_Invalid symbol reference'#000+
   '07029_W_Fwait can cause emulation problems with emu387'#000+
   '07030_W_$1 without operand translated into $1P'#000+
-  '07031_W_ENTER',' instruction is not supported by Linux kernel'#000+
+  '07031_W_ENTER instruction is not',' supported by Linux kernel'#000+
   '07032_W_Calling an overload function in assembler'#000+
   '07033_E_Unsupported symbol type for operand'#000+
   '07034_E_Constant value out of bounds'#000+
   '07035_E_Error converting decimal $1'#000+
-  '07036_E_Error converting oc','tal $1'#000+
-  '07037_E_Error converting binary $1'#000+
+  '07036_E_Error converting octal $1'#000+
+  '07037_E_Erro','r converting binary $1'#000+
   '07038_E_Error converting hexadecimal $1'#000+
   '07039_H_$1 translated to $2'#000+
   '07040_W_$1 is associated to an overloaded function'#000+
   '07041_E_Cannot use SELF outside a method'#000+
-  '07042_E_Cannot use OLDEBP outside a ne','sted procedure'#000+
-  '07043_W_Procedures can'#039't return any value in asm code'#000+
+  '07042_E_Cannot use OLDEBP outside a nested procedure'#000+
+  '0704','3_W_Procedures can'#039't return any value in asm code'#000+
   '07044_E_SEG not supported'#000+
   '07045_E_Size suffix and destination or source size do not match'#000+
   '07046_W_Size suffix and destination or source size do not match'#000+
-  '07047_E_Assembler',' syntax error'#000+
-  '07048_E_Invalid combination of opcode and operands'#000+
+  '07047_E_Assembler syntax error'#000+
+  '07048','_E_Invalid combination of opcode and operands'#000+
   '07049_E_Assembler syntax error in operand'#000+
   '07050_E_Assembler syntax error in constant'#000+
   '07051_E_Invalid String expression'#000+
   '07052_W_constant with symbol $1 for not 32bit address'#000+
-  '07','053_E_Unrecognized opcode $1'#000+
+  '07053_E_Unrecognized ','opcode $1'#000+
   '07054_E_Invalid or missing opcode'#000+
   '07055_E_Invalid combination of prefix and opcode: $1'#000+
   '07056_E_Invalid combination of override and opcode: $1'#000+
   '07057_E_Too many operands on line'#000+
   '07058_W_NEAR ignored'#000+
-  '07059_W_FAR ig','nored'#000+
-  '07060_E_Duplicate local symbol $1'#000+
+  '07059_W_FAR ignored'#000+
+  '07060_E_Dupli','cate local symbol $1'#000+
   '07061_E_Undefined local symbol $1'#000+
   '07062_E_Unknown label identifier $1'#000+
   '07063_E_Invalid register name'#000+
   '07064_E_Invalid floating point register name'#000+
   '07065_E_NOR not supported'#000+
-  '07066_W_Modulo not supported'#000,
-  '07067_E_Invalid floating point constant $1'#000+
+  '07066_W_Modulo not supported'#000+
+  '07067_E_Invalid flo','ating point constant $1'#000+
   '07068_E_Invalid floating point expression'#000+
   '07069_E_Wrong symbol type'#000+
   '07070_E_Cannot index a local var or parameter with a register'#000+
   '07071_E_Invalid segment override expression'#000+
-  '07072_W_Identifier $1 s','upposed external'#000+
-  '07073_E_Strings not allowed as constants'#000+
+  '07072_W_Identifier $1 supposed external'#000+
+  '07','073_E_Strings not allowed as constants'#000+
   '07074_No type of variable specified'#000+
   '07075_E_assembler code not returned to text section'#000+
   '07076_E_Not a directive or local symbol $1'#000+
   '07077_E_Using a defined name as a local label'#000+
-  '07078','_E_Dollar token is used without an identifier'#000+
+  '07078_E_Dollar token is ','used without an identifier'#000+
   '07079_W_32bit constant created for address'#000+
   '07080_N_.align is target specific, use .balign or .p2align'#000+
   '07081_E_Can'#039't access fields directly for parameters'#000+
-  '07082_E_Can'#039't access fields of objects/c','lasses directly'#000+
-  '07083_E_No size specified and unable to determine the size of the oper'+
-  'ands'#000+
+  '07082_E_Can'#039't access fields of objects/classes directly'#000+
+  '070','83_E_No size specified and unable to determine the size of the op'+
+  'erands'#000+
   '07084_E_Cannot use RESULT in this function'#000+
   '07085_H_RESULT is register $1'#000+
   '07086_W_"$1" without operand translated into "$1 %st,%st(1)"'#000+
-  '07087_W_"$1 %st','(n)" translated into "$1 %st,%st(n)"'#000+
+  '07087_W_"$1 %st(n)" translated int','o "$1 %st,%st(n)"'#000+
   '07088_W_"$1 %st(n)" translated into "$1 %st(n),%st"'#000+
   '07089_E_Char < not allowed here'#000+
   '07090_E_Char > not allowed here'#000+
   '07091_W_XDEF not supported'#000+
   '07092_E_Invalid XDEF syntax'#000+
   '07093_W_ALIGN not supported'#000+
-  '0709','4_E_Inc and Dec cannot be together'#000+
+  '07094_E_Inc and Dec can','not be together'#000+
   '07095_E_Invalid reglist for movem'#000+
   '07096_E_Reglist invalid for opcode'#000+
   '07097_E_68020 mode required'#000+
   '08000_F_Too many assembler files'#000+
   '08001_F_Selected assembler output not supported'#000+
-  '08002_F_Comp not supported'#000,
-  '08003_F_Direct not support for binary writers'#000+
+  '08002_F_Comp not supported'#000+
+  '08003_F_Direct not ','support for binary writers'#000+
   '08004_E_Allocating of data is only allowed in bss section'#000+
   '08005_F_No binary writer selected'#000+
   '08006_E_Asm: Opcode $1 not in table'#000+
   '08007_E_Asm: $1 invalid combination of opcode and operands'#000+
-  '08008_E','_Asm: 16 Bit references not supported'#000+
+  '08008_E_Asm: 16 Bit refere','nces not supported'#000+
   '08009_E_Asm: Invalid effective address'#000+
   '08010_E_Asm: Immediate or reference expected'#000+
   '08011_E_Asm: $1 value exceeds bounds $2'#000+
   '08012_E_Asm: Short jump is out of range $1'#000+
   '08013_E_Asm: Undefined label $1'#000+
-  '080','14_E_Asm: Comp type not supported for this target'#000+
+  '08014_E_Asm: Comp type',' not supported for this target'#000+
   '08015_E_Asm: Extended type not supported for this target'#000+
   '08016_E_Asm: Duplicate label $1'#000+
   '08017_E_Asm: Redefined label $1'#000+
   '08018_E_Asm: First defined here'#000+
-  '09000_W_Source operating system redef','ined'#000+
-  '09001_I_Assembling (pipe) $1'#000+
+  '09000_W_Source operating system redefined'#000+
+  '09001_I_Assemb','ling (pipe) $1'#000+
   '09002_E_Can'#039't create assember file: $1'#000+
   '09003_E_Can'#039't create object file: $1'#000+
   '09004_E_Can'#039't create archive file: $1'#000+
   '09005_E_Assembler $1 not found, switching to external assembling'#000+
-  '09006_T_Using assembler: $1',#000+
-  '09007_E_Error while assembling exitcode $1'#000+
+  '09006_T_Using assembler: $1'#000+
+  '09007_E_Error whil','e assembling exitcode $1'#000+
   '09008_E_Can'#039't call the assembler, error $1 switching to external a'+
   'ssembling'#000+
   '09009_I_Assembling $1'#000+
   '09010_I_Assembling smartlink $1'#000+
   '09011_W_Object $1 not found, Linking may fail !'#000+
-  '09012_W_Library $1',' not found, Linking may fail !'#000+
+  '09012_W_Library $1 not found, Linking',' may fail !'#000+
   '09013_E_Error while linking'#000+
   '09014_E_Can'#039't call the linker, switching to external linking'#000+
   '09015_I_Linking $1'#000+
   '09016_E_Util $1 not found, switching to external linking'#000+
   '09017_T_Using util $1'#000+
-  '09018_E_Creation of Ex','ecutables not supported'#000+
+  '09018_E_Creation of Executables not suppo','rted'#000+
   '09019_E_Creation of Dynamic/Shared Libraries not supported'#000+
   '09020_I_Closing script $1'#000+
   '09021_E_resource compiler not found, switching to external mode'#000+
   '09022_I_Compiling resource $1'#000+
-  '09023_T_unit $1 can'#039't be static linke','d, switching to smart linki'+
+  '09023_T_unit $1 can'#039't be static linked, switching to sma','rt linki'+
   'ng'#000+
   '09024_T_unit $1 can'#039't be smart linked, switching to static linking'+
   #000+
   '09025_T_unit $1 can'#039't be shared linked, switching to static linkin'+
   'g'#000+
   '09026_E_unit $1 can'#039't be smart or static linked'#000+
-  '09027_E_unit $1 can'#039't be sh','ared or static linked'#000+
+  '09027_E_unit $1 can'#039't be shared or static link','ed'#000+
   '09028_F_Can'#039't post process executable $1'#000+
   '09029_F_Can'#039't open executable $1'#000+
   '09030_X_Size of Code: $1 bytes'#000+
   '09031_X_Size of initialized data: $1 bytes'#000+
   '09032_X_Size of uninitialized data: $1 bytes'#000+
-  '09033_X_Stack space reser','ved: $1 bytes'#000+
-  '09034_X_Stack space commited: $1 bytes'#000+
+  '09033_X_Stack space reserved: $1 bytes'#000+
+  '09034','_X_Stack space commited: $1 bytes'#000+
   '10000_T_Unitsearch: $1'#000+
   '10001_T_PPU Loading $1'#000+
   '10002_U_PPU Name: $1'#000+
@@ -603,85 +607,85 @@ const msgtxt : array[0..000146,1..240] of char=(
   '10004_U_PPU Crc: $1'#000+
   '10005_U_PPU Time: $1'#000+
   '10006_U_PPU File too short'#000+
-  '10007_U_PPU Invalid Header (no',' PPU at the begin)'#000+
+  '10007_U_PPU Invalid Header (no PPU at the begin)'#000,
   '10008_U_PPU Invalid Version $1'#000+
   '10009_U_PPU is compiled for an other processor'#000+
   '10010_U_PPU is compiled for an other target'#000+
   '10011_U_PPU Source: $1'#000+
   '10012_U_Writing $1'#000+
   '10013_F_Can'#039't Write PPU-File'#000+
-  '10014_F_Error reading PPU-Fi','le'#000+
-  '10015_F_unexpected end of PPU-File'#000+
+  '10014_F_Error reading PPU-File'#000+
+  '10015_F_unexpect','ed end of PPU-File'#000+
   '10016_F_Invalid PPU-File entry: $1'#000+
   '10017_F_PPU Dbx count problem'#000+
   '10018_E_Illegal unit name: $1'#000+
   '10019_F_Too much units'#000+
   '10020_F_Circular unit reference between $1 and $2'#000+
-  '10021_F_Can'#039't compile unit $1, no ','sources available'#000+
-  '10022_F_Can'#039't find unit $1'#000+
+  '10021_F_Can'#039't compile unit $1, no sources available'#000+
+  '1','0022_F_Can'#039't find unit $1'#000+
   '10023_W_Unit $1 was not found but $2 exists'#000+
   '10024_F_Unit $1 searched but $2 found'#000+
   '10025_W_Compiling the system unit requires the -Us switch'#000+
-  '10026_F_There were $1 errors compiling module, stopping',#000+
-  '10027_U_Load from $1 ($2) unit $3'#000+
+  '10026_F_There were $1 errors compiling module, stopping'#000+
+  '10027_U_Load from ','$1 ($2) unit $3'#000+
   '10028_U_Recompiling $1, checksum changed for $2'#000+
   '10029_U_Recompiling $1, source found only'#000+
   '10030_U_Recompiling unit, static lib is older than ppufile'#000+
-  '10031_U_Recompiling unit, shared lib is older than ppufi','le'#000+
-  '10032_U_Recompiling unit, obj and asm are older than ppufile'#000+
+  '10031_U_Recompiling unit, shared lib is older than ppufile'#000+
+  '10032_U_Recompil','ing unit, obj and asm are older than ppufile'#000+
   '10033_U_Recompiling unit, obj is older than asm'#000+
   '10034_U_Parsing interface of $1'#000+
   '10035_U_Parsing implementation of $1'#000+
   '10036_U_Second load for unit $1'#000+
-  '10037_U_PPU Check file $1 t','ime $2'#000+
-  '10038_H_Conditional $1 was not set at startup in last compilation of $'+
-  '2'#000+
+  '10037_U_PPU Check file $1 time $2'#000+
+  '10038_H_Cond','itional $1 was not set at startup in last compilation of'+
+  ' $2'#000+
   '10039_H_Conditional $1 was set at startup in last compilation of $2'#000+
   '10040_W_Can'#039't recompile unit $1, but found modifed include files'#000+
-  '10041_H_File $1 is newer tha','n Release PPU file $2'#000+
+  '10041_H_File $1 is newer than Release PPU file ','$2'#000+
   '10042_U_Using a unit which was not compiled with correct FPU mode'#000+
   '11000_$1 [options] <inputfile> [options]'#000+
   '11001_W_Only one source file supported'#000+
   '11002_W_DEF file can be created only for OS/2'#000+
-  '11003_E_nested response fi','les are not supported'#000+
+  '11003_E_nested response files are not support','ed'#000+
   '11004_F_No source file name in command line'#000+
   '11005_N_No option inside $1 config file'#000+
   '11006_E_Illegal parameter: $1'#000+
   '11007_H_-? writes help pages'#000+
   '11008_F_Too many config files nested'#000+
   '11009_F_Unable to open file $1'#000+
-  '11010_D','_Reading further options from $1'#000+
+  '11010_D_Reading further op','tions from $1'#000+
   '11011_W_Target is already set to: $1'#000+
   '11012_W_Shared libs not supported on DOS platform, reverting to static'+
   #000+
   '11013_F_too many IF(N)DEFs'#000+
   '11014_F_too many ENDIFs'#000+
-  '11015_F_open conditional at the end of the file'#000,
-  '11016_W_Debug information generation is not supported by this executab'+
-  'le'#000+
+  '11015_F_open conditional at the end of the file'#000+
+  '11016_W_Debug infor','mation generation is not supported by this execut'+
+  'able'#000+
   '11017_H_Try recompiling with -dGDB'#000+
   '11018_E_You are using the obsolete switch $1'#000+
   '11019_E_You are using the obsolete switch $1, please use $2'#000+
-  '11020_N_Switching assembler',' to default source writing assembler'#000+
+  '11020_N_Switching assembler to default source ','writing assembler'#000+
   '11021_W_Assembler output selected "$1" is not compatible with "$2"'#000+
   '11022_W_"$1" assembler use forced'#000+
   '11026_T_Reading options from file $1'#000+
   '11027_T_Reading options from environment $1'#000+
-  '11028_D_Handling opti','on "$1"'#000+
-  '11029__*** press enter ***'#000+
+  '11028_D_Handling option "$1"'#000+
+  '11029__*** ','press enter ***'#000+
   '11030_H_Start of reading config file $1'#000+
   '11031_H_End of reading config file $1'#000+
   '11032_D_interpreting option "$1"'#000+
   '11036_D_interpreting firstpass option "$1"'#000+
   '11033_D_interpreting file option "$1"'#000+
-  '11034_D_Readi','ng config file "$1"'#000+
+  '11034_D_Reading config file "$1"',#000+
   '11035_D_found source file name "$1"'#000+
   '11037_D_Defining symbol $1'#000+
   '11038_D_Undefining symbol $1'#000+
   '11039_E_Unknown code page'#000+
   '11023_Free Pascal Compiler version $FPCVER [$FPCDATE] for $FPCTARGET'#010+
-  'Copyright (c) 1993-2002 by Floria','n Klaempfl'#000+
-  '11024_Free Pascal Compiler version $FPCVER'#010+
+  'Copyright (c) 1993-2002 by Florian Klaempfl'#000+
+  '11024_Fr','ee Pascal Compiler version $FPCVER'#010+
   #010+
   'Compiler Date  : $FPCDATE'#010+
   'Compiler Target: $FPCTARGET'#010+
@@ -692,25 +696,25 @@ const msgtxt : array[0..000146,1..240] of char=(
   'This program comes under the GNU General Public Licence'#010+
   'For more information read COPYING.FPC'#010+
   #010+
-  'Re','port bugs,suggestions etc to:'#010+
+  'Report bugs,suggestio','ns etc to:'#010+
   '                 [email protected]'#000+
   '11025_**0*_put + after a boolean switch option to enable it, - to disa'+
   'ble it'#010+
   '**1a_the compiler doesn'#039't delete the generated assembler file'#010+
-  '**2al_list sourcecode lines in a','ssembler file'#010+
-  '**2ar_list register allocation/release info in assembler file'#010+
+  '**2al_list sourcecode lines in assembler file'#010+
+  '**2ar','_list register allocation/release info in assembler file'#010+
   '**2at_list temp allocation/release info in assembler file'#010+
   '**1b_generate browser info'#010+
   '**2bl_generate local symbol info'#010+
   '**1B_build all modules'#010+
-  '**1C<x>_code generation',' options:'#010+
-  '**2CD_create also dynamic library (not supported)'#010+
+  '**1C<x>_code generation options:'#010+
+  '**2CD_cre','ate also dynamic library (not supported)'#010+
   '**2Ch<n>_<n> bytes heap (between 1023 and 67107840)'#010+
   '**2Ci_IO-checking'#010+
   '**2Cn_omit linking stage'#010+
   '**2Co_check overflow of integer operations'#010+
   '**2Cr_range checking'#010+
-  '**2CR_verify object m','ethod call validity'#010+
+  '**2CR_verify object method call validity',#010+
   '**2Cs<n>_set stack size to <n>'#010+
   '**2Ct_stack checking'#010+
   '**2CX_create also smartlinked library'#010+
@@ -718,28 +722,28 @@ const msgtxt : array[0..000146,1..240] of char=(
   '*O1D_generate a DEF file'#010+
   '*O2Dd<x>_set description to <x>'#010+
   '*O2Dw_PM application'#010+
-  '**1e<x>_set path to e','xecutable'#010+
-  '**1E_same as -Cn'#010+
+  '**1e<x>_set path to executable'#010+
+  '**1E_same',' as -Cn'#010+
   '**1F<x>_set file names and paths:'#010+
   '**2FD<x>_sets the directory where to search for compiler utilities'#010+
   '**2Fe<x>_redirect error output to <x>'#010+
   '**2FE<x>_set exe/unit output path to <x>'#010+
-  '**2Fi<x>_adds <x> to include path',#010+
-  '**2Fl<x>_adds <x> to library path'#010+
+  '**2Fi<x>_adds <x> to include path'#010+
+  '**2Fl<x>_adds <x> ','to library path'#010+
   '*L2FL<x>_uses <x> as dynamic linker'#010+
   '**2Fo<x>_adds <x> to object path'#010+
   '**2Fr<x>_load error message file <x>'#010+
   '**2Fu<x>_adds <x> to unit path'#010+
   '**2FU<x>_set unit output path to <x>, overrides -FE'#010+
-  '*g1g_generate de','bugger information:'#010+
+  '*g1g_generate debugger information:',#010+
   '*g2gg_use gsym'#010+
   '*g2gd_use dbx'#010+
   '*g2gh_use heap trace unit (for memory leak debugging)'#010+
   '*g2gl_use line info unit to show more info for backtraces'#010+
   '*g2gc_generate checks for pointers'#010+
   '**1i_information'#010+
-  '**2iD_return compiler date'#010,
-  '**2iV_return compiler version'#010+
+  '**2iD_return compiler date'#010+
+  '**2iV_return compil','er version'#010+
   '**2iSO_return compiler OS'#010+
   '**2iSP_return compiler processor'#010+
   '**2iTO_return target OS'#010+
@@ -747,92 +751,92 @@ const msgtxt : array[0..000146,1..240] of char=(
   '**1I<x>_adds <x> to include path'#010+
   '**1k<x>_Pass <x> to the linker'#010+
   '**1l_write logo'#010+
-  '**1n_don'#039't read ','the default config file'#010+
+  '**1n_don'#039't read the default config ','file'#010+
   '**1o<x>_change the name of the executable produced to <x>'#010+
   '**1pg_generate profile code for gprof (defines FPC_PROFILE)'#010+
   '*L1P_use pipes instead of creating temporary assembler files'#010+
   '**1S<x>_syntax options:'#010+
-  '**2S2_switch ','some Delphi 2 extensions on'#010+
+  '**2S2_switch some Delphi 2 exten','sions on'#010+
   '**2Sc_supports operators like C (*=,+=,/= and -=)'#010+
   '**2Sa_include assertion code.'#010+
   '**2Sd_tries to be Delphi compatible'#010+
   '**2Se<x>_compiler stops after the <x> errors (default is 1)'#010+
   '**2Sg_allow LABEL and GOTO'#010+
-  '**2Sh_Use',' ansistrings'#010+
-  '**2Si_support C++ styled INLINE'#010+
+  '**2Sh_Use ansistrings'#010+
+  '**2Si_','support C++ styled INLINE'#010+
   '**2Sm_support macros like C (global)'#010+
   '**2So_tries to be TP/BP 7.0 compatible'#010+
   '**2Sp_tries to be gpc compatible'#010+
   '**2Ss_constructor name must be init (destructor must be done)'#010+
-  '**2St_allow static keywo','rd in objects'#010+
-  '**1s_don'#039't call assembler and linker (only with -a)'#010+
+  '**2St_allow static keyword in objects'#010+
+  '**1s_','don'#039't call assembler and linker (only with -a)'#010+
   '**2st_Generate script to link on target'#010+
   '**2sh_Generate script to link on host'#010+
   '**1u<x>_undefines the symbol <x>'#010+
   '**1U_unit options:'#010+
   '**2Un_don'#039't check the unit name'#010+
-  '**2Ur_genera','te release unit files'#010+
+  '**2Ur_generate release unit fil','es'#010+
   '**2Us_compile a system unit'#010+
   '**1v<x>_Be verbose. <x> is a combination of the following letters:'#010+
   '**2*_e : Show errors (default)       d : Show debug info'#010+
   '**2*_w : Show warnings               u : Show unit info'#010+
-  '**2*_n : S','how notes                  t : Show tried/used files'#010+
+  '**2*_n : Show notes          ','        t : Show tried/used files'#010+
   '**2*_h : Show hints                  m : Show defined macros'#010+
   '**2*_i : Show general info           p : Show compiled procedures'#010+
   '**2*_l : Show linenumbers            c : Show conditionals'#010+
-  '*','*2*_a : Show everything             0 : Show nothing (except errors'+
+  '**2*_a : Show everyt','hing             0 : Show nothing (except errors'+
   ')'#010+
   '**2*_b : Show all procedure          r : Rhide/GCC compatibility mode'#010+
   '**2*_    declarations if an error    x : Executable info (Win32 only)'#010+
   '**2*_    occurs'#010+
-  '**1V_write fpcd','ebug.txt file with lots of debugging info'#010+
+  '**1V_write fpcdebug.txt file with ','lots of debugging info'#010+
   '**1X_executable options:'#010+
   '*L2Xc_link with the c library'#010+
   '**2Xs_strip all symbols from executable'#010+
   '**2XD_try to link dynamic          (defines FPC_LINK_DYNAMIC)'#010+
-  '**2XS_try to link static (default) (defin','es FPC_LINK_STATIC)'#010+
+  '**2XS_try to link static (default) (defines FPC_LINK_STATIC)',#010+
   '**2XX_try to link smart            (defines FPC_LINK_SMART)'#010+
   '**0*_Processor specific options:'#010+
   '3*1A<x>_output format:'#010+
   '3*2Aas_assemble using GNU AS'#010+
   '3*2Anasmcoff_coff (Go32v2) file using Nasm'#010+
-  '3*2Anasmelf_elf32 (Linux) file u','sing Nasm'#010+
-  '3*2Anasmobj_obj file using Nasm'#010+
+  '3*2Anasmelf_elf32 (Linux) file using Nasm'#010+
+  '3*2Anasmo','bj_obj file using Nasm'#010+
   '3*2Amasm_obj file using Masm (Microsoft)'#010+
   '3*2Atasm_obj file using Tasm (Borland)'#010+
   '3*2Acoff_coff (Go32v2) using internal writer'#010+
   '3*2Apecoff_pecoff (Win32) using internal writer'#010+
-  '3*1R<x>_assembler reading',' style:'#010+
-  '3*2Ratt_read AT&T style assembler'#010+
+  '3*1R<x>_assembler reading style:'#010+
+  '3*2Ratt_rea','d AT&T style assembler'#010+
   '3*2Rintel_read Intel style assembler'#010+
   '3*2Rdirect_copy assembler text directly to assembler file'#010+
   '3*1O<x>_optimizations:'#010+
   '3*2Og_generate smaller code'#010+
   '3*2OG_generate faster code (default)'#010+
-  '3*2Or_keep cert','ain variables in registers'#010+
+  '3*2Or_keep certain variables in re','gisters'#010+
   '3*2Ou_enable uncertain optimizations (see docs)'#010+
   '3*2O1_level 1 optimizations (quick optimizations)'#010+
   '3*2O2_level 2 optimizations (-O1 + slower optimizations)'#010+
-  '3*2O3_level 3 optimizations (-O2 repeatedly, max 5 times)'#010,
-  '3*2Op<x>_target processor:'#010+
+  '3*2O3_level 3 optimizations (-O2 repeatedly, max 5 times)'#010+
+  '3*2Op<x>_target pro','cessor:'#010+
   '3*3Op1_set target processor to 386/486'#010+
   '3*3Op2_set target processor to Pentium/PentiumMMX (tm)'#010+
   '3*3Op3_set target processor to PPro/PII/c6x86/K6 (tm)'#010+
   '3*1T<x>_Target operating system:'#010+
-  '3*2TGO32V2_version 2 of DJ Delor','ie DOS extender'#010+
-  '3*2TWDOSX DOS 32 Bit Extender'#010+
+  '3*2TGO32V2_version 2 of DJ Delorie DOS extender'#010+
+  '3*2','TWDOSX DOS 32 Bit Extender'#010+
   '3*2TLINUX_Linux'#010+
   '3*2Tnetware_Novell Netware Module (experimental)'#010+
   '3*2TOS2_OS/2 2.x'#010+
   '3*2TSUNOS_SunOS/Solaris'#010+
   '3*2TWin32_Windows 32 Bit'#010+
   '3*1W<x>_Win32 target options'#010+
-  '3*2WB<x>_Set Image base to Hexadec','imal <x> value'#010+
-  '3*2WC_Specify console type application'#010+
+  '3*2WB<x>_Set Image base to Hexadecimal <x> value'#010+
+  '3*2W','C_Specify console type application'#010+
   '3*2WD_Use DEFFILE to export functions of DLL or EXE'#010+
   '3*2WF_Specify full-screen type application (OS/2 only)'#010+
   '3*2WG_Specify graphic type application'#010+
-  '3*2WN_Do not generate relocation code (n','ecessary for debugging)'#010+
+  '3*2WN_Do not generate relocation code (necessary for debugg','ing)'#010+
   '3*2WR_Generate relocation code'#010+
   '6*1A<x>_output format'#010+
   '6*2Aas_Unix o-file using GNU AS'#010+
@@ -840,14 +844,14 @@ const msgtxt : array[0..000146,1..240] of char=(
   '6*2Amit_MIT Syntax (old GAS)'#010+
   '6*2Amot_Standard Motorola assembler'#010+
   '6*1O_optimizations:'#010+
-  '6*2Oa_turn on t','he optimizer'#010+
-  '6*2Og_generate smaller code'#010+
+  '6*2Oa_turn on the optimizer'#010+
+  '6*2Og_','generate smaller code'#010+
   '6*2OG_generate faster code (default)'#010+
   '6*2Ox_optimize maximum (still BUGGY!!!)'#010+
   '6*2O0_set target processor to a MC68000'#010+
   '6*2O2_set target processor to a MC68020+ (default)'#010+
-  '6*1R<x>_assembler reading style',':'#010+
-  '6*2RMOT_read motorola style assembler'#010+
+  '6*1R<x>_assembler reading style:'#010+
+  '6*2RMOT_read moto','rola style assembler'#010+
   '6*1T<x>_Target operating system:'#010+
   '6*2TAMIGA_Commodore Amiga'#010+
   '6*2TATARI_Atari ST/STe/TT'#010+
@@ -856,5 +860,5 @@ const msgtxt : array[0..000146,1..240] of char=(
   '6*2TPALMOS_PalmOS'#010+
   '**1*_'#010+
   '**1?_shows this help'#010+
-  '**1h_shows this help with','out waiting'#000
+  '**1h_shows this help without waiting'#000
 );

+ 48 - 1
compiler/nadd.pas

@@ -833,6 +833,49 @@ implementation
              { generic ord conversion is s32bit }
              else
                begin
+                 { if the left or right value is smaller than the normal
+                   type s32bittype and is unsigned, and the other value
+                   is a constant < 0, the result will always be false/true
+                   for equal / unequal nodes.
+                 }
+                 if (
+                      { left : unsigned ordinal var, right : < 0 constant }
+                      (
+                       ((is_signed(ld)=false) and (is_constintnode(left) =false)) and
+                       ((is_constintnode(right)) and (tordconstnode(right).value < 0))
+                      ) or
+                      { right : unsigned ordinal var, left : < 0 constant }
+                      (
+                       ((is_signed(rd)=false) and (is_constintnode(right) =false)) and
+                       ((is_constintnode(left)) and (tordconstnode(left).value < 0))
+                      )
+                    )  then
+                    begin
+                      if nodetype = equaln then
+                         CGMessage(type_w_signed_unsigned_always_false)
+                      else
+                      if nodetype = unequaln then
+                         CGMessage(type_w_signed_unsigned_always_true)
+                      else
+                      if (is_constintnode(left) and (nodetype in [ltn,lten])) or
+                         (is_constintnode(right) and (nodetype in [gtn,gten])) then
+                         CGMessage(type_w_signed_unsigned_always_true)
+                      else
+                      if (is_constintnode(right) and (nodetype in [ltn,lten])) or
+                         (is_constintnode(left) and (nodetype in [gtn,gten])) then
+                         CGMessage(type_w_signed_unsigned_always_false);
+                    end
+                 else
+                 { give out a warning if types are not of the same sign, and are 
+                   not constants.
+                 }
+                 if (((byte(is_signed(rd)) xor byte(is_signed(ld))) and 1)<>0) and 
+                      (nodetype in [ltn,gtn,gten,lten,equaln,unequaln]) and (not is_constintnode(left)) and
+                      (not is_constintnode(right)) then
+                   begin
+                       CGMessage(type_w_mixed_signed_unsigned3); 
+                   end;
+
                  inserttypeconv(right,s32bittype);
                  inserttypeconv(left,s32bittype);
                end;
@@ -1844,7 +1887,11 @@ begin
 end.
 {
   $Log$
-  Revision 1.70  2002-11-16 14:20:22  peter
+  Revision 1.71  2002-11-23 22:50:06  carl
+    * some small speed optimizations
+    + added several new warnings/hints
+
+  Revision 1.70  2002/11/16 14:20:22  peter
     * fix tbs0417
 
   Revision 1.69  2002/11/15 01:58:50  peter

+ 15 - 2
compiler/ncgmem.pas

@@ -259,7 +259,8 @@ implementation
          end;
          if (cs_gdb_heaptrc in aktglobalswitches) and
             (cs_checkpointer in aktglobalswitches) and
-            not(cs_compilesystem in aktmoduleswitches) then
+            not(cs_compilesystem in aktmoduleswitches) and
+            (not tpointerdef(left.resulttype.def).is_far) then
           begin
             cg.a_param_reg(exprasmlist, OS_ADDR,location.reference.base,paramanager.getintparaloc(1));
             cg.a_call_name(exprasmlist,'FPC_CHECKPOINTER');
@@ -303,6 +304,14 @@ implementation
                      cg.a_load_loc_reg(exprasmlist,left.location,location.reference.base);
                   end;
              end;
+             { implicit deferencing }
+             if (cs_gdb_heaptrc in aktglobalswitches) and
+                (cs_checkpointer in aktglobalswitches) and
+                not(cs_compilesystem in aktmoduleswitches) then
+              begin
+                cg.a_param_reg(exprasmlist, OS_ADDR,location.reference.base,paramanager.getintparaloc(1));
+                cg.a_call_name(exprasmlist,'FPC_CHECKPOINTER');
+              end;
            end
          else if is_interfacecom(left.resulttype.def) then
            begin
@@ -897,7 +906,11 @@ begin
 end.
 {
   $Log$
-  Revision 1.32  2002-11-15 01:58:51  peter
+  Revision 1.33  2002-11-23 22:50:06  carl
+    * some small speed optimizations
+    + added several new warnings/hints
+
+  Revision 1.32  2002/11/15 01:58:51  peter
     * merged changes from 1.0.7 up to 04-11
       - -V option for generating bug report tracing
       - more tracing for option parsing

+ 6 - 1
compiler/pdecl.pas

@@ -432,6 +432,7 @@ implementation
                     newtype:=ttypesym(sym);
                     tt:=newtype.restype;
                   end;
+                  message1(parser_h_type_redef,typename);
                end;
             end;
            { no old type reused ? Then insert this new type }
@@ -626,7 +627,11 @@ implementation
 end.
 {
   $Log$
-  Revision 1.59  2002-11-17 16:31:56  carl
+  Revision 1.60  2002-11-23 22:50:06  carl
+    * some small speed optimizations
+    + added several new warnings/hints
+
+  Revision 1.59  2002/11/17 16:31:56  carl
     * memory optimization (3-4%) : cleanup of tai fields,
        cleanup of tdef and tsym fields.
     * make it work for m68k

+ 7 - 1
compiler/psub.pas

@@ -400,7 +400,9 @@ implementation
             (aktprocdef.proccalloption<>pocall_inline) then
            begin
              if lexlevel>=normal_function_level then
+              begin
                aktprocdef.localst.free;
+              end;
              aktprocdef.localst:=nil;
            end;
 
@@ -802,7 +804,11 @@ implementation
 end.
 {
   $Log$
-  Revision 1.76  2002-11-18 17:31:58  peter
+  Revision 1.77  2002-11-23 22:50:06  carl
+    * some small speed optimizations
+    + added several new warnings/hints
+
+  Revision 1.76  2002/11/18 17:31:58  peter
     * pass proccalloption to ret_in_xxx and push_xxx functions
 
   Revision 1.75  2002/11/17 16:31:57  carl

+ 6 - 2
compiler/symdef.pas

@@ -3711,7 +3711,7 @@ implementation
      if assigned(owner) then
       begin
         if (owner.symtabletype = objectsymtable) then
-         obj := upper(owner.name^)+'__'+procsym.name;
+         obj := owner.name^+'__'+procsym.name;
         { this code was correct only as long as the local symboltable
           of the parent had the same name as the function
           but this is no true anymore !! PM
@@ -5537,7 +5537,11 @@ implementation
 end.
 {
   $Log$
-  Revision 1.108  2002-11-22 22:48:10  carl
+  Revision 1.109  2002-11-23 22:50:06  carl
+    * some small speed optimizations
+    + added several new warnings/hints
+
+  Revision 1.108  2002/11/22 22:48:10  carl
   * memory optimization with tconstsym (1.5%)
 
   Revision 1.107  2002/11/19 16:21:29  pierre

+ 6 - 2
compiler/symsym.pas

@@ -1719,7 +1719,7 @@ implementation
           (sp_static in symoptions) then
          begin
             if (cs_gdb_gsym in aktglobalswitches) then st := 'G'+st else st := 'S'+st;
-            stabstring := strpnew('"'+upper(owner.name^)+'__'+name+':'+st+
+            stabstring := strpnew('"'+owner.name^+'__'+name+':'+st+
                      '",'+
                      tostr(N_LCSYM)+',0,'+tostr(fileinfo.line)+','+mangledname);
          end
@@ -2499,7 +2499,11 @@ implementation
 end.
 {
   $Log$
-  Revision 1.74  2002-11-22 22:48:11  carl
+  Revision 1.75  2002-11-23 22:50:09  carl
+    * some small speed optimizations
+    + added several new warnings/hints
+
+  Revision 1.74  2002/11/22 22:48:11  carl
   * memory optimization with tconstsym (1.5%)
 
   Revision 1.73  2002/11/18 17:31:59  peter