aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/C2C.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * Experiment: track the scopes of local variables via __builtin_debug.Xavier Leroy2015-09-201-38/+36
* | Started implementing the scope for the Debug Informations.Bernhard Schommer2015-09-181-0/+1
* | First version with computation of dwarf info from debug info.Bernhard Schommer2015-09-171-1/+1
* | Move more functionality in the new interface.Bernhard Schommer2015-09-161-4/+7
* | XBernhard Schommer2015-09-061-1/+1
|\|
| * Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-221-1/+1
* | Added symbol functions for printing of the location for global variables.Bernhard Schommer2015-08-211-2/+8
|/
* Tighten and prove correct the underflow/overflow bounds for parsing of FP lit...Xavier Leroy2015-07-061-41/+29
* Added a fast test for too large exponents too avoid never ending computations.Bernhard Schommer2015-07-031-29/+42
* Check also the discarded part of the switch statements for cases outside of a...Bernhard Schommer2015-06-261-1/+26
generated by cgit (git 2.34.1) at 2024-06-29 01:36:52 +0000