Another attempt to solve the halting problem: Detect variables, which are never read.  The test is cheap and could be improved by using dataflow, SSA and fixpoint magic, but of course it is lightyears ahead of GCC.  For example in x = x + 1; x is not marked as read, because it is only used to assign to itself.

[r23026]

Make check_unreachable() more tail recursion friendly.

[r23021]

Resolve assertion, when using -fsyntax-only.

[r23020]

Remove stale (since r21011) comment.

[r23016]

Fix r23014.

[r23015]

Do not generate an error message about incompatible types in ?: if the error type is involved.

[r23014]

Resolve some warnings.

[r23013]

Add forgotten conversion specifiers.

[r23012]

Resolve some warnings.

[r23011]

-fopt-foo means activate, not deactivate.

[r22879]

Add debug info to implicitly created != 0 tests in ifs.

[r22835]

no need for bitfiddle here

[r22709]

Print AST and error/warning summary even in the presence of preprocessor errors.

[r22560]

Remove unreachable statement.

[r22559]

Show the number of the conversion specification in the format check warnings.

[r22558]

Remove pointless local variable.

[r22557]

Remove redundant assignment.

[r22556]

- improve error message even more ;-)

[r22555]

- improve error message

[r22554]

- allow '-' for s and S format
- improve error message

[r22553]

only query primitive types for their base type

[r22549]

fix missing skip_typeref buf

[r22533]

disable fix for parsetest/fehler053.c for now (as it breaks more common use cases)

[r22530]

fix bitfield2.c

[r22436]

tricky bitfield test from gcc (extended)

[r22435]

Implement reference_addr() for DECLARATION_KIND_FUNCTION.

[r22434]

skip_typeref().

[r22424]

Fix assertion failure introduced in r22072.

[r22422]

skip_typeref().

[r22421]

Treat expressions with error type as lvalues.  There was a parse error before, which maybe prevented properly recognizing it as lvalue.

[r22419]

Improve error recovery for if-statements.

[r22418]

Parse __builtin_inf{,f,l} and correct __builtin_nand to __builtin_nanl.

[r22406]

- set the new combo flag

[r22354]

use firm array to avoid name/symbol clashes

[r22332]

Process declaration modifiers for variables in ast2firm, too.

[r22284]

- add -finline-max-size= and -finline-threshold= parameter

[r22279]

increase inline limit

[r22244]

Generate AST for some semantically invalid initializers.

[r22222]

- add missing initialization of have_const_functions

[r22214]

handle DM_CONST, lower inline limit, force optimize_funccalls

[r22210]

Treat size_constant like a bool should be, i.e. do not explicitly compare with == 1/true.

[r22206]

disable builtins by default

[r22187]

possibility to disable builtin functions

[r22178]

make -fsync default

[r22157]

right_to_left() now returns 0 for left-to-right associativity instead of -1.

[r22138]

fix gcse

[r22122]

Resolve off-by-one (and off-by-two) errors in the source position of statements.

[r22112]

Set the source position in allocate_statement_zero().

[r22111]

Make stray ; outside of functions an error in strict mode.

[r22102]

Resolve compile error.

[r22101]

- BugFix: unitializer must be created using qualifiers from array-skipped typed

[r22092]

- add get_type_qualifiers() allowing to get the type qualifiers WITHOUT
  using skip_typeref() AND allowing to skip ARRAY types

[r22091]

The standard calls it "file scope", so rename global_scope to file_scope.

[r22079]

Resolve unreachable statement warnings.

[r22077]

Put T_EOF into the anchor set.

[r22075]

depend on libfirm (if path is specified in config.mak)

[r22074]

Slightly simplify stack_pop_to().

[r22072]

environment_top() and local_label_top() return size_t, not int.

[r22070]

Slightly simplify stack_push().

[r22069]

fixed parameter redeclaration error

[r22068]

enhanced

[r22067]

- functions cannot be lvalues

[r22066]

- add more attributes to support inner functions
- preliminary support for code generation for inner functions (closure must NOT be used yet)

[r22065]

- added outer function jump to example

[r22064]

should warn about struct inside parameter scope definition

[r22063]

- replaced set_scope by scope_push()/scope_pop()
- detect access to variables of outer functions and set the address_taken flag
- detect redeclaration of parameters and issue an error
- set last_declaration in the parameter scope
- mark the scope of parameters

[r22060]

Add { as anchor while parsing k&r declaration list.

[r22059]

Implement -Waddress.

[r22057]

Restore value of in_gcc_extension using old_gcc_extension.

[r22054]

Add { as anchor while parsing external declaration.

[r22053]

fixed comments

[r22052]

- BugFix: typeof operator must set the in_type_prop attribute
- __extension__ now sets/resets the in_gcc_extension attribute
- use new GNU_MODE macro instead of (c_mode & _GNUC) which checks for in_gcc_extension

[r22051]

Reduce anchor scope.

[r22050]

add support for gcc nested functions

[r22043]

add missing print_indent() (now correctly prints nsted functions)

[r22042]

eat_statement() is dead, long live eat_until_anchor()!

[r22041]

nested function example

[r22040]

Small simplification.

[r22039]

do not record empty declarations by default

[r22036]

- type property expressions are NOT self-initializer

[r22035]

Always return a non-null pointer from parse_array_declarator() to avoid dereferencing a null pointer later on.

[r22029]

The element type of an array shall not be an incomplete or function type.

[r22028]

Still record the element type of arrays and the return type of functions, even if they are invalid.

[r22027]

Warn about type qualifiers in the return type of function types.

[r22020]

Do not warn about the return type of main(), if it is the error type.

[r22017]

Use the real error type instead of ATOMIC_TYPE_INVALID, when parsing type specifiers, to avoid strange errors/warnings later on.

[r22016]

Avoid segfault when encountering a parse error while parsing __declspec in type specifiers.

[r22015]

Do not warn about excess initialisers, when trying to initialise an incomplete compound variable.

[r22014]

Slightly simplify printing binary operators.

[r22013]

Use fputc() instead of fputs() to print a single char.

[r22006]

Print no " " between the ")" and the "{" of a compound literal.

[r22005]

abort() instead of exit(1) in case of anchor token leaks.

[r22001]

When printing AST for asm statements first print outputs, then inputs.

[r21998]

Improve parse_va_start():
- reference expressions never have no declaration, at least there is an error declaration
- do not return an invalid expression, when the second argument is a reference, but not the last parameter
- if the second parameter is invalid, still expect the ).

[r21997]

Make parsing of statements more robust in case of parser errors by avoiding endless loops, because no token gets consumed.

[r21996]

Plug anchor token leak in parse_statement_expression().

[r21995]

Plug two more anchor token underflows.

[r21994]

Fix the first anchor token leak (actually an underflow).

[r21993]

Add code to detect anchor token leaks.

[r21992]

Create a few less invalid expressions on parse errors.

[r21991]