mirrors/tinycc
1
0
Fork 0
mirror of https://github.com/frida/tinycc synced 2024-12-26 15:06:58 +03:00
Code Issues Packages Projects Releases Wiki Activity
2f94390223
tinycc/tests/tests2/60_errors_and_warnings.expect

153 lines
4.8 KiB
Plaintext
Raw Normal View History

tcc -dt -run ... : simpler is better * -dt now with lowercase t * test snippets now separated by real preprocessor statements which is valid C also for other compilers #if defined test_xxx < test snippet x > #elif defined test_yyy < test snippet y > #elif ... #endif * simpler implementation, behaves like -run if no 'test_...' macros are seen, works with -E too * for demonstration I combined some of the small tests for errors and warnings (56..63,74) in "60_errors_and_warnings.c" Also: * libtcc.c: put tcc_preprocess() and tcc_assemble() under the setjmp clause to let them return to caller after errors. This is for -dt -E. * tccgen.c: - get rid of save/restore_parse_state(), macro_ptr is saved by begin_macro anyway, now line_num too. - use expr_eq for parsing _Generic's controlling_type - set nocode_wanted with const_wanted. too, This is to keep VT_JMP on vtop when parsing preprocessor expressions. * tccpp.c: tcc -E: suppress trailing whitespace from lines with comments (that -E removes) such as NO_GOTPLT_ENTRY,\t /* never generate ... */
2017-07-20 23:21:27 +03:00
[test_56_btype_excess_1]
60_errors_and_warnings.c:2: error: too many basic types
[test_57_btype_excess_2]
60_errors_and_warnings.c:5: error: too many basic types
[test_58_function_redefinition]
60_errors_and_warnings.c:9: error: redefinition of 'f'
[test_global_redefinition]
60_errors_and_warnings.c:14: error: redefinition of 'xxx'
[test_59_function_array]
60_errors_and_warnings.c:17: error: declaration of an array of functions
[test_60_enum_redefinition]
60_errors_and_warnings.c:21: error: struct/union/enum already defined
[test_62_enumerator_redefinition]
60_errors_and_warnings.c:26: error: redefinition of enumerator 'RED'
[test_63_local_enumerator_redefinition]
tccrun.c: standalone backtraces with -bt[N] or -b This makes it possible to get backtraces with executables (including DLLs/SOs) like we had it already with -g -run. Option -b includes -bt, and -bt includes -g. - new file lib/bt-exe.c: used to link rt_printline and the exception handler from tccrun.c into executables/DLLs. - new file lib/bt-log.c: provides a function that may be called from user code to print out a backtrace with a message (currently for i386/x86_64 only): int (*tcc_backtrace)(const char *fmt, ...); As an extra hack, if 'fmt' is prefixed like "^file.c^..." then the backtrace will skip calls from within 'file.c'. - new file lib/bt-dll.c: used on win32 to link the backtrace and bcheck functions with the main module at runtime - bcheck.c: now uses the tcc_backtrace function from above - tccgen.c: minor cleanups - tccelf.c: stab sections get SHF_ALLOC for easy access. Also in relocate_section(): 64bit relocations for stabs in DLLs cannot work. To find DLL addresses, the DLL base is added manually in tccrun.c via rc.prog_base instead. - tccpe.c: there are some changes to allow merging sections, used to merge .finit_array into .data in the first place. - tccpp.c: tcc -run now #defines __TCC_RUN__ also: refactor a line in tal_realloc that was incompatible with bcheck - tcctest.c: fixed a problem with r12 which tcc cannot preserve as well as gcc does. - tests2/112_backtrace.c: test the feature and the bcheck test18 that previously was in boundtest.c
2020-01-18 00:58:39 +03:00
[returns 1]
tcc -dt -run ... : simpler is better * -dt now with lowercase t * test snippets now separated by real preprocessor statements which is valid C also for other compilers #if defined test_xxx < test snippet x > #elif defined test_yyy < test snippet y > #elif ... #endif * simpler implementation, behaves like -run if no 'test_...' macros are seen, works with -E too * for demonstration I combined some of the small tests for errors and warnings (56..63,74) in "60_errors_and_warnings.c" Also: * libtcc.c: put tcc_preprocess() and tcc_assemble() under the setjmp clause to let them return to caller after errors. This is for -dt -E. * tccgen.c: - get rid of save/restore_parse_state(), macro_ptr is saved by begin_macro anyway, now line_num too. - use expr_eq for parsing _Generic's controlling_type - set nocode_wanted with const_wanted. too, This is to keep VT_JMP on vtop when parsing preprocessor expressions. * tccpp.c: tcc -E: suppress trailing whitespace from lines with comments (that -E removes) such as NO_GOTPLT_ENTRY,\t /* never generate ... */
2017-07-20 23:21:27 +03:00
[test_61_undefined_enum]
60_errors_and_warnings.c:46: error: unknown type size
[test_74_non_const_init]
60_errors_and_warnings.c:49: error: initializer element is not constant
tccgen.c: fix warning for incompatible struct- and function pointers see tests2/60_errors_and_warnings.c
2018-06-01 00:52:07 +03:00
[test_pointer_assignment]
60_errors_and_warnings.c:79: warning: assignment from incompatible pointer type
60_errors_and_warnings.c:82: warning: assignment from incompatible pointer type
60_errors_and_warnings.c:86: warning: assignment from incompatible pointer type
60_errors_and_warnings.c:88: warning: assignment from incompatible pointer type
60_errors_and_warnings.c:91: warning: assignment from incompatible pointer type
60_errors_and_warnings.c:92: warning: assignment from incompatible pointer type
60_errors_and_warnings.c:94: warning: assignment from incompatible pointer type
60_errors_and_warnings.c:95: warning: assignment from incompatible pointer type
60_errors_and_warnings.c:98: warning: assignment discards qualifiers from pointer target type
60_errors_and_warnings.c:99: warning: assignment discards qualifiers from pointer target type
60_errors_and_warnings.c:103: warning: assignment discards qualifiers from pointer target type
60_errors_and_warnings.c:104: warning: assignment discards qualifiers from pointer target type
60_errors_and_warnings.c:109: warning: assignment of read-only location
[test_enum_compat]
60_errors_and_warnings.c:119: error: incompatible types for redefinition of 'f3'
Fix array pointer stringification. `int (*)[4];` should not be stringified as `int *[4];` Add stringification tests.
2018-11-12 19:11:24 +03:00
[test_ptr_to_str]
60_errors_and_warnings.c:122: error: type 'const int **' does not match any association
[test_fnptr_to_str]
60_errors_and_warnings.c:124: error: type 'int (*(*)(float, char))(double, int)' does not match any association
[test_array_to_str]
60_errors_and_warnings.c:126: error: type 'int (*)[3]' does not match any association
Fix crash on invalid code like on 'enum myenum { L = -1 } L;'. It's a bit tedious as there are two paths (for global vs local symbols), and because the scope and enum_val share same storage.
2019-03-08 19:58:25 +03:00
[test_duplicate_def_1]
60_errors_and_warnings.c:128: error: redefinition of 'L'
[test_duplicate_def_2]
60_errors_and_warnings.c:131: error: redeclaration of 'L'
Handle corner case for abstract decls sometimes abstract decls in parameter lists left the returned name uninitialized potentially leading to segfaults, like in int f(int ()) { return 0; } Deal with this.
2019-03-12 19:27:15 +03:00
[test_abstract_decls]
60_errors_and_warnings.c:141: error: identifier expected
Detect more invalid initializers in presence of invalid source code we can't rely on the next token to determine if we have or haven't already parsed an initializer element, we really have to track it in some separate state; it's a flag, so merge it with the other two we have (size_only and first). Also add some syntax checks for situations which formerly lead to vstack leaks, see the added testcases.
2019-03-18 05:26:19 +03:00
[test_invalid_1]
60_errors_and_warnings.c:146: error: identifier expected
[test_invalid_2]
60_errors_and_warnings.c:149: error: ';' expected (got "{")
[test_invalid_3]
60_errors_and_warnings.c:153: error: ',' expected (got "a")
Fix local extern vardecl see testcases. A local 'extern int i' declaration needs to refer to the global declaration, not to a local one it might be shadowing. Doesn't seem to happen in the wild very often as this was broken forever.
2019-03-18 07:53:03 +03:00
Fix handling of unevaluated subexpression of const we were emitting error messages for something like 'static int i = 2 || 1/0', even though the exception would be in the unevaluated part. This doesn't destroy const-ness, so we must accept it. This requires splitting the nocode_wanted values a bit more, so that nocode_wanted due to const_wanted can be differentiated from nocode_wanted due to non-evaluation.
2020-01-16 01:32:40 +03:00
[test_invalid_4]
60_errors_and_warnings.c:157: error: division by zero in constant
Fix local extern vardecl see testcases. A local 'extern int i' declaration needs to refer to the global declaration, not to a local one it might be shadowing. Doesn't seem to happen in the wild very often as this was broken forever.
2019-03-18 07:53:03 +03:00
[test_conflicting_types]
Fix handling of unevaluated subexpression of const we were emitting error messages for something like 'static int i = 2 || 1/0', even though the exception would be in the unevaluated part. This doesn't destroy const-ness, so we must accept it. This requires splitting the nocode_wanted values a bit more, so that nocode_wanted due to const_wanted can be differentiated from nocode_wanted due to non-evaluation.
2020-01-16 01:32:40 +03:00
60_errors_and_warnings.c:163: error: incompatible types for redefinition of 'i'
Don't endlessly recurse on invalid nested typedefs see testcase.
2019-04-07 04:15:05 +03:00
[test_nested_types]
Fix handling of unevaluated subexpression of const we were emitting error messages for something like 'static int i = 2 || 1/0', even though the exception would be in the unevaluated part. This doesn't destroy const-ness, so we must accept it. This requires splitting the nocode_wanted values a bit more, so that nocode_wanted due to const_wanted can be differentiated from nocode_wanted due to non-evaluation.
2020-01-16 01:32:40 +03:00
60_errors_and_warnings.c:170: error: struct/union/enum already defined
Detect invalid VLA decls see testcase, when the inner array dimension of multi-dimensional VLAs isn't given TCC was generating invalid vstack accesses. Those are actually invalid, so just diagnose them.
2019-04-07 05:09:25 +03:00
[test_vla_1]
Fix handling of unevaluated subexpression of const we were emitting error messages for something like 'static int i = 2 || 1/0', even though the exception would be in the unevaluated part. This doesn't destroy const-ness, so we must accept it. This requires splitting the nocode_wanted values a bit more, so that nocode_wanted due to const_wanted can be differentiated from nocode_wanted due to non-evaluation.
2020-01-16 01:32:40 +03:00
60_errors_and_warnings.c:177: error: need explicit inner array size in VLAs
Fix _Alignas * don't accept _Alignas as type qualifier (after pointer '*'). * accept type-names within _Alignas * add testcases
2019-04-08 21:58:49 +03:00
[test_invalid_alignas]
Fix handling of unevaluated subexpression of const we were emitting error messages for something like 'static int i = 2 || 1/0', even though the exception would be in the unevaluated part. This doesn't destroy const-ness, so we must accept it. This requires splitting the nocode_wanted values a bit more, so that nocode_wanted due to const_wanted can be differentiated from nocode_wanted due to non-evaluation.
2020-01-16 01:32:40 +03:00
60_errors_and_warnings.c:181: error: identifier expected
_Static_assert test
2019-04-28 09:27:33 +03:00
[test_static_assert]
improve _Static_assert Fix static assert to support literal string instead of just printing the sring of the current token as it use to be so we can now use _Static_assert(0, "0" "1") which will print __FILE__ __LINE__ error: 01
2020-02-29 03:24:35 +03:00
60_errors_and_warnings.c:187: error: ONE is not 1
[test_static_assert_2]
60_errors_and_warnings.c:191: error: 0 is 0
reject invalid arrays in post_type()
2019-06-24 11:28:36 +03:00
instruduce C2x _Static_assert syntaxe
2020-02-29 03:55:11 +03:00
[test_static_assert_c2x]
60_errors_and_warnings.c:195: error: _Static_assert fail
reject invalid arrays in post_type()
2019-06-24 11:28:36 +03:00
[test_void_array]
instruduce C2x _Static_assert syntaxe
2020-02-29 03:55:11 +03:00
60_errors_and_warnings.c:198: error: declaration of an array of incomplete type elements
reject invalid arrays in post_type()
2019-06-24 11:28:36 +03:00
[test_incomplete_enum_array]
instruduce C2x _Static_assert syntaxe
2020-02-29 03:55:11 +03:00
60_errors_and_warnings.c:201: error: declaration of an array of incomplete type elements
reject invalid arrays in post_type()
2019-06-24 11:28:36 +03:00
[test_incomplete_struct_array]
instruduce C2x _Static_assert syntaxe
2020-02-29 03:55:11 +03:00
60_errors_and_warnings.c:204: error: declaration of an array of incomplete type elements
reject invalid arrays in post_type()
2019-06-24 11:28:36 +03:00
[test_const_fun_array]
instruduce C2x _Static_assert syntaxe
2020-02-29 03:55:11 +03:00
60_errors_and_warnings.c:208: error: declaration of an array of functions
reject invalid arrays in post_type()
2019-06-24 11:28:36 +03:00
[test_incomplete_array_array]
work on local extern declarations Example: int a = 1; void f(void) { int a = 2; { extern int a; // = 1 !! .... To get this (more) correctly there is a new function to copy syms between local to global stacks. Also, this patch changes the meaning of VT_EXTERN back to the simpler and IMO more useful notion of DECLARED but not (yet) DEFINED. and that for both variables and functions. That is, VT_EXTERN in tcc doesn't have to do with the keyword 'extern' necessarily. Also this patch does allow int x[]; as alias for extern int x[]; (as do gcc and msvc)
2019-06-22 05:00:52 +03:00
[test_extern_array]
instruduce C2x _Static_assert syntaxe
2020-02-29 03:55:11 +03:00
60_errors_and_warnings.c:224: error: incompatible types for redefinition of 'x'
work on local extern declarations Example: int a = 1; void f(void) { int a = 2; { extern int a; // = 1 !! .... To get this (more) correctly there is a new function to copy syms between local to global stacks. Also, this patch changes the meaning of VT_EXTERN back to the simpler and IMO more useful notion of DECLARED but not (yet) DEFINED. and that for both variables and functions. That is, VT_EXTERN in tcc doesn't have to do with the keyword 'extern' necessarily. Also this patch does allow int x[]; as alias for extern int x[]; (as do gcc and msvc)
2019-06-22 05:00:52 +03:00
[test_func_1]
hello: a = 123
[test_func_2]
hello: a = 123
[test_func_3]
instruduce C2x _Static_assert syntaxe
2020-02-29 03:55:11 +03:00
60_errors_and_warnings.c:254: warning: static storage ignored for redefinition of 'hello'
work on local extern declarations Example: int a = 1; void f(void) { int a = 2; { extern int a; // = 1 !! .... To get this (more) correctly there is a new function to copy syms between local to global stacks. Also, this patch changes the meaning of VT_EXTERN back to the simpler and IMO more useful notion of DECLARED but not (yet) DEFINED. and that for both variables and functions. That is, VT_EXTERN in tcc doesn't have to do with the keyword 'extern' necessarily. Also this patch does allow int x[]; as alias for extern int x[]; (as do gcc and msvc)
2019-06-22 05:00:52 +03:00
hello: a = 123
[test_func_4]
hello: a = 123
[test_func_5]
instruduce C2x _Static_assert syntaxe
2020-02-29 03:55:11 +03:00
60_errors_and_warnings.c:254: error: incompatible types for redefinition of 'hello'
Readd lost error on local static function decls see testcase: block scope decls for functions can't use static (allowed is only extern or none). This got lost in commit 85690480.
2019-12-16 08:54:18 +03:00
[test_func_6]
instruduce C2x _Static_assert syntaxe
2020-02-29 03:55:11 +03:00
60_errors_and_warnings.c:242: error: function without file scope cannot be static
work on local extern declarations Example: int a = 1; void f(void) { int a = 2; { extern int a; // = 1 !! .... To get this (more) correctly there is a new function to copy syms between local to global stacks. Also, this patch changes the meaning of VT_EXTERN back to the simpler and IMO more useful notion of DECLARED but not (yet) DEFINED. and that for both variables and functions. That is, VT_EXTERN in tcc doesn't have to do with the keyword 'extern' necessarily. Also this patch does allow int x[]; as alias for extern int x[]; (as do gcc and msvc)
2019-06-22 05:00:52 +03:00
[test_var_1]
main : 1 ; 1
main : 2 ; 2
bar : 3 ; 3
[test_var_2]
main : 1 ; 1
main : 2 ; 2
bar : 3 ; 3
[test_var_3]
instruduce C2x _Static_assert syntaxe
2020-02-29 03:55:11 +03:00
60_errors_and_warnings.c:286: error: incompatible types for redefinition of 'xxx'
tccgen.c: local extern decls: copy s->ref for VT_PTR too This fixes the issue int main() { extern char *x; } void main1() { extern char *x; } t2.c:5: error: incompatible types for redefinition of 'x' (reported by Giovanni Mascellani 2019/07/16)
2019-07-16 18:30:04 +03:00
[test_var_4]
win32: long double as distinct C-type On windows. there is no long double really IOW it is the same as double. However setting the VT_LONG flag in combination with VT_DOUBLE allows to keep track of the original type for the purpose of '_Generic() or more accurate type warnings.
2020-02-23 02:11:03 +03:00
[test_long_double_type_for_win32]
60_errors_and_warnings.c:317: warning: assignment from incompatible pointer type
Reference in New Issue Copy Permalink