From 6a52e7a9e5141011cc25cff93bc2abe9ee5a2fde Mon Sep 17 00:00:00 2001 From: carl Date: Mon, 25 Nov 2002 18:43:31 +0000 Subject: [PATCH] - removed the invalid if <> checking (Delphi is strange on this) + implemented abstract warning on instance creation of class with abstract methods. * some error message cleanups --- compiler/msg/errore.msg | 15 ++- compiler/msgidx.inc | 6 +- compiler/msgtxt.inc | 255 ++++++++++++++++++++-------------------- compiler/nadd.pas | 20 ++-- compiler/ncal.pas | 143 +++++++++++++++++++++- compiler/pdecl.pas | 10 +- compiler/psub.pas | 14 +-- compiler/ptconst.pas | 10 +- compiler/symdef.pas | 18 ++- compiler/symsym.pas | 12 +- compiler/x86/cgx86.pas | 18 ++- 11 files changed, 330 insertions(+), 191 deletions(-) diff --git a/compiler/msg/errore.msg b/compiler/msg/errore.msg index a7d7d283be..401012c650 100644 --- a/compiler/msg/errore.msg +++ b/compiler/msg/errore.msg @@ -919,10 +919,10 @@ parser_w_skipped_fields_before=03175_W_Some fields coming before "$1" weren't in parser_e_skipped_fields_before=03176_E_Some fields coming before "$1" weren't initialized % In all syntax modes but Delphi mode, you can't leave some fields uninitialized % in the middle of a typed constant record -parser_h_skipped_fields_after=03177_H_Some fields coming after "$1" weren't initialized +parser_w_skipped_fields_after=03177_W_Some fields coming after "$1" weren't initialized % You can leave some fields at the end of a type constant record uninitialized -% (the compiler will initialize them to zero automatically), but the the -% compiler gives a hint because it can be the source of a problem. +% (the compiler will initialize them to zero automatically). This may be the cause +% of subtle problems. parser_e_varargs_need_cdecl_and_external=03178_E_VarArgs directive without CDecl and External % The varargs directive can only be used with procedures or functions % that are declared with CDecl and External directives. The varargs directive @@ -1143,12 +1143,11 @@ type_w_signed_unsigned_always_true=04045_W_Comparison is always true due to rang % 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_instance_with_abstract=04046_W_Constructing a class "$1" with abstract method "$2" +% An instance of a class is created which contains non-implemented abstract +% methods. This will probably lead to a runtime error 211 in the code if that +% routine is ever called. All abstract methods should be overriden. % -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 diff --git a/compiler/msgidx.inc b/compiler/msgidx.inc index 20da9ec854..7840eb7a41 100644 --- a/compiler/msgidx.inc +++ b/compiler/msgidx.inc @@ -254,7 +254,7 @@ const parser_e_no_local_external=03174; parser_w_skipped_fields_before=03175; parser_e_skipped_fields_before=03176; - parser_h_skipped_fields_after=03177; + parser_w_skipped_fields_after=03177; parser_e_varargs_need_cdecl_and_external=03178; parser_e_self_call_by_value=03179; parser_e_interface_has_no_guid=03180; @@ -313,7 +313,7 @@ const 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; + type_w_instance_with_abstract=04046; sym_e_id_not_found=05000; sym_f_internal_error_in_symtablestack=05001; sym_e_duplicate_id=05002; @@ -633,7 +633,7 @@ const option_info=11024; option_help_pages=11025; - MsgTxtSize = 35273; + MsgTxtSize = 35258; MsgIdxMax : array[1..20] of longint=( 17,62,190,47,43,41,98,19,35,43, diff --git a/compiler/msgtxt.inc b/compiler/msgtxt.inc index e1a79de33d..91fb083da0 100644 --- a/compiler/msgtxt.inc +++ b/compiler/msgtxt.inc @@ -288,7 +288,7 @@ const msgtxt : array[0..000146,1..240] of char=( '03174_E_Can'#039't declare local procedure as EXTERNAL'#000+ '03175_W_Some fields coming before "$1" weren'#039't initialized'#000+ '03176_E_Some fields coming before "$1" weren'#039't in','itialized'#000+ - '03177_H_Some fields coming after "$1" weren'#039't initialized'#000+ + '03177_W_Some fields coming after "$1" weren'#039't initialized'#000+ '03178_E_VarArgs directive without CDecl and External'#000+ '03179_E_Self must be a normal (call-by-value) parameter'#000+ '03180_E_Interface "$1" has no interface identification'#000+ @@ -301,305 +301,304 @@ 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+ + '03189_H_Type "$1" redefinition'#000+ '04000_E_Type mismatch'#000+ - '0400','1_E_Incompatible types: got "$1" expected "$2"'#000+ + '04001','_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 ex','pected, but got "$1"'#000+ + '04006_E_Boolean expression exp','ected, 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_S','et 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 m','atch, because of $V+ mode'#000+ + '04016_E_string types doesn'#039't ma','tch, 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+ - '0402','1_E_Type conflict between set elements'#000+ + '04021','_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+ + '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 a','ssign local procedure/function to procedure varia'+ + '04030_E_Can'#039't as','sign 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 exp','ressions and longwords gives a 64bit result'+ + '04035_W_Mixing signed expr','essions 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 arra','y index'#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+ '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 ch','aracters than short string length'#000+ + '04043_W_String literal has more cha','racters 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+ + '04046_W_Constructing a class "$1" with abstract method "$2"'#000+ + '05000_E_Identifier 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+ + '05006_F_Identifier type already de','fined 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.mangled','name()'#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_Illegal label declara','tion'#000+ - '05017_E_GOTO and LABEL are not supported (use switch -Sg)'#000+ + '05016_E_Illegal label declaration'#000+ + '05017_E_GO','TO 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 reso','lved "$1"'#000+ - '05023_H_Unit "$1" not used in $2'#000+ + '05022_E_Forward class definition not resolved "$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 used'#000+ - '05028_H_Local $1 ','"$2" is not used'#000+ + '05028_H_Local $1 "$2" is not use','d'#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 seem to be set'#000+ - '05034_','W_Type "$1" is not aligned correctly in current record for C'#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+ - '05038_E_identifier i','dents no member "$1"'#000+ + '05038_E_identifier idents 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 allo','wed'#000+ - '06002_E_Expression too complicated - FPU stack overflow'#000+ + '06001_E_CONTINUE not allowed'#000+ + '06002_E_Exp','ression 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 variable'#000+ - '06008_E_Can'#039't de','termine which overloaded function to call'#000+ + '06008_E_Can'#039't determine which o','verloaded 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 types must be var param','eters'#000+ - '06013_E_The use of a far pointer isn'#039't allowed there'#000+ + '06012_E_File types must be var parameters'#000+ + '06013_E_T','he 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 cont','ext)'#000+ - '06017_N_Inefficient code'#000+ + ' match to this context)'#000+ + '06017_N_In','efficient 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_Unknown float type'#000+ - '06','023_F_SecondVecn() base defined twice'#000+ + '06023_F_SecondVec','n() 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 limit excedeed in local',' routine'#000+ - '06029_D_Stack frame is omitted'#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" is not possible'#000+ - '0603','5_E_Element zero of an ansi/wide- or longstring can'#039't be acc'+ + '06035_E_Element zer','o 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+ - '06038_E_Cannot call me','ssage handler method directly'#000+ + '06038_E_Cannot call message handler m','ethod 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 assembler parsing'#000+ - '07002','_E_Non-label pattern contains @'#000+ + '07002_E_Non-label pa','ttern 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+ - '07','008_E_need to use OFFSET here'#000+ + '07008_E_need to u','se 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 allowed'#000+ - '07014_E_Inva','lid reference syntax'#000+ + '07014_E_Invalid reference s','yntax'#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+ - '07019_E_Wrong scale fac','tor specified'#000+ - '07020_E_Multiple index register usage'#000+ + '07019_E_Wrong scale factor specified'#000+ + '0','7020_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_Divide by zero in asm ','evaluator'#000+ - '07026_E_Illegal expression'#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 L','inux 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 octal $1'#000+ - '07037_E_Erro','r converting binary $1'#000+ + '07037_E_Error converting bi','nary $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 nested procedure'#000+ - '0704','3_W_Procedures can'#039't return any value in asm code'#000+ + '07043_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+ + '07048_E_Invalid comb','ination 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+ - '07053_E_Unrecognized ','opcode $1'#000+ - '07054_E_Invalid or missing opcode'#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 ignored'#000+ - '07060_E_Dupli','cate local symbol $1'#000+ + '07060_E_Duplicate local symb','ol $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 flo','ating point constant $1'#000+ + '07067_E_Invalid floating point con','stant $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 supposed external'#000+ - '07','073_E_Strings not allowed as constants'#000+ + '07073_E_Strings n','ot 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/classes directly'#000+ - '070','83_E_No size specified and unable to determine the size of the op'+ + '07083_E_No size sp','ecified 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 int','o "$1 %st,%st(n)"'#000+ + '07087_W_"$1 %st(n)" translated into "$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+ - '07094_E_Inc and Dec can','not be together'#000+ + '07094_E_Inc and Dec cannot 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+ + '08003_F_Direct not support for bin','ary 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 refere','nces not supported'#000+ + '08008_E_Asm: 16 Bit references not suppor','ted'#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+ - '08014_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 redefined'#000+ - '09001_I_Assemb','ling (pipe) $1'#000+ + '09001_I_Assembling (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 whil','e assembling exitcode $1'#000+ + '09007_E_Error while assembling ex','itcode $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+ - '09013_E_Error while linking'#000+ + '09012_W_Library $1 not found, Linking may fail !'#000+ + '090','13_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 Executables not suppo','rted'#000+ - '09019_E_Creation of Dynamic/Shared Libraries not supported'#000+ + '09018_E_Creation of Executables not supported'#000+ + '09019_E_Cr','eation 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 linked, switching to sma','rt linki'+ - 'ng'#000+ - '09024_T_unit $1 can'#039't be smart linked, switching to static linking'+ + '09023_T_unit $1 can'#039't be static linked, switching to smart linking'+ #000+ + '0902','4_T_unit $1 can'#039't be smart linked, switching to static linki'+ + 'ng'#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 shared or static link','ed'#000+ - '09028_F_Can'#039't post process executable $1'#000+ + '09027_E_unit $1 can'#039't be shared or static linked'#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 reserved: $1 bytes'#000+ - '09034','_X_Stack space commited: $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+ @@ -607,85 +606,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, - '10008_U_PPU Invalid Version $1'#000+ + '10007_U_PPU Invalid Header (no PPU at the begin)'#000+ + '10008_U_PPU Inv','alid 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-File'#000+ - '10015_F_unexpect','ed end of PPU-File'#000+ + '10015_F_unexpected end of PPU-F','ile'#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+ - '1','0022_F_Can'#039't find unit $1'#000+ + '10022_F_Can'#039't fi','nd 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+ + '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 ppufile'#000+ - '10032_U_Recompil','ing unit, obj and asm are older than ppufile'#000+ + '10032_U_Recompiling unit, obj a','nd 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 time $2'#000+ - '10038_H_Cond','itional $1 was not set at startup in last compilation of'+ + '10038_H_Conditional $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 than Release PPU file ','$2'#000+ - '10042_U_Using a unit which was not compiled with correct FPU mode'#000+ + '10041_H_File $1 is newer than Release PPU file $2'#000+ + '10042_U_Usin','g a unit which was not compiled with correct FPU mode'#000+ '11000_$1 [options] [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 files are not support','ed'#000+ - '11004_F_No source file name in command line'#000+ + '11003_E_nested response files are not supported'#000+ + '11004_F_No s','ource 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 op','tions from $1'#000+ - '11011_W_Target is already set to: $1'#000+ + '11010_D_Reading further options from $1'#000+ + '1','1011_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 infor','mation generation is not supported by this execut'+ + '11016_W_Debug information generati','on 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 assembl','er'#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 option "$1"'#000+ - '11029__*** ','press enter ***'#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_Reading config file "$1"',#000+ - '11035_D_found source file name "$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 Florian Klaempfl'#000+ - '11024_Fr','ee Pascal Compiler version $FPCVER'#010+ + '11024_Free Pascal Compi','ler version $FPCVER'#010+ #010+ 'Compiler Date : $FPCDATE'#010+ 'Compiler Target: $FPCTARGET'#010+ @@ -696,26 +695,26 @@ 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+ - 'Report bugs,suggestio','ns etc to:'#010+ - ' bugrep@freepascal.org'#000+ + 'Report bugs,suggestions etc to:'#010+ + ' ',' bugrep@freepascal.org'#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 assembler file'#010+ - '**2ar','_list register allocation/release info 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_code generation options:'#010+ - '**2CD_cre','ate also dynamic library (not supported)'#010+ + '**2CD_create also dynami','c library (not supported)'#010+ '**2Ch_ 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 method call validity',#010+ - '**2Cs_set stack size to '#010+ + '**2CR_verify object method call validity'#010+ + '**2Cs_set s','tack size to '#010+ '**2Ct_stack checking'#010+ '**2CX_create also smartlinked library'#010+ '**1d_defines the symbol '#010+ @@ -723,108 +722,108 @@ const msgtxt : array[0..000146,1..240] of char=( '*O2Dd_set description to '#010+ '*O2Dw_PM application'#010+ '**1e_set path to executable'#010+ - '**1E_same',' as -Cn'#010+ - '**1F_set file names and paths:'#010+ + '**1E_same as -Cn'#010+ + '**1F','_set file names and paths:'#010+ '**2FD_sets the directory where to search for compiler utilities'#010+ '**2Fe_redirect error output to '#010+ '**2FE_set exe/unit output path to '#010+ '**2Fi_adds to include path'#010+ - '**2Fl_adds ','to library path'#010+ + '**2Fl_adds to library path',#010+ '*L2FL_uses as dynamic linker'#010+ '**2Fo_adds to object path'#010+ '**2Fr_load error message file '#010+ '**2Fu_adds to unit path'#010+ '**2FU_set unit output path to , overrides -FE'#010+ - '*g1g_generate debugger information:',#010+ - '*g2gg_use gsym'#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 compil','er version'#010+ - '**2iSO_return compiler OS'#010+ + '**2iV_return compiler version'#010+ + '**2i','SO_return compiler OS'#010+ '**2iSP_return compiler processor'#010+ '**2iTO_return target OS'#010+ '**2iTP_return target processor'#010+ '**1I_adds to include path'#010+ '**1k_Pass to the linker'#010+ '**1l_write logo'#010+ - '**1n_don'#039't read the default config ','file'#010+ - '**1o_change the name of the executable produced to '#010+ + '**1n_don'#039't read the default config file'#010+ + '**1o_ch','ange the name of the executable produced to '#010+ '**1pg_generate profile code for gprof (defines FPC_PROFILE)'#010+ '*L1P_use pipes instead of creating temporary assembler files'#010+ '**1S_syntax options:'#010+ - '**2S2_switch some Delphi 2 exten','sions on'#010+ - '**2Sc_supports operators like C (*=,+=,/= and -=)'#010+ + '**2S2_switch some Delphi 2 extensions on'#010+ + '**2Sc_','supports operators like C (*=,+=,/= and -=)'#010+ '**2Sa_include assertion code.'#010+ '**2Sd_tries to be Delphi compatible'#010+ '**2Se_compiler stops after the errors (default is 1)'#010+ '**2Sg_allow LABEL and GOTO'#010+ '**2Sh_Use ansistrings'#010+ - '**2Si_','support C++ styled INLINE'#010+ + '**2Si_support C++ sty','led 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 keyword in objects'#010+ - '**1s_','don'#039't call assembler and linker (only with -a)'#010+ + '**1s_don'#039't call asse','mbler and linker (only with -a)'#010+ '**2st_Generate script to link on target'#010+ '**2sh_Generate script to link on host'#010+ '**1u_undefines the symbol '#010+ '**1U_unit options:'#010+ '**2Un_don'#039't check the unit name'#010+ - '**2Ur_generate release unit fil','es'#010+ - '**2Us_compile a system unit'#010+ + '**2Ur_generate release unit files'#010+ + '**2Us_compil','e a system unit'#010+ '**1v_Be verbose. 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 : Show notes ',' t : Show tried/used files'#010+ + '**2*_n : Show notes t : Sho','w 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 everyt','hing 0 : Show nothing (except errors'+ + '**2*_a : Show everything ',' 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 fpcdebug.txt file with ','lots of debugging info'#010+ + '**1V_write fpcdebug.txt file with lots of debuggi','ng 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) (defines FPC_LINK_STATIC)',#010+ - '**2XX_try to link smart (defines FPC_LINK_SMART)'#010+ + '**2XS_try to link static (default) (defines FPC_LINK_STATIC)'#010+ + '**2XX_try to l','ink smart (defines FPC_LINK_SMART)'#010+ '**0*_Processor specific options:'#010+ '3*1A_output format:'#010+ '3*2Aas_assemble using GNU AS'#010+ '3*2Anasmcoff_coff (Go32v2) file using Nasm'#010+ '3*2Anasmelf_elf32 (Linux) file using Nasm'#010+ - '3*2Anasmo','bj_obj file using Nasm'#010+ + '3*2Anasmobj_obj file usi','ng 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_assembler reading style:'#010+ - '3*2Ratt_rea','d AT&T style assembler'#010+ + '3*2Ratt_read AT&T style as','sembler'#010+ '3*2Rintel_read Intel style assembler'#010+ '3*2Rdirect_copy assembler text directly to assembler file'#010+ '3*1O_optimizations:'#010+ '3*2Og_generate smaller code'#010+ '3*2OG_generate faster code (default)'#010+ - '3*2Or_keep certain variables in re','gisters'#010+ - '3*2Ou_enable uncertain optimizations (see docs)'#010+ + '3*2Or_keep certain variables in registers'#010+ + '3*2Ou_e','nable 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_target pro','cessor:'#010+ - '3*3Op1_set target processor to 386/486'#010+ + '3*2Op_target processor:'#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_Target operating system:'#010+ '3*2TGO32V2_version 2 of DJ Delorie DOS extender'#010+ - '3*2','TWDOSX DOS 32 Bit Extender'#010+ + '3*2TWDOSX DOS 32 B','it Extender'#010+ '3*2TLINUX_Linux'#010+ '3*2Tnetware_Novell Netware Module (experimental)'#010+ '3*2TOS2_OS/2 2.x'#010+ @@ -832,12 +831,12 @@ const msgtxt : array[0..000146,1..240] of char=( '3*2TWin32_Windows 32 Bit'#010+ '3*1W_Win32 target options'#010+ '3*2WB_Set Image base to Hexadecimal value'#010+ - '3*2W','C_Specify console type application'#010+ + '3*2WC_Specify conso','le 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 (necessary for debugg','ing)'#010+ - '3*2WR_Generate relocation code'#010+ + '3*2WN_Do not generate relocation code (necessary for debugging)'#010+ + '3*2WR_Gene','rate relocation code'#010+ '6*1A_output format'#010+ '6*2Aas_Unix o-file using GNU AS'#010+ '6*2Agas_GNU Motorola assembler'#010+ @@ -845,13 +844,13 @@ const msgtxt : array[0..000146,1..240] of char=( '6*2Amot_Standard Motorola assembler'#010+ '6*1O_optimizations:'#010+ '6*2Oa_turn on the optimizer'#010+ - '6*2Og_','generate smaller code'#010+ + '6*2Og_generate smalle','r 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_assembler reading style:'#010+ - '6*2RMOT_read moto','rola style assembler'#010+ + '6*2RMOT_read motorola style asse','mbler'#010+ '6*1T_Target operating system:'#010+ '6*2TAMIGA_Commodore Amiga'#010+ '6*2TATARI_Atari ST/STe/TT'#010+ diff --git a/compiler/nadd.pas b/compiler/nadd.pas index f51c33b2b4..a1d968f446 100644 --- a/compiler/nadd.pas +++ b/compiler/nadd.pas @@ -864,17 +864,7 @@ implementation 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; + end; inserttypeconv(right,s32bittype); inserttypeconv(left,s32bittype); @@ -1891,7 +1881,13 @@ begin end. { $Log$ - Revision 1.72 2002-11-25 17:43:17 peter + Revision 1.73 2002-11-25 18:43:32 carl + - removed the invalid if <> checking (Delphi is strange on this) + + implemented abstract warning on instance creation of class with + abstract methods. + * some error message cleanups + + Revision 1.72 2002/11/25 17:43:17 peter * splitted defbase in defutil,symutil,defcmp * merged isconvertable and is_equal into compare_defs(_ext) * made operator search faster by walking the list only once diff --git a/compiler/ncal.pas b/compiler/ncal.pas index 7e71084ea8..1fb88e6618 100644 --- a/compiler/ncal.pas +++ b/compiler/ncal.pas @@ -29,6 +29,7 @@ unit ncal; interface uses + cutils,cclasses, globtype, node, {$ifdef state_tracking} @@ -56,7 +57,6 @@ interface { function return reference node, this is used to pass an already allocated reference for a ret_in_param return value } funcretrefnode : tnode; - { only the processor specific nodes need to override this } { constructor } constructor create(l:tnode; v : tprocsym;st : tsymtable; mp : tnode);virtual; @@ -68,6 +68,14 @@ interface procedure ppuwrite(ppufile:tcompilerppufile);override; procedure derefimpl;override; function getcopy : tnode;override; + { Goes through all symbols in a class and subclasses and calls + verify abstract for each . + } + procedure verifyabstractcalls; + { called for each definition in a class and verifies if a method + is abstract or not, if it is abstract, give out a warning + } + procedure verifyabstract(p : tnamedindexitem;arg:pointer); procedure insertintolist(l : tnodelist);override; function pass_1 : tnode;override; {$ifdef nice_ncal} @@ -79,6 +87,8 @@ interface {$endif state_tracking} function docompare(p: tnode): boolean; override; procedure set_procvar(procvar:tnode); + private + AbstractMethodsList : TStringList; end; tcallnodeclass = class of tcallnode; @@ -145,7 +155,7 @@ interface implementation uses - cutils,systems, + systems, verbose,globals, symconst,paramgr,defutil,defcmp, htypechk,pass_1,cpuinfo,cpubase, @@ -153,6 +163,12 @@ implementation rgobj,cgbase ; +type + tobjectinfoitem = class(tlinkedlistitem) + objinfo : tobjectdef; + constructor create(def : tobjectdef); + end; + {**************************************************************************** HELPERS @@ -219,6 +235,12 @@ implementation end; + constructor tobjectinfoitem.create(def : tobjectdef); + begin + inherited create; + objinfo := def; + end; + {**************************************************************************** TCALLPARANODE ****************************************************************************} @@ -827,6 +849,109 @@ implementation begin end; + + procedure tcallnode.verifyabstract(p : tnamedindexitem;arg:pointer); + + var + hp : tprocdef; + j: integer; + begin + if (tsym(p).typ=procsym) then + begin + for j:=1 to tprocsym(p).procdef_count do + begin + { index starts at 1 } + hp:=tprocsym(p).procdef[j]; + { If this is an abstract method insert into the list } + if (po_abstractmethod in hp.procoptions) then + AbstractMethodsList.Insert(hp.procsym.name) + else + { If this symbol is already in the list, and it is + an overriding method or dynamic, then remove it from the list + } + begin + { symbol was found } + if AbstractMethodsList.Find(hp.procsym.name) <> nil then + begin + if po_overridingmethod in hp.procoptions then + AbstractMethodsList.Remove(hp.procsym.name); + end; + + end; + end; + end; + end; + + + procedure tcallnode.verifyabstractcalls; + var + objectdf : tobjectdef; + parents : tlinkedlist; + objectinfo : tobjectinfoitem; + stritem : tstringlistitem; + _classname : string; + begin + objectdf := nil; + { verify if trying to create an instance of a class which contains + non-implemented abstract methods } + + { first verify this class type, no class than exit } + { also, this checking can only be done if the constructor is directly + called, indirect constructor calls cannot be checked. + } + if assigned(methodpointer) and assigned(methodpointer.resulttype.def) then + if (methodpointer.resulttype.def.deftype = classrefdef) and + (methodpointer.nodetype in [typen,loadvmtn]) then + begin + if (tclassrefdef(methodpointer.resulttype.def).pointertype.def.deftype = objectdef) then + objectdf := tobjectdef(tclassrefdef(methodpointer.resulttype.def).pointertype.def); + + end; + if not assigned(objectdf) then exit; + if assigned(objectdf.symtable.name) then + _classname := objectdf.symtable.name^ + else + _classname := ''; + + parents := tlinkedlist.create; + AbstractMethodsList := tstringlist.create; + + { insert all parents in this class : the first item in the + list will be the base parent of the class . + } + while assigned(objectdf) do + begin + objectinfo:=tobjectinfoitem.create(objectdf); + parents.insert(objectinfo); + objectdf := objectdf.childof; + end; + { now all parents are in the correct order + insert all abstract methods in the list, and remove + those which are overriden by parent classes. + } + objectinfo:=tobjectinfoitem(parents.first); + while assigned(objectinfo) do + begin + objectdf := objectinfo.objinfo; + if assigned(objectdf.symtable) then + objectdf.symtable.foreach({$ifdef FPCPROCVAR}@{$endif}verifyabstract,nil); + objectinfo:=tobjectinfoitem(objectinfo.next); + end; + if assigned(parents) then + parents.free; + { Finally give out a warning for each abstract method still in the list } + stritem := tstringlistitem(AbstractMethodsList.first); + while assigned(stritem) do + begin + if assigned(stritem.fpstr) then + Message2(type_w_instance_with_abstract,lower(_classname),lower(stritem.fpstr^)); + stritem := tstringlistitem(stritem.next); + end; + if assigned(AbstractMethodsList) then + AbstractMethodsList.Free; + end; + + {$ifdef nice_ncal} function Tcallnode.choose_definition_to_call(paralength:byte;var errorexit:boolean):Tnode; @@ -1377,6 +1502,7 @@ implementation assigned(methodpointer.resulttype.def) and (methodpointer.resulttype.def.deftype=classrefdef) then resulttype:=tclassrefdef(methodpointer.resulttype.def).pointertype; + end; { flag all callparanodes that belong to the varargs } @@ -2239,6 +2365,7 @@ implementation assigned(methodpointer.resulttype.def) and (methodpointer.resulttype.def.deftype=classrefdef) then resulttype:=tclassrefdef(methodpointer.resulttype.def).pointertype; + end; { flag all callparanodes that belong to the varargs } @@ -2430,6 +2557,10 @@ implementation { if this is a call to a method calc the registers } if (methodpointer<>nil) then begin + { if we are calling the constructor } + if procdefinition.proctypeoption in [potype_constructor] then + verifyabstractcalls; + case methodpointer.nodetype of { but only, if this is not a supporting node } typen: ; @@ -2664,7 +2795,13 @@ begin end. { $Log$ - Revision 1.109 2002-11-25 17:43:17 peter + Revision 1.110 2002-11-25 18:43:32 carl + - removed the invalid if <> checking (Delphi is strange on this) + + implemented abstract warning on instance creation of class with + abstract methods. + * some error message cleanups + + Revision 1.109 2002/11/25 17:43:17 peter * splitted defbase in defutil,symutil,defcmp * merged isconvertable and is_equal into compare_defs(_ext) * made operator search faster by walking the list only once diff --git a/compiler/pdecl.pas b/compiler/pdecl.pas index 32a857b7cd..8e7cc96fd4 100644 --- a/compiler/pdecl.pas +++ b/compiler/pdecl.pas @@ -432,7 +432,7 @@ implementation newtype:=ttypesym(sym); tt:=newtype.restype; end; - message1(parser_h_type_redef,typename); + message1(parser_h_type_redef,lower(typename)); end; end; { no old type reused ? Then insert this new type } @@ -627,7 +627,13 @@ implementation end. { $Log$ - Revision 1.60 2002-11-23 22:50:06 carl + Revision 1.61 2002-11-25 18:43:32 carl + - removed the invalid if <> checking (Delphi is strange on this) + + implemented abstract warning on instance creation of class with + abstract methods. + * some error message cleanups + + Revision 1.60 2002/11/23 22:50:06 carl * some small speed optimizations + added several new warnings/hints diff --git a/compiler/psub.pas b/compiler/psub.pas index edcc6f24a0..d2b63f261c 100644 --- a/compiler/psub.pas +++ b/compiler/psub.pas @@ -301,12 +301,6 @@ implementation { the procedure is now defined } aktprocdef.forwarddef:=false; -{$ifdef state_tracking} -{ writenode(code); - do_track_state_pass(code); - writenode(code);} -{$endif} - { only generate the code if no type errors are found, else finish at least the type checking pass } {$ifndef NOPASS2} @@ -805,7 +799,13 @@ implementation end. { $Log$ - Revision 1.78 2002-11-25 17:43:23 peter + Revision 1.79 2002-11-25 18:43:32 carl + - removed the invalid if <> checking (Delphi is strange on this) + + implemented abstract warning on instance creation of class with + abstract methods. + * some error message cleanups + + Revision 1.78 2002/11/25 17:43:23 peter * splitted defbase in defutil,symutil,defcmp * merged isconvertable and is_equal into compare_defs(_ext) * made operator search faster by walking the list only once diff --git a/compiler/ptconst.pas b/compiler/ptconst.pas index 266a324fdb..a778768e64 100644 --- a/compiler/ptconst.pas +++ b/compiler/ptconst.pas @@ -860,7 +860,7 @@ implementation { after the last initialized field } ((recsym=nil) or (tvarsym(srsym).address > tvarsym(recsym).address)) then - Message1(parser_h_skipped_fields_after,s); + Message1(parser_w_skipped_fields_after,s); for i:=1 to t.def.size-aktpos do curconstSegment.concat(Tai_const.Create_8bit(0)); @@ -985,7 +985,13 @@ implementation end. { $Log$ - Revision 1.60 2002-11-25 17:43:23 peter + Revision 1.61 2002-11-25 18:43:33 carl + - removed the invalid if <> checking (Delphi is strange on this) + + implemented abstract warning on instance creation of class with + abstract methods. + * some error message cleanups + + Revision 1.60 2002/11/25 17:43:23 peter * splitted defbase in defutil,symutil,defcmp * merged isconvertable and is_equal into compare_defs(_ext) * made operator search faster by walking the list only once diff --git a/compiler/symdef.pas b/compiler/symdef.pas index 8a885f870d..e926915212 100644 --- a/compiler/symdef.pas +++ b/compiler/symdef.pas @@ -3061,11 +3061,7 @@ implementation begin if assigned(rettype.def) and (rettype.def.deftype=floatdef) then -{$ifdef FAST_FPU} - fpu_used:=3; -{$else : not FAST_FPU, i.e. SAFE_FPU} - fpu_used:={2}maxfpuregs; -{$endif FAST_FPU} + fpu_used:=maxfpuregs; end; @@ -3931,11 +3927,7 @@ implementation { a more secure way would be to allways store in a temp } if is_fpu(rettype.def) then -{$ifdef FAST_FPU} - fpu_used:=3 -{$else : not FAST_FPU, i.e. SAFE_FPU} fpu_used:={2}maxfpuregs -{$endif FAST_FPU} else fpu_used:=0; inherited ppuwrite(ppufile); @@ -5537,7 +5529,13 @@ implementation end. { $Log$ - Revision 1.110 2002-11-25 17:43:24 peter + Revision 1.111 2002-11-25 18:43:33 carl + - removed the invalid if <> checking (Delphi is strange on this) + + implemented abstract warning on instance creation of class with + abstract methods. + * some error message cleanups + + Revision 1.110 2002/11/25 17:43:24 peter * splitted defbase in defutil,symutil,defcmp * merged isconvertable and is_equal into compare_defs(_ext) * made operator search faster by walking the list only once diff --git a/compiler/symsym.pas b/compiler/symsym.pas index 2030434dde..5ba0e48426 100644 --- a/compiler/symsym.pas +++ b/compiler/symsym.pas @@ -284,10 +284,6 @@ interface consttyp : tconsttyp; value : tconstvalue; resstrindex : longint; { needed for resource strings } -(* valueord : tconstexprint; { used for ordinal values } - valueordptr : TConstPtrUInt; { used for pointer values } - valueptr : pointer; { used for string, set, real values } - len : longint; { len is needed for string length }*) constructor create_ord(const n : string;t : tconsttyp;v : tconstexprint); constructor create_ord_typed(const n : string;t : tconsttyp;v : tconstexprint;const tt:ttype); constructor create_ordptr_typed(const n : string;t : tconsttyp;v : tconstptruint;const tt:ttype); @@ -2483,7 +2479,13 @@ implementation end. { $Log$ - Revision 1.76 2002-11-25 17:43:26 peter + Revision 1.77 2002-11-25 18:43:34 carl + - removed the invalid if <> checking (Delphi is strange on this) + + implemented abstract warning on instance creation of class with + abstract methods. + * some error message cleanups + + Revision 1.76 2002/11/25 17:43:26 peter * splitted defbase in defutil,symutil,defcmp * merged isconvertable and is_equal into compare_defs(_ext) * made operator search faster by walking the list only once diff --git a/compiler/x86/cgx86.pas b/compiler/x86/cgx86.pas index 566ee2d3c9..a698562c2b 100644 --- a/compiler/x86/cgx86.pas +++ b/compiler/x86/cgx86.pas @@ -440,16 +440,6 @@ unit cgx86; procedure tcgx86.a_load_const_ref(list : taasmoutput; size: tcgsize; a : aword;const ref : treference); begin -{$ifdef OPTLOAD0} - { zero is often used several times in succession -> load it in a } - { register and then store it to memory, so the optimizer can then } - { remove the unnecessary loads of registers and you get smaller } - { (and faster) code } - if (a = 0) and - (size in [OS_32,OS_S32]) then - inherited a_load_const_ref(list,size,a,ref) - else -{$endif OPTLOAD0} list.concat(taicpu.op_const_ref(A_MOV,TCGSize2OpSize[size],a,ref)); end; @@ -1682,7 +1672,13 @@ unit cgx86; end. { $Log$ - Revision 1.22 2002-11-25 17:43:29 peter + Revision 1.23 2002-11-25 18:43:34 carl + - removed the invalid if <> checking (Delphi is strange on this) + + implemented abstract warning on instance creation of class with + abstract methods. + * some error message cleanups + + Revision 1.22 2002/11/25 17:43:29 peter * splitted defbase in defutil,symutil,defcmp * merged isconvertable and is_equal into compare_defs(_ext) * made operator search faster by walking the list only once