aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Simplified DebugInformation interface.Bernhard Schommer2017-02-063-83/+36
| | | | | Instead of exporting and setting all functions we just fill the struct already in DebugInformation with the correct functions.
* Cleanup opensBernhard Schommer2017-02-061-69/+62
|
* Removed shadowing open.Bernhard Schommer2017-02-061-11/+11
|
* Removed shadowing openBernhard Schommer2017-02-061-5/+5
|
* Remove shadowing openBernhard Schommer2017-02-061-1/+1
|
* Remove unused open.Bernhard Schommer2017-02-061-1/+0
|
* Cleanup opens.Bernhard Schommer2017-02-061-9/+8
| | | | | | The Printf is only needed for the identifier functions. Furthermore the new intconst from Cutil is used to generate the integer constant and shadowing of the open C is removed.
* Generalized function to allow adding hex strings.Bernhard Schommer2017-02-062-4/+8
| | | | | The intconst function comes with an optional parameter to add an hex string for later printing.
* Removed shadowing problems.Bernhard Schommer2017-02-061-9/+9
| | | | The clashing identifiers are now referenced explicitly.
* Inlined open of ASTBernhard Schommer2017-02-061-7/+6
|
* Inlined open of ErrorsBernhard Schommer2017-02-061-10/+9
|
* Datatypes no longer shadows fst and sndBernhard Schommer2017-02-061-1/+1
|
* Remove open Locations.Bernhard Schommer2017-02-061-6/+5
| | | | | Locations are only used in two functions and can be referenced there directly.
* Remove open Locations.Bernhard Schommer2017-02-061-6/+5
| | | | The Locations are only used in one function.
* Remove open AST.Bernhard Schommer2017-02-061-4/+3
| | | | The two types needed from AST are prefixed directly.
* Remove unused openBernhard Schommer2017-02-061-1/+0
|
* Remove unused openBernhard Schommer2017-02-061-1/+0
|
* Inline fst and snd from Datatypes.Bernhard Schommer2017-02-061-0/+4
| | | | | This avoids nameclashes with the Pervasives version of these functions.
* Removed the open AST.Bernhard Schommer2017-02-062-10/+8
| | | | | Only two types from AST are needed and the global shadowing open can be removed.
* Remove unused open.Bernhard Schommer2017-02-061-1/+0
|
* Inline open Datatypes.Bernhard Schommer2017-02-061-3/+2
|
* Remove overriding open in Interp.Bernhard Schommer2017-02-031-11/+11
|
* Remove all overriding opens in Elab.ml. Bug 19872Bernhard Schommer2017-02-031-2/+2
|
* Removed Cabshelper open and avoided shadowing.Bernhard Schommer2017-02-032-8/+7
| | | | | | | | The Cabshelper is only used in 4 places, so we don't need a global open. Furhtermore the String.t type is now inlined for Cabs to avoid shadowing problems in Elab.ml Bug 19872
* Remove unused opens.Bernhard Schommer2017-02-031-32/+28
| | | | | | Format was only used in one place without explicit module prefix. The same holds for Env. Bug 19872
* Removed no longer working check.Bernhard Schommer2017-02-031-14/+4
| | | | | | Since anonymous struct members are kept in the fieldlist, the fieldlist can never be empty in this case. Bug 19872
* Updated handcrafted.messages for __builtin_offsetofBernhard Schommer2017-02-011-753/+858
|
* Change the syntax to gcc/clangs syntax.Bernhard Schommer2017-02-013-4/+7
| | | | | | This only means that there must be one identifier at the begining and then a designator. Bug 20765
* Merge pull request #159 from AbsInt/builtin_offsetofXavier Leroy2017-02-018-3/+73
|\ | | | | Implement offsetof via builtin
| * Avoid overflows and report an error.Bernhard Schommer2017-01-312-7/+10
| | | | | | | | | | | | | | Instead of multiplying the array constant directly with the size of the offset the cautious_mul function is used to detect potential overflows. Bug 20765
| * Normalize offset to size_t kind.Bernhard Schommer2017-01-311-2/+4
| |
| * Remove superfluous check.Bernhard Schommer2017-01-311-7/+4
| | | | | | | | | | | | Gcc and clang do not raise an error for this, also it should work for the last array element which can be without size. Bug 20765
| * Improve indentation.Bernhard Schommer2017-01-311-1/+1
| |
| * Remove blank lines.Bernhard Schommer2017-01-311-2/+0
| |
| * New version to support designators.Bernhard Schommer2017-01-248-22/+46
| | | | | | | | | | | | | | | | | | The c standard allows member designators for offsetof. The current implementation works by recursively combining the offset of each of the member designators. For array access the size of the subtypes is multiplied by the index and for members the offset of the member is calculated. Bug 20765
| * Simplified version.Bernhard Schommer2017-01-202-43/+26
| | | | | | | | | | | | | | | | The problem was that sub structs are were not correctly aligned. The new version is much simpler and uses the sizeof_struct to calculate the individual offsets and add them up to get correct offest. Bug 20765
| * Also support union. Bug 20765Bernhard Schommer2017-01-201-3/+4
| |
| * Implement offsetof via builtin.Bernhard Schommer2017-01-208-3/+65
| | | | | | | | | | | | | | | | | | | | | | | | The implementation of offsetof as macro in the form ((size_t) &((ty*) NULL)->member) has the problem that it cannot be used everywhere were an integer constant expression is allowed, for example in initiliazers of global variables and there is also no check for the case that member is of bitifield type. The new implementation adds a builtin function for this which is replaced by an integer constant during elaboration. Bug 20765
* | Add LINK_OPT and document it.Bernhard Schommer2017-02-011-2/+15
| | | | | | | | | | | | | | The new Makefile variable LINK_OPT can be used to specify additional linker flags for different operating systems, like linking with setargv.obj under windows. Bug 20871
* | Typo in type of elab_char_constantXavier Leroy2017-01-311-1/+1
| | | | | | | | Follow-up to commit 1df1830
* | Update Changes for release 3.0Xavier Leroy2017-01-311-2/+39
| |
* | Export elab_{int,float,char}_constantXavier Leroy2017-01-311-0/+9
| | | | | | | | Those three functions can be useful to implement front-ends for languages other than C.
* | Added support for different diagnostic formats.Bernhard Schommer2017-01-301-2/+25
| | | | | | | | | | | | | | | | | | The new option -fdiagnostics-format allows it to switch between the three different format version: -ccomp (default) with file:line: -vi with file+line: -msvc with file(line): Bug 19872
* | Switch case for error option. Bug 19872Bernhard Schommer2017-01-301-2/+2
| |
* | Fixed indention of help.Bernhard Schommer2017-01-271-3/+3
| |
* | Added -f(no-)diagnostics-show-option.Bernhard Schommer2017-01-271-6/+20
| | | | | | | | | | | | Controls whether the [-Woption] is printed in the diagnostic message for mappable warnings/errors. Bug 19872
* | Added option -fmax-errors.Bernhard Schommer2017-01-263-3/+36
| | | | | | | | | | | | | | The option -fmax-errors limits the number of errors that are reported before the compilation is aborted. The default 0 means no limit. Bug 19872
* | mention share directory for -target optionMichael Schmidt2017-01-261-0/+1
| |
* | describe -conf and -targetMichael Schmidt2017-01-261-0/+11
| |
* | describe environment variable for configuration fileMichael Schmidt2017-01-261-2/+10
| |
generated by cgit (git 2.34.1) at 2024-07-03 08:31:54 +0000