aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/C2C.ml
Commit message (Expand)AuthorAgeFilesLines
...
* Do not generate code for "inline definitions"Bernhard Schommer2017-04-071-8/+15
* Added gcc noinline attribute.Bernhard Schommer2017-02-191-0/+1
* Added unused attribute and simplified checks.Bernhard Schommer2017-02-171-1/+2
* More tweaking of module 'open'Xavier Leroy2017-02-091-8/+10
* Merge branch 'elaboration-of-attributes'Xavier Leroy2017-02-061-1/+15
|\
| * Preliminary support for the "noreturn" attributeXavier Leroy2017-02-061-1/+2
| * Refactor the classification of attributesXavier Leroy2017-02-031-0/+13
| * Revised elaboration of attributesXavier Leroy2017-01-311-1/+1
* | Cleanup opensBernhard Schommer2017-02-061-69/+62
|/
* Simplified C2C.error.Bernhard Schommer2017-01-181-16/+14
* C2C: revise typing and translation of __builtin_memcpy_alignedXavier Leroy2016-11-171-12/+16
* C2C: wrong translation of 'switch' over arguments of type 'long' if 'long' is...Xavier Leroy2016-11-171-4/+5
* fix va_arg for pointer types on 64bit targetMichael Schmidt2016-11-081-1/+7
* extend constant check for builtin_memcpy_aligned (bug 20320)Michael Schmidt2016-11-071-2/+2
* extend constant check for builtin_memcpy_aligned (bug 20320)Michael Schmidt2016-11-071-0/+2
* Merge pull request #145 from AbsInt/64Xavier Leroy2016-10-271-32/+38
|\
| * Turn 64-bit integer division and modulus by constants into multiply-highXavier Leroy2016-10-041-0/+8
| * Support for 64-bit architectures: generic supportXavier Leroy2016-10-011-32/+30
* | implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)Michael Schmidt2016-10-191-4/+4
* | implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)Michael Schmidt2016-10-191-3/+6
|/
* Improved error messages for wrong vararg calls.Bernhard Schommer2016-09-231-2/+7
* Catch case of zero in builtin debug.Bernhard Schommer2016-09-221-2/+2
* Readded warning about ignored volatile. Bug 18004Bernhard Schommer2016-08-311-1/+1
* Added missing literal. Bug 18004Bernhard Schommer2016-08-311-1/+1
* Fixed typos.Bernhard Schommer2016-08-311-8/+8
* bug 18004, fix some typos/grammarMichael Schmidt2016-08-301-1/+1
* Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-1/+1
|\
| * Simplify test. Bug 19629Bernhard Schommer2016-08-251-4/+1
| * Test for illegal first argument in __builtin_debug.Bernhard Schommer2016-08-251-2/+6
* | Classified all warnings and added various options.Bernhard Schommer2016-07-291-33/+32
|/
* Remove code that will is deprecated in ocaml 4.03Bernhard Schommer2016-06-211-1/+1
* Merge branch 'master' into cleanupBernhard Schommer2016-03-211-2/+4
|\
| * Add support for EF_runtime externalsXavier Leroy2016-03-061-0/+2
* | Removed not needed env.Bernhard Schommer2016-03-151-5/+5
* | Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-27/+27
* | Revert "Removed unused parameter from is_small/rel_data."Bernhard Schommer2016-03-151-3/+3
* | Removed unused parameter from is_small/rel_data.Bernhard Schommer2016-03-111-3/+3
* | Code cleanup.Bernhard Schommer2016-03-101-73/+71
|/
* Revise and simplify the -fstruct-return and -fstruct-passing options.Xavier Leroy2015-12-081-11/+18
* Handle large static initializers for global arraysXavier Leroy2015-11-091-5/+5
* Fix for switch was to eager.Bernhard Schommer2015-11-061-6/+8
* Remove debug stmts during grouping of switch.Bernhard Schommer2015-11-061-3/+5
* Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-201-2/+2
|\
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-38/+38
| * Unified function for adding the atom identifier.Bernhard Schommer2015-10-121-2/+2
* | Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-38/+38
* | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-6/+7
|/
* Fixed minor issue with parameters that get put on the stack, madeBernhard Schommer2015-09-301-4/+6
* Added location for the formal parameters and move the end of allBernhard Schommer2015-09-281-0/+1
* Merge branch 'debugscopes' into debug_locationsBernhard Schommer2015-09-211-38/+36
|\
generated by cgit (git 2.34.1) at 2024-06-17 05:21:30 +0000