cparser
15 years ago- started implementation of size and alignment for types
Michael Beck [Sat, 13 Sep 2008 18:09:19 +0000 (18:09 +0000)]
- started implementation of size and alignment for types
- implemented -Wpacked, -Wpadded

[r21929]

15 years agoAdd get_qualified_type() and solve several problem with missing qualifiers, which...
Christoph Mallon [Sat, 13 Sep 2008 12:33:42 +0000 (12:33 +0000)]
Add get_qualified_type() and solve several problem with missing qualifiers, which lead to accepting incorrect code.

[r21928]

15 years agoRemove dead code.
Christoph Mallon [Sat, 13 Sep 2008 11:20:31 +0000 (11:20 +0000)]
Remove dead code.

[r21927]

15 years agoPreserve type qualifiers in parse_select_expression().
Christoph Mallon [Sat, 13 Sep 2008 11:20:23 +0000 (11:20 +0000)]
Preserve type qualifiers in parse_select_expression().

[r21926]

15 years agoSmall cleanup in parse_select_expression(), print unskipped type.
Christoph Mallon [Sat, 13 Sep 2008 11:02:05 +0000 (11:02 +0000)]
Small cleanup in parse_select_expression(), print unskipped type.

[r21925]

15 years agoPrevent null pointer access, when printing error about parameter of incomplete type...
Christoph Mallon [Sat, 13 Sep 2008 10:26:59 +0000 (10:26 +0000)]
Prevent null pointer access, when printing error about parameter of incomplete type, if the parameter has no name.

[r21924]

15 years agoPrevent warning about incompatible types when initializing a function like a variable...
Christoph Mallon [Sat, 13 Sep 2008 10:20:44 +0000 (10:20 +0000)]
Prevent warning about incompatible types when initializing a function like a variable.  Only show the error message (which is also slightly improved).

[r21923]

15 years agoReject initialisation of k&r parameter declarations and correct warnings about redund...
Christoph Mallon [Sat, 13 Sep 2008 10:07:50 +0000 (10:07 +0000)]
Reject initialisation of k&r parameter declarations and correct warnings about redundant declarations.

[r21922]

15 years agoRemove the parameter finished_declaration, which is the same for all callers, from...
Christoph Mallon [Sat, 13 Sep 2008 05:49:40 +0000 (05:49 +0000)]
Remove the parameter finished_declaration, which is the same for all callers, from parse_anonymous_declaration_rest().

[r21921]

15 years ago- implemented -Wold-style-definition
Michael Beck [Sat, 13 Sep 2008 00:03:47 +0000 (00:03 +0000)]
- implemented -Wold-style-definition

[r21920]

15 years agotestcase for -Wtraditional
Michael Beck [Fri, 12 Sep 2008 23:47:13 +0000 (23:47 +0000)]
testcase for -Wtraditional

[r21919]

15 years ago- implemented most cases of -W traditional (preprocessor missing)
Michael Beck [Fri, 12 Sep 2008 23:45:34 +0000 (23:45 +0000)]
- implemented most cases of -W traditional (preprocessor missing)
- implemented most cases of -Wconversion

[r21918]

15 years agoadded is_type_complex()
Michael Beck [Fri, 12 Sep 2008 22:54:57 +0000 (22:54 +0000)]
added is_type_complex()

[r21917]

15 years agoadd %u specifier
Michael Beck [Fri, 12 Sep 2008 22:38:48 +0000 (22:38 +0000)]
add %u specifier

[r21916]

15 years ago- simplified nested #ifdef's
Michael Beck [Fri, 12 Sep 2008 21:46:45 +0000 (21:46 +0000)]
- simplified nested #ifdef's

[r21915]

15 years ago- implemented -Winit-self
Michael Beck [Fri, 12 Sep 2008 21:45:15 +0000 (21:45 +0000)]
- implemented -Winit-self

[r21914]

15 years ago- typo fixed
Michael Beck [Fri, 12 Sep 2008 21:23:37 +0000 (21:23 +0000)]
- typo fixed

[r21912]

15 years agoMake program logic a bit clearer by using a flag.
Christoph Mallon [Fri, 12 Sep 2008 20:26:44 +0000 (20:26 +0000)]
Make program logic a bit clearer by using a flag.

[r21911]

15 years agoSlightly improve diagnostic message when accidently using . instead of ->.
Christoph Mallon [Fri, 12 Sep 2008 20:14:57 +0000 (20:14 +0000)]
Slightly improve diagnostic message when accidently using . instead of ->.

[r21910]

15 years agoDo not split string literals.
Christoph Mallon [Fri, 12 Sep 2008 20:02:38 +0000 (20:02 +0000)]
Do not split string literals.

[r21909]

15 years agoUse given storage class as declared storage class in create_error_declaration().
Christoph Mallon [Fri, 12 Sep 2008 20:02:24 +0000 (20:02 +0000)]
Use given storage class as declared storage class in create_error_declaration().

[r21908]

15 years agoRemove the unnecessary attribute symbol from struct select_expression_t.
Christoph Mallon [Fri, 12 Sep 2008 19:46:47 +0000 (19:46 +0000)]
Remove the unnecessary attribute symbol from struct select_expression_t.

[r21907]

15 years agoCreate AST for select expressions even if the LHS is unknown or has the wrong type.
Christoph Mallon [Fri, 12 Sep 2008 19:44:24 +0000 (19:44 +0000)]
Create AST for select expressions even if the LHS is unknown or has the wrong type.

[r21906]

15 years agoCreate a declaration, when accessing a non-existent compound entry, so the AST contai...
Christoph Mallon [Fri, 12 Sep 2008 19:11:29 +0000 (19:11 +0000)]
Create a declaration, when accessing a non-existent compound entry, so the AST contains something sensible.

[r21905]

15 years agoCheck whether the operand of ++/-- is an lvalue.
Christoph Mallon [Fri, 12 Sep 2008 18:30:06 +0000 (18:30 +0000)]
Check whether the operand of ++/-- is an lvalue.

[r21904]

15 years agoCorrect precedence of call expressions for printing.
Christoph Mallon [Fri, 12 Sep 2008 18:19:48 +0000 (18:19 +0000)]
Correct precedence of call expressions for printing.

[r21903]

15 years agoCorrect precedence for printing ?:.
Christoph Mallon [Fri, 12 Sep 2008 18:01:06 +0000 (18:01 +0000)]
Correct precedence for printing ?:.

[r21902]

15 years agoDo not split string literals.
Christoph Mallon [Fri, 12 Sep 2008 17:21:15 +0000 (17:21 +0000)]
Do not split string literals.

[r21901]

15 years agoHandle __try and __leave in check_{,un}reachable().
Christoph Mallon [Fri, 12 Sep 2008 17:16:14 +0000 (17:16 +0000)]
Handle __try and __leave in check_{,un}reachable().

[r21900]

15 years agoCreate a few less invalid statements on parse errors.
Christoph Mallon [Fri, 12 Sep 2008 14:35:41 +0000 (14:35 +0000)]
Create a few less invalid statements on parse errors.

[r21899]

15 years agoPrint constant suffixes and properly print floats.
Christoph Mallon [Fri, 12 Sep 2008 14:18:20 +0000 (14:18 +0000)]
Print constant suffixes and properly print floats.

[r21898]

15 years agoMark internal typedefs as "implicit", so the AST-printer does not show them.
Christoph Mallon [Fri, 12 Sep 2008 12:44:42 +0000 (12:44 +0000)]
Mark internal typedefs as "implicit", so the AST-printer does not show them.

[r21897]

15 years agoOnly assume it is a k&r-declaration, if the unknown identifier in the parameter list...
Christoph Mallon [Fri, 12 Sep 2008 12:33:42 +0000 (12:33 +0000)]
Only assume it is a k&r-declaration, if the unknown identifier in the parameter list is followed by a , or ).  This leads to better error messages.

[r21896]

15 years agoremoved yet unused asm_string
Michael Beck [Fri, 12 Sep 2008 11:23:04 +0000 (11:23 +0000)]
removed yet unused asm_string

[r21895]

15 years ago- BugFix: print cast errors on the position of the cast
Michael Beck [Fri, 12 Sep 2008 11:14:25 +0000 (11:14 +0000)]
- BugFix: print cast errors on the position of the cast
- semantic_cast() should return an error so it's possible to record it
- add missing cast

[r21894]

15 years agoPrint a " " after the ")" of for-statements.
Christoph Mallon [Fri, 12 Sep 2008 10:25:33 +0000 (10:25 +0000)]
Print a " " after the ")" of for-statements.

[r21892]

15 years agoBe more tolerant when encountering unknown identifiers while parsing and create a...
Christoph Mallon [Fri, 12 Sep 2008 10:21:42 +0000 (10:21 +0000)]
Be more tolerant when encountering unknown identifiers while parsing and create a fake declaration for them.

[r21891]

15 years agoDo not show implicit declarations in --print-ast.
Christoph Mallon [Fri, 12 Sep 2008 10:18:53 +0000 (10:18 +0000)]
Do not show implicit declarations in --print-ast.

[r21890]

15 years agobool, indendation.
Christoph Mallon [Fri, 12 Sep 2008 09:13:36 +0000 (09:13 +0000)]
bool, indendation.

[r21889]

15 years agoRecord destination type and expression of a cast, even if the semantic check fails.
Christoph Mallon [Fri, 12 Sep 2008 07:10:12 +0000 (07:10 +0000)]
Record destination type and expression of a cast, even if the semantic check fails.

[r21888]

15 years agoIndentation.
Christoph Mallon [Fri, 12 Sep 2008 06:52:46 +0000 (06:52 +0000)]
Indentation.

[r21887]

15 years agoRename orig_type to src_type in semantic_cast(), to avoid confusion with the usual...
Christoph Mallon [Fri, 12 Sep 2008 06:51:13 +0000 (06:51 +0000)]
Rename orig_type to src_type in semantic_cast(), to avoid confusion with the usual meaning (unskipped type) of "orig".

[r21886]

15 years agoRemove else-if-chain in semantic_cast(), because it leads to omission of errors,...
Christoph Mallon [Fri, 12 Sep 2008 06:49:10 +0000 (06:49 +0000)]
Remove else-if-chain in semantic_cast(), because it leads to omission of errors, when the destination type is a pointer type.

[r21885]

15 years agoStill print some errors even if invalid types are involved in semantic_cast().
Christoph Mallon [Fri, 12 Sep 2008 06:44:17 +0000 (06:44 +0000)]
Still print some errors even if invalid types are involved in semantic_cast().

[r21884]

15 years agoPrint source position of expression instead of HERE in semantic_cast().
Christoph Mallon [Fri, 12 Sep 2008 06:41:50 +0000 (06:41 +0000)]
Print source position of expression instead of HERE in semantic_cast().

[r21883]

15 years agoIndentation.
Christoph Mallon [Fri, 12 Sep 2008 06:41:02 +0000 (06:41 +0000)]
Indentation.

[r21882]

15 years agoSort.
Christoph Mallon [Fri, 12 Sep 2008 06:34:46 +0000 (06:34 +0000)]
Sort.

[r21881]

15 years agoskip_typeref().
Christoph Mallon [Fri, 12 Sep 2008 06:25:37 +0000 (06:25 +0000)]
skip_typeref().

[r21880]

15 years agoReduce code duplication.
Christoph Mallon [Fri, 12 Sep 2008 06:04:41 +0000 (06:04 +0000)]
Reduce code duplication.

[r21879]

15 years agotest for nested comments
Michael Beck [Fri, 12 Sep 2008 04:37:50 +0000 (04:37 +0000)]
test for nested comments

[r21878]

15 years ago- implemented -Wcomment (currently non-working because cpp filters all
Michael Beck [Fri, 12 Sep 2008 04:35:50 +0000 (04:35 +0000)]
- implemented -Wcomment (currently non-working because cpp filters all
  comments)

[r21877]

15 years agoadd some more (unimplemented) warnings
Michael Beck [Fri, 12 Sep 2008 04:23:23 +0000 (04:23 +0000)]
add some more (unimplemented) warnings

[r21876]

15 years agotest program for cast errors
Michael Beck [Fri, 12 Sep 2008 03:31:49 +0000 (03:31 +0000)]
test program for cast errors

[r21875]

15 years ago- removed todo
Michael Beck [Fri, 12 Sep 2008 03:31:00 +0000 (03:31 +0000)]
- removed todo

[r21874]

15 years ago- -Wcast-qual implemented
Michael Beck [Fri, 12 Sep 2008 03:30:36 +0000 (03:30 +0000)]
- -Wcast-qual implemented
- fixed semantic_assign() error messages
- implemented semantic_cast()

[r21873]

15 years ago- do not print a space at the end of qualifiers (needed for diagnostic)
Michael Beck [Fri, 12 Sep 2008 02:22:38 +0000 (02:22 +0000)]
- do not print a space at the end of qualifiers (needed for diagnostic)

[r21872]

15 years ago-Waggregate-return implemented
Michael Beck [Fri, 12 Sep 2008 01:36:36 +0000 (01:36 +0000)]
-Waggregate-return implemented

[r21871]

15 years agoadd test for padding
Michael Beck [Fri, 12 Sep 2008 01:11:49 +0000 (01:11 +0000)]
add test for padding

[r21870]

15 years agoimplemented -Wdiv-by-zero
Michael Beck [Thu, 11 Sep 2008 23:58:37 +0000 (23:58 +0000)]
implemented -Wdiv-by-zero

[r21866]

15 years agoset the stack alignment to 2^4 on apple
Michael Beck [Thu, 11 Sep 2008 23:24:14 +0000 (23:24 +0000)]
set the stack alignment to 2^4 on apple

[r21865]

15 years ago_Win32 build fix
Michael Beck [Thu, 11 Sep 2008 22:48:06 +0000 (22:48 +0000)]
_Win32 build fix

[r21861]

15 years agos/imature_blocks/immature_blocks/.
Christoph Mallon [Thu, 11 Sep 2008 11:38:01 +0000 (11:38 +0000)]
s/imature_blocks/immature_blocks/.

[r21843]

15 years agoUse new_Block() instead of new_immBlock(), when the number of CF predecessors is...
Christoph Mallon [Thu, 11 Sep 2008 11:36:59 +0000 (11:36 +0000)]
Use new_Block() instead of new_immBlock(), when the number of CF predecessors is known in advance.

[r21842]

15 years agoHandle DM_NORETURN in ast2firm.
Christoph Mallon [Thu, 11 Sep 2008 11:30:19 +0000 (11:30 +0000)]
Handle DM_NORETURN in ast2firm.

[r21840]

15 years agoIndentation.
Christoph Mallon [Thu, 11 Sep 2008 06:26:35 +0000 (06:26 +0000)]
Indentation.

[r21829]

15 years agowe need to keep_alive memory as well for potential endless loops
Matthias Braun [Wed, 10 Sep 2008 14:18:09 +0000 (14:18 +0000)]
we need to keep_alive memory as well for potential endless loops

[r21821]

15 years agoimplement hex floats
Matthias Braun [Wed, 10 Sep 2008 12:35:15 +0000 (12:35 +0000)]
implement hex floats

[r21819]

15 years agobuild right side of += etc. before left side
Matthias Braun [Tue, 9 Sep 2008 16:09:00 +0000 (16:09 +0000)]
build right side of += etc. before left side

[r21789]

15 years agoimproved "builtin"-strcmp
Michael Beck [Mon, 8 Sep 2008 10:12:43 +0000 (10:12 +0000)]
improved "builtin"-strcmp

[r21746]

15 years agorerun builtins.h creation if script changed
Michael Beck [Mon, 8 Sep 2008 09:48:14 +0000 (09:48 +0000)]
rerun builtins.h creation if script changed

[r21745]

15 years agofix
Matthias Braun [Mon, 8 Sep 2008 08:17:00 +0000 (08:17 +0000)]
fix

[r21744]

15 years agobunch of mac fixes and improvements
Matthias Braun [Sun, 7 Sep 2008 16:35:52 +0000 (16:35 +0000)]
bunch of mac fixes and improvements

[r21740]

15 years agoconvert more driver code to new style
Matthias Braun [Thu, 4 Sep 2008 14:36:27 +0000 (14:36 +0000)]
convert more driver code to new style

[r21705]

15 years agoa rank is not an atomic_type_kind_t
Matthias Braun [Thu, 4 Sep 2008 12:49:30 +0000 (12:49 +0000)]
a rank is not an atomic_type_kind_t

[r21703]

15 years agoFix r21499: The types must be unsigned, not signed.
Christoph Mallon [Thu, 4 Sep 2008 12:31:49 +0000 (12:31 +0000)]
Fix r21499: The types must be unsigned, not signed.

[r21701]

15 years agoRename -fluffig to -fsync, perform opt_sync() (formerly opt_ldst2()) last to not...
Christoph Mallon [Thu, 4 Sep 2008 09:32:26 +0000 (09:32 +0000)]
Rename -fluffig to -fsync, perform opt_sync() (formerly opt_ldst2()) last to not interfere with load store optimisation.

[r21690]

15 years agoWarn about unreachable empty compound statements.
Christoph Mallon [Wed, 3 Sep 2008 20:16:08 +0000 (20:16 +0000)]
Warn about unreachable empty compound statements.

[r21681]

15 years agoFix cp_error049.
Christoph Mallon [Wed, 3 Sep 2008 20:11:42 +0000 (20:11 +0000)]
Fix cp_error049.

[r21680]

15 years agoCrash in ast2firm concerning unreachable if.
Christoph Mallon [Wed, 3 Sep 2008 20:09:28 +0000 (20:09 +0000)]
Crash in ast2firm concerning unreachable if.

[r21679]

15 years agofurther fixes for MMD handling
Matthias Braun [Tue, 2 Sep 2008 08:44:14 +0000 (08:44 +0000)]
further fixes for MMD handling

[r21635]

15 years agohack cparser to write output of -MMD to the correct file
Matthias Braun [Tue, 2 Sep 2008 08:21:58 +0000 (08:21 +0000)]
hack cparser to write output of -MMD to the correct file

[r21634]

15 years agosizeof from vla type is not constant
Matthias Braun [Tue, 2 Sep 2008 08:17:21 +0000 (08:17 +0000)]
sizeof from vla type is not constant

[r21633]

15 years agofix problems when a case is INT_MAX
Matthias Braun [Mon, 1 Sep 2008 16:57:39 +0000 (16:57 +0000)]
fix problems when a case is INT_MAX

[r21630]

15 years agoFix bug in duplicate case value checker: Ignore the default case label.
Christoph Mallon [Mon, 1 Sep 2008 13:25:40 +0000 (13:25 +0000)]
Fix bug in duplicate case value checker:  Ignore the default case label.

[r21628]

15 years agoadd testcase for multi-char constant
Michael Beck [Mon, 1 Sep 2008 12:48:43 +0000 (12:48 +0000)]
add testcase for multi-char constant

[r21626]

15 years agofixed constant case
Michael Beck [Mon, 1 Sep 2008 12:38:08 +0000 (12:38 +0000)]
fixed constant case

[r21624]

15 years agoImplement ast2firm part of the GNU "a ?: b" extension.
Christoph Mallon [Mon, 1 Sep 2008 10:46:40 +0000 (10:46 +0000)]
Implement ast2firm part of the GNU "a ?: b" extension.

[r21620]

15 years ago- add support for \e escape
Michael Beck [Mon, 1 Sep 2008 01:27:03 +0000 (01:27 +0000)]
- add support for \e escape
- BugFix: printing of character constants

[r21617]

15 years ago- implemented GNU ?: operator (no ast2firm support yet
Michael Beck [Mon, 1 Sep 2008 01:03:43 +0000 (01:03 +0000)]
- implemented GNU ?: operator (no ast2firm support yet

[r21616]

15 years agoadd testcase for asm name
Michael Beck [Mon, 1 Sep 2008 00:35:38 +0000 (00:35 +0000)]
add testcase for asm name

[r21615]

15 years agoadd testcase for empty structs
Michael Beck [Mon, 1 Sep 2008 00:31:08 +0000 (00:31 +0000)]
add testcase for empty structs

[r21614]

15 years agotestcase for gcc ?: operator
Michael Beck [Mon, 1 Sep 2008 00:29:01 +0000 (00:29 +0000)]
testcase for gcc ?: operator

[r21613]

15 years agoadd testcase for incomplete enums
Michael Beck [Mon, 1 Sep 2008 00:23:22 +0000 (00:23 +0000)]
add testcase for incomplete enums

[r21612]

15 years agoadd testcase for union cast
Michael Beck [Mon, 1 Sep 2008 00:21:05 +0000 (00:21 +0000)]
add testcase for union cast

[r21611]

15 years agoadd test for escape escape
Michael Beck [Mon, 1 Sep 2008 00:12:50 +0000 (00:12 +0000)]
add test for escape escape

[r21610]

15 years agoadd test for hexfloats
Michael Beck [Mon, 1 Sep 2008 00:05:35 +0000 (00:05 +0000)]
add test for hexfloats

[r21609]

15 years agotest for computed goto
Michael Beck [Mon, 1 Sep 2008 00:01:55 +0000 (00:01 +0000)]
test for computed goto

[r21608]

15 years agoadd test for local label
Michael Beck [Sun, 31 Aug 2008 23:53:29 +0000 (23:53 +0000)]
add test for local label

[r21607]

15 years agoHandle -fno-strength-reduce.
Christoph Mallon [Sun, 31 Aug 2008 22:13:12 +0000 (22:13 +0000)]
Handle -fno-strength-reduce.

[r21606]

15 years agoHandle -fno-syntax-only.
Christoph Mallon [Sun, 31 Aug 2008 22:12:04 +0000 (22:12 +0000)]
Handle -fno-syntax-only.

[r21605]