semantic: Extend expression classification to detect integer constant expressions.

This is required for strict detection of null pointer constants and VLAs.

fix null pointer constants

only a cast to void* gives a null pointer constant, casting to types
compatible with void* not necessarily.

enable -pedantic gcc flag

cleanup: Resolve warnings about shadowed variables.

use module_shift from base_mode when constructing bitfield modes

semantic: Accept complex literal suffixes even in non-gcc mode.

FreeBSD's system headers use them without __extension__ and gcc accepts them with -std=c99, too.

semantic: Combine check_integer_suffix() and check_floatingpoint_suffix() into check_number_suffix().

This corrects two issues for floatingpoint suffixes:
- Accept a complex suffix after a type suffix (e.g. Fi additionally to just iF).
- Reject multiple complex suffixes (e.g. ii).

semantic: Clean up check_integer_suffix().

In particular remove the test for the impossible case that *c ist not NUL after the loop.

ast2firm: Implement casting from complex to real types.

parser: Correct source position of select (->, .) expressions.

write_jna: Simplify fix_builtin_names().

write_jna: Properly check whether a declaration is in a system header.

cleanup: Reduce variable scope.

warning: Add the switch -Wsystem to show warnings in system headers.

Warnings in system headers are suppressed by default now.

simplify license header similar to libFirm

Only state the project and the copyright. The rest can be found in the
COPYING file.

cleanup: complex conditional creation style

It is now using the same techniques as can be found in the non-complex
code paths.

cleanup: refactor complex assignment into an own function

cleanup: improve coding style

- add some more consts
- remove some unnecessary asserts (which made the code noisy)
- replace an if with ?:

cleanup: avoid unnecessary complicated code sharing

update libfirm revision

parser: Parse and reject GCC range initializers "[0 ... 9]".

parser: Use parse_expression() instead of parse_assignment_expression() where appropriate.

ast2firm: Replace get_store(set_store(x)) by x.

ast2firm: Use conv_to_storage_type().

parser: Simplify parse_complex_extract_expression().

parser: Remove redundant assignment.

allocate_expression_zero() sets the pos.

ast: Remove redundant test.

Complex types are scalar.

parser: Remove redundant test.

parse_expression() never returns null.

libfirm: Update to newer version.

This resolves the assertion, that PIC types miss the segment flag.

relational operators are only allowed for real types

update libfirm submodule

This should avoid some failures when inlining calls with complex
args/results

accept (but warn) '_Complex' without additional specifiers

implement statement expressions for complex values

do not warn for missing declarations if type is invalid

complex bitops are not allowed even for _Complex int

implement support for complex types

Not tested that much yet, and support for statement expressions is still
missing.

fix TODO

rename bitwise_negate to complement

fix coding style

update libfirm revision

ast2firm: When the result of ?: is unreachable, create a Bad value, not Unknown.

ast2firm: Convert operands to the arithmetic mode, not results.

This is a bit simpler and avoids several pointless conversions in float calculations.

ast2firm: Rewrite IR construction for expressions.

ast2firm: There is no sensible IR type to create for void, so do not do it.

semantic: Add missing skip_typeref() to avoid adding unnecessary implicit casts.

In particular this avoids insertion of non-scalar nop casts.
Therefore some tests, which later skip them, are removed, too.

ast2firm: Remove unnecessary special case handling for constant folding.

In particular the case in conditional_to_firm() should be covered by jump target handling.

ast2firm: Remove the thin wrapper function set_value_for_expression().

ast2firm: Remove nonsensical case: You cannot take the address of a function call result.

ast2firm: Use the value returned by set_value_for_expression_addr() as return value for prefix ++/--.

- This is important for bitfields, which contain fewer bits than the to be stored value has.
- This is important for float variables, when the calculation is done in higher precision.

ast2firm: Clean up create_incdec().

ast2firm: Factorise code to convert a value to its storage type.

cleanup: Remove unused typedef.

type: Add missing space for printing complex types.

Adapt to latest libfirm: "nooptcc=yes" is "optcc=false" now.

adapt to latest libfirm

support complex type (no arithmetic yet)

Fixed some typos.

rename source_position_t to position_t, rename members to pos

preprocessor: Do not use uninitialized values for the column in error messages.

do not fail when initializing tokens multiple times

fix cases where compoundlits are constant/get an entity

This is possible when they are in global scope (and have a constant
initializers anyway) or when they have a const type and constant
initializers.

implement -Wa, -Xlinker, -Xpreprocessor, -Xassembler

don't grow the hashset if it just clobbered with deleted entries

adapt to change firmstat settings

support compound values in dynamic initializers

parser: Remove extra '' around %K in an error message.

timer: Enlarge the display space for description and time.

support compound literals as initializers

semantic: Improve error messages.

semantic: The operands of % must be integer, not just arithmetic.

cleanup: Remove redundant assignment.

allocate_entity_zero() sets the source position already.

ast2firm: Keep the ijmp block and memory.

It might be an (endless) loop header.

update for new release

fix "make bootstrap" with libfirm submodule

fold all nodes in the constant code irg regardless of opt settings

update libfirm revision

main: rework preprocessor invocation

- reintroduce the -x assembler-with-cpp support
- fix wrong output directory for -MMD,-MD switches
- do not output various c-flags for assembler cpp anymore

diagnostic: Use errorf(NULL, "[...]") instead of fprintf(stderr, "error: [...]\n").

diagnostic: Allow passing no position or only a filename to diagnosticposvf().

input: Simplify choose_decoder().

Makefile: cleanup, rewrite, add coverage variant

Makes the style more similar to the one used in libfirm. Add build
variant for coverage testing.

Remove \n from error messages.

Add missing \n after printing a warning when using -fno-diagnostics-show-option.

Parse (and reject) asm goto.

Improve error recovery when parsing asm statements by adding more anchors.

Reject trailing commas when parsing asm argument and clobber lists.

Simplify passing passing the results of parse_asm_arguments() and parse_asm_clobbers().

Improve error recovery in parse_asm_arguments().

There is not need to abort parsing arguments, if we failed to parse the name for an asm argument.

Make printing asm statements a bit nicer by using fewer spaces.

Clean up print_asm_statement().

Add separator_t to aid printing lists with separators.

Rename next_if() to accept() and document it.

Only produce an error about the type of an array subscript, if the type is valid.

Check for constant conditions in create_condition_evaluation().

If the condition was folded to a constant, then make an unconditional jump to the appropriate target instead of constructing a Cond.
This avoids further unnecessary basic blocks and Bad nodes.

Reduce scope of variable.

Keep all loops, because they could become infinite.

Implement U, u and u8 strings.

Let panic() print file, line and function.

Adjust some panic messages accordingly.

Route all computed goto statements of a function through one IJmp.

This avoids the unsplitable critical edges, if there multiple computed goto statements.

Use jump_target for goto labels.

This saves an unnecessary block, if only a single forward jump reaches a label.