aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Issue #71: incorrect initialization of wchar_t arrays from wide string literalXavier Leroy2015-11-132-0/+29
* Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-044-0/+9
|\
| * Merge branch 'ppc64' of ssh://github.com/AbsInt/CompCert into ppc64Xavier Leroy2015-10-112-0/+4
| |\
| | * Test __builtin_isel.Xavier Leroy2015-09-132-0/+4
* | | Better handling of old-style K&R function declarations:Jacques-Henri Jourdan2015-11-012-3/+69
* | | other, simpler fix: the lexer emits 2 tokens for each identifierJacques-Henri Jourdan2015-10-081-0/+17
|/ /
* | Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-303-1/+106
* | Issue with ignoring the result of non-void builtin functions.Xavier Leroy2015-09-153-3/+12
* | Use standard headers instead of defining our own ptrdiff_t and uintptr_t.Xavier Leroy2015-09-141-2/+2
* | Fix uninitialized array in do_bench (report by V. Laporte).Xavier Leroy2015-09-141-1/+1
|/
* test/regression: test packedstruct1 only if unaligned accesses are supported.Xavier Leroy2015-08-215-6/+15
* Don't use strdup(), it is not ISO C99.Xavier Leroy2015-08-211-1/+2
* More tests for alias analysis.Xavier Leroy2015-07-202-6/+30
* Test to check that alias analysis is prudently conservative on ill-defined po...Xavier Leroy2015-07-193-1/+153
* Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2015-07-086-13/+52
|\
| * Turn off copy optimization when returning a composite by reference.Xavier Leroy2015-07-083-1/+40
| * Fix issue with bit fields of type _BoolXavier Leroy2015-07-083-12/+12
* | More portable test for fres and fsqrte.Xavier Leroy2015-07-083-7/+16
|/
* Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2015-06-303-0/+0
|\
| * Remove stray +x.Christoph Mallon2015-06-253-0/+0
* | Signedness issue in specification of subtraction between two pointers.Xavier Leroy2015-06-303-1/+13
|/
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-091-3/+3
* Bitfield improvements continued: perform bitfield expansion before unblocking...Xavier Leroy2015-04-281-1/+1
* Extended inline asm: handle missing cases.Xavier Leroy2015-04-282-0/+59
* Take asm clobbers into account for determining callee-save registers used.Xavier Leroy2015-04-231-3/+3
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-1/+1
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-211-0/+70
* Define M_PI if not already there (it's not in <math.h> for strict ISO C99).Xavier Leroy2015-04-171-0/+4
* Merge pull request #34 from AbsInt/extended-annotationsXavier Leroy2015-04-011-0/+36
|\
| * Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-271-0/+36
* | Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-202-2/+18
* | Improvements in the StructReturn transformation (ABI conformance for passing ...Xavier Leroy2015-03-202-275/+279
* | More interoperability tests.Xavier Leroy2015-01-282-9/+34
* | ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-273-1/+355
|/
* Merge branch 'named-structs'Xavier Leroy2015-01-232-5/+5
|\
| * Add a type system for CompCert C and type-checking constructor functions.Xavier Leroy2014-12-312-5/+5
* | Prototype the pointer so that the program has well defined semantics and pass...Xavier Leroy2014-12-171-1/+1
* | Wrong handling of block-local function declarations (in Elab.ml).Xavier Leroy2014-11-263-1/+24
|/
* Use gettimeofday() instead of obsolete ftime().Xavier Leroy2014-11-242-11/+19
* Add .gitignore files.Xavier Leroy2014-09-214-0/+18
* Rename __builtin_cntlz to __builtin_clz.xleroy2014-08-274-2/+6
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-213-1/+172
* checklink/Check.ml: missing SDA addressing for store instructions.xleroy2014-08-193-1/+151
* Add some tests for "switch" over 32 and 64-bit integers.xleroy2014-08-173-1/+109
* configure: distinguish between ABI and processor model.xleroy2014-07-292-2/+2
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-286-5/+60
* Merge of "newspilling" branch:xleroy2014-07-233-25/+48
* Empty declarationsjjourdan2014-05-232-1/+4
* Another corner case for string literal initializers: char * x[] = { "lit" }xleroy2014-05-182-0/+12
* Fixed regression on initializers of the form T x[N] = "literal";xleroy2014-05-082-0/+8
generated by cgit (git 2.34.1) at 2024-06-02 17:10:10 +0000