Christoph Mallon [Thu, 16 Jun 2011 16:43:46 +0000 (18:43 +0200)]
Correct wrong positions in error/warning messages.
Christoph Mallon [Fri, 17 Jun 2011 04:09:28 +0000 (06:09 +0200)]
s/threat/treat/.
Christoph Mallon [Fri, 17 Jun 2011 04:04:38 +0000 (06:04 +0200)]
Remove unnecessary goto.
Christoph Mallon [Fri, 17 Jun 2011 03:45:07 +0000 (05:45 +0200)]
Mark a label as used when it is actually used, not later on in the label checker.
Christoph Mallon [Thu, 16 Jun 2011 21:00:26 +0000 (23:00 +0200)]
Let get_label() handle consuming the label identifier instead of all its callers.
Christoph Mallon [Thu, 16 Jun 2011 20:15:01 +0000 (22:15 +0200)]
Clean up get_label().
Christoph Mallon [Thu, 16 Jun 2011 17:27:47 +0000 (19:27 +0200)]
Pass the symbol to allocate_entity_zero() instead of setting it later on.
Christoph Mallon [Thu, 16 Jun 2011 17:07:58 +0000 (19:07 +0200)]
Pass the namespace to allocate_entity_zero() instead of setting it later on.
Christoph Mallon [Thu, 16 Jun 2011 14:22:21 +0000 (16:22 +0200)]
Do not bail out on simple typo of put/get in parse_attribute_ms_property().
Christoph Mallon [Thu, 16 Jun 2011 14:46:16 +0000 (16:46 +0200)]
Remove unnecessary error message.
If this case is entered, there was an error message that the declarator is abstract before.
Christoph Mallon [Thu, 16 Jun 2011 14:08:44 +0000 (16:08 +0200)]
Simplify format string in error message.
Christoph Mallon [Thu, 16 Jun 2011 13:47:33 +0000 (15:47 +0200)]
Remove if (type != NULL), which due to prior program logic cannot be false.
Christoph Mallon [Thu, 16 Jun 2011 13:29:40 +0000 (15:29 +0200)]
Correct off-by-one error when checking whether the end of the GNU attribute list was reached.
Christoph Mallon [Thu, 16 Jun 2011 12:32:17 +0000 (14:32 +0200)]
Do not unnecessarily bail out early when encountering certain parse errors.
Christoph Mallon [Thu, 16 Jun 2011 09:31:29 +0000 (11:31 +0200)]
Correct off-by-one-token error in warning.
Christoph Mallon [Thu, 16 Jun 2011 05:22:20 +0000 (07:22 +0200)]
Handle the initial memset() of the declaration specifier struct in parse_declaration_specifiers().
Christoph Mallon [Wed, 15 Jun 2011 16:47:29 +0000 (18:47 +0200)]
Implement and document -Wshadow-local.
- This works like -Wshadow, but only warns if the shadowed declaration is not global.
- Activate it with -Wall.
- Demote -Wshadow to -Wextra.
Christoph Mallon [Wed, 15 Jun 2011 16:46:37 +0000 (18:46 +0200)]
Accept -W as alias for -Wextra.
Christoph Mallon [Wed, 15 Jun 2011 06:01:36 +0000 (08:01 +0200)]
Add EXPR_LITERAL_BOOLEAN to get_expression_struct_size().
Matthias Braun [Fri, 10 Jun 2011 13:28:41 +0000 (15:28 +0200)]
optimisation => optimization
Matthias Braun [Fri, 10 Jun 2011 13:29:09 +0000 (15:29 +0200)]
amend to --help
Matthias Braun [Fri, 10 Jun 2011 13:25:26 +0000 (15:25 +0200)]
reorganize firm_cmdline, implement --help-optimization
Matthias Braun [Fri, 10 Jun 2011 12:56:45 +0000 (14:56 +0200)]
we (and gcc) have no real -fstrength-reduce
Matthias Braun [Fri, 10 Jun 2011 12:51:48 +0000 (14:51 +0200)]
move -ffp-XXX flags handling to main cparser to be more independent of firm_cmdline
Matthias Braun [Thu, 9 Jun 2011 11:43:47 +0000 (13:43 +0200)]
added elf-visibility handling
Currently only used for jna export though.
Matthias Braun [Thu, 9 Jun 2011 11:17:39 +0000 (13:17 +0200)]
fix crash when mode attribut misses arguments
Matthias Braun [Thu, 9 Jun 2011 11:06:07 +0000 (13:06 +0200)]
move docu comments to header
Matthias Braun [Tue, 7 Jun 2011 11:07:04 +0000 (13:07 +0200)]
preprocessor has to be aware of bitwidth too
Matthias Braun [Tue, 7 Jun 2011 10:41:42 +0000 (12:41 +0200)]
long overflows at LONG_MAX not at INT_MAX
Christoph Mallon [Mon, 6 Jun 2011 13:33:55 +0000 (15:33 +0200)]
Use internal_errorf() instead of errorf() for internal errors -- quite logical, isn't it?
Christoph Mallon [Sat, 4 Jun 2011 12:44:22 +0000 (14:44 +0200)]
Use variables more consistently.
Christoph Mallon [Sat, 4 Jun 2011 12:43:29 +0000 (14:43 +0200)]
Reduce code duplication.
Christoph Mallon [Sat, 4 Jun 2011 12:33:24 +0000 (14:33 +0200)]
Correct off-by-something errors in diagnostic messages.
Christoph Mallon [Sat, 4 Jun 2011 12:27:05 +0000 (14:27 +0200)]
Feature: Show the column number in diagnostic messages.
- This can be toggled with -f[no-]show-column. Default is on.
- The column number can be off, because gcc's preprocessors collapses consecutive whitespace.
Christoph Mallon [Sat, 4 Jun 2011 12:35:35 +0000 (14:35 +0200)]
Rename the attribute linenr of struct source_position_t to lineno.
Christoph Mallon [Sat, 4 Jun 2011 11:56:55 +0000 (13:56 +0200)]
Reduce code duplication for printing diagnostics.
Christoph Mallon [Thu, 2 Jun 2011 07:20:10 +0000 (09:20 +0200)]
Report an error when the index of an array access is not of integer type.
Christoph Mallon [Thu, 2 Jun 2011 07:13:36 +0000 (09:13 +0200)]
Cleanup, reduce code duplication.
Christoph Mallon [Wed, 1 Jun 2011 08:46:06 +0000 (10:46 +0200)]
Add missing check for reference declarator.
Christoph Mallon [Wed, 1 Jun 2011 08:37:29 +0000 (10:37 +0200)]
Remove unnecessary gotos.
Christoph Mallon [Wed, 1 Jun 2011 08:36:14 +0000 (10:36 +0200)]
Make error message a bit more clear.
Christoph Mallon [Wed, 1 Jun 2011 08:34:59 +0000 (10:34 +0200)]
Cleanup.
Use (void) for empty parameter lists and reduce code duplication.
Christoph Mallon [Wed, 1 Jun 2011 08:34:15 +0000 (10:34 +0200)]
Use a null pointer for marking the current position as unreachable again.
Using a BadBB has no benefits.
Andreas Zwinkau [Tue, 31 May 2011 14:10:30 +0000 (16:10 +0200)]
Add Bad preds for unreachable code
Fixes C/segfault7
Andreas Zwinkau [Tue, 31 May 2011 14:02:01 +0000 (16:02 +0200)]
Construct Bads for unreachable code
Otherwise local opts might produce "strange" graphs, for example, loops without Phis.
Andreas Zwinkau [Tue, 31 May 2011 12:16:39 +0000 (14:16 +0200)]
Ignore -fvisibility= arguments
Christoph Mallon [Tue, 31 May 2011 11:41:18 +0000 (13:41 +0200)]
Report an error on empty character constants, i.e. ''.
Matthias Braun [Tue, 31 May 2011 10:47:11 +0000 (12:47 +0200)]
trigger flip-flopping normalisation
Matthias Braun [Mon, 30 May 2011 12:22:34 +0000 (14:22 +0200)]
added --help texts which document most options
Matthias Braun [Fri, 27 May 2011 09:08:20 +0000 (11:08 +0200)]
remove unsupported option omit-leaf-frame-pointer option
Matthias Braun [Fri, 27 May 2011 09:03:09 +0000 (11:03 +0200)]
option was parsed twice
Christoph Mallon [Mon, 30 May 2011 10:33:28 +0000 (12:33 +0200)]
Correct parsing of abstract function declarators.
Christoph Mallon [Sun, 29 May 2011 10:16:20 +0000 (12:16 +0200)]
Prevent dereferencing a null pointer, when parse_attribute_gnu() returns an empty list of attributes.
Matthias Braun [Sat, 7 May 2011 11:05:39 +0000 (13:05 +0200)]
fix a few builtin declarations, add stpcpy builtin
Matthias Braun [Sat, 7 May 2011 00:09:42 +0000 (02:09 +0200)]
fix const_void_ptr builtin types
Matthias Braun [Thu, 26 May 2011 11:28:26 +0000 (13:28 +0200)]
removing unused entities from the frame should happen as late as possible
Matthias Braun [Thu, 26 May 2011 11:09:30 +0000 (13:09 +0200)]
perform a convopt after target lowering, reorder some localopts
Matthias Braun [Tue, 24 May 2011 10:23:55 +0000 (12:23 +0200)]
ignore type qualifiers when checking arguments of main
Matthias Braun [Tue, 24 May 2011 09:32:10 +0000 (11:32 +0200)]
remove pointless concept of a builtin-type
Sebastian Buchwald [Thu, 19 May 2011 15:01:38 +0000 (17:01 +0200)]
Fixed parameter type.
Christoph Mallon [Thu, 19 May 2011 11:29:46 +0000 (13:29 +0200)]
Avoid unnecessary casts.
Christoph Mallon [Thu, 19 May 2011 06:33:00 +0000 (08:33 +0200)]
Remove the unnecessary distinction between compound_t structe and compound_t unione in struct entity_t, just use compound_t compound.
Its only use was causing code duplication in the AST printer anyway.
Everybody else already uses compound.
Christoph Mallon [Thu, 19 May 2011 05:38:56 +0000 (07:38 +0200)]
Whitespace fix.
Christoph Mallon [Thu, 19 May 2011 05:38:43 +0000 (07:38 +0200)]
Remove unnecessary cast.
Christoph Mallon [Thu, 19 May 2011 05:36:39 +0000 (07:36 +0200)]
Handle GNU __REDIRECT on MACHO.
Christoph Mallon [Mon, 16 May 2011 14:11:20 +0000 (16:11 +0200)]
Corrent whitespace inconsistencies when printing type qualifiers.
Matthias Braun [Wed, 11 May 2011 10:36:42 +0000 (12:36 +0200)]
Revert "gcse requires unreachable code removed"
This reverts commit
246fd89748d4ad7ba600f4369f73f2ea9c60c76f.
Andreas Zwinkau [Fri, 6 May 2011 10:48:57 +0000 (12:48 +0200)]
gcse requires unreachable code removed
Matthias Braun [Thu, 5 May 2011 17:12:35 +0000 (19:12 +0200)]
adapt to firm allowing Bad with different modes now
Christoph Mallon [Thu, 5 May 2011 15:29:41 +0000 (17:29 +0200)]
Do not compare boolean values with false/true, just use them.
Christoph Mallon [Thu, 5 May 2011 15:28:37 +0000 (17:28 +0200)]
Correct off-by-something errors in error messages about declarators.
Matthias Braun [Thu, 5 May 2011 11:14:00 +0000 (13:14 +0200)]
there's no need to hide rtsopt from the options
Matthias Braun [Wed, 4 May 2011 23:36:35 +0000 (01:36 +0200)]
OS/X headers expect __INTMAX_TYPE__ to be defined
Matthias Braun [Thu, 28 Apr 2011 14:48:11 +0000 (16:48 +0200)]
implement -fprofile-generate -fprofile-use similar to gcc
Matthias Braun [Thu, 28 Apr 2011 12:24:01 +0000 (14:24 +0200)]
fix some -fno-XXX options
Matthias Braun [Wed, 27 Apr 2011 17:36:14 +0000 (19:36 +0200)]
do not use shortcut to determine operation mode as the left side could be a Bad
Matthias Braun [Wed, 27 Apr 2011 16:26:45 +0000 (18:26 +0200)]
do extensive verification by default
Matthias Braun [Wed, 27 Apr 2011 16:27:06 +0000 (18:27 +0200)]
use lower_CopyB as a phase
Matthias Braun [Mon, 18 Apr 2011 10:31:17 +0000 (12:31 +0200)]
change NEWS file to use markdown syntax
Matthias Braun [Fri, 15 Apr 2011 14:13:46 +0000 (16:13 +0200)]
update Makefile
Matthias Braun [Fri, 15 Apr 2011 14:13:24 +0000 (16:13 +0200)]
update make_release.sh
Matthias Braun [Fri, 15 Apr 2011 14:13:13 +0000 (16:13 +0200)]
NEWS update
Matthias Braun [Fri, 8 Apr 2011 14:14:07 +0000 (16:14 +0200)]
fix target-triple handling
Julius Neuffer [Thu, 14 Apr 2011 11:48:33 +0000 (13:48 +0200)]
Added .i file extension. Changed behaviour for .ii file extension.
Christoph Mallon [Fri, 8 Apr 2011 10:50:05 +0000 (12:50 +0200)]
Inline function, which consists of a single call, into its only caller.
Christoph Mallon [Fri, 8 Apr 2011 10:49:23 +0000 (12:49 +0200)]
Remove stale stuff from Makefile.
Manuel Mohr [Fri, 8 Apr 2011 08:43:03 +0000 (10:43 +0200)]
fix xmalloc problems
Matthias Braun [Thu, 7 Apr 2011 09:32:30 +0000 (11:32 +0200)]
fix for last commit
Matthias Braun [Thu, 7 Apr 2011 09:22:46 +0000 (11:22 +0200)]
refactor machine/os initialisation part so it can be reused by other frontends
Matthias Braun [Tue, 5 Apr 2011 07:47:01 +0000 (09:47 +0200)]
avoid apple specific assembler invocation
Christoph Mallon [Thu, 31 Mar 2011 13:00:50 +0000 (15:00 +0200)]
Simplify/Clean up firm_option().
Christoph Mallon [Thu, 31 Mar 2011 11:24:13 +0000 (13:24 +0200)]
Activate fp-vrp at -O2.
Matthias Braun [Wed, 30 Mar 2011 14:54:37 +0000 (16:54 +0200)]
bring gcse back as own phase
Matthias Braun [Wed, 30 Mar 2011 12:12:12 +0000 (14:12 +0200)]
simplify more driver stuff and remove more unused options
Matthias Braun [Wed, 30 Mar 2011 11:58:23 +0000 (13:58 +0200)]
adapt to simplified opt_funccall interface
Matthias Braun [Wed, 23 Mar 2011 13:26:41 +0000 (14:26 +0100)]
adapt to TLS simplifications in firm
Matthias Braun [Wed, 30 Mar 2011 09:10:22 +0000 (11:10 +0200)]
remove a bunch of unimplemented/obsolete commandline switches
Andreas Zwinkau [Fri, 25 Mar 2011 14:03:31 +0000 (15:03 +0100)]
Remove gcse optimization
It does exactly the same as 'place',
so where 'gcse' was called by default,
the driver now calls 'place'.
Andreas Zwinkau [Thu, 17 Mar 2011 14:43:51 +0000 (15:43 +0100)]
Put parallelize-mem into safe-defaults
It was simply disabled before.
Matthias Braun [Wed, 16 Mar 2011 17:44:36 +0000 (18:44 +0100)]
redo big_endian bitfield packing in a simpler and more correct way