aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'absint/master' into towards_3.10David Monniaux2021-12-011-39/+52
|\
| * Revised checks for multi-character constants 'xyz'Xavier Leroy2021-11-161-24/+19
| * Resurrect a warning for bit fields of enum typesXavier Leroy2021-11-121-15/+33
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-282-17/+31
|\|
| * Ignore unnamed bit fields for initialization of unionsBernhard Schommer2021-09-282-7/+16
| * Ignore unnamed plain members of structs and unionsXavier Leroy2021-09-281-10/+15
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-245-654/+46
|\|
| * Merge branch 'bitfields' (#400)Xavier Leroy2021-08-225-654/+46
| |\
| | * Native support for bit fields (#400)Xavier Leroy2021-08-225-654/+46
* | | CI test activate non-trap on kvx-cosLéo Gourdin2021-07-281-1/+1
* | | Add target ELFCyril SIX2021-06-012-0/+3
* | | Merge remote-tracking branch 'absint/master' into kvx-workCyril SIX2021-06-011-1/+1
|\| |
| * | Support `# 0 ...` preprocessed line directiveXavier Leroy2021-06-011-1/+1
| |/
| * Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-0848-192/+240
| * Fix evaluation order in emulation of bitfield assignmentXavier Leroy2021-05-021-2/+2
| * Support __builtin_unreachableXavier Leroy2021-05-021-1/+5
| * Fix spurious error on initialization of struct with flexible array memberXavier Leroy2021-05-021-0/+3
| * Elab bitfields: check size of type <=32bit rather than checking rank (#387)Amos Robinson2021-04-191-1/+1
| * Refactor cparser/Parse.mlXavier Leroy2021-04-191-31/+29
| * Ensure compatibility with future versions of MenhirLibXavier Leroy2021-04-191-6/+7
* | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-012-3/+12
|\ \
| * | Adding distinction between kvx-cos and kvx-mbr (for trapping loads)Cyril SIX2021-04-132-3/+12
* | | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-0148-226/+280
* | | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-234-5/+13
|\ \ \ | |/ / |/| / | |/
| * "macosx" is now called "macos"Xavier Leroy2021-01-182-3/+3
| * Change warning for pragmas inside functionsXavier Leroy2021-01-161-1/+1
| * Ignore and warn about pragmas inside functionsXavier Leroy2021-01-071-1/+4
| * AArch64: macOS portXavier Leroy2020-12-262-0/+4
| * C parser: handle other built-in types than __builtin_va_listXavier Leroy2020-12-261-1/+2
* | Turning loads into non-trapping when necessaryCyril SIX2020-12-152-1/+9
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-1817-1119/+1319
|\|
| * Check ptr arithmetic for ++ and --Bernhard Schommer2020-09-201-10/+16
| * Add new static-assert token for deLexer utility; bug 29273Michael Schmidt2020-08-041-0/+1
| * Add comments we missed to sync to GitHubChristoph Cullmann2020-07-301-0/+2
| * Allow string_literals_list in _Static_assert.Bernhard Schommer2020-07-272-24/+25
| * More checks for __builtin_va_start (#250)Bernhard Schommer2020-07-211-6/+10
| * cparser/handcrafted.messages: missing blank lineXavier Leroy2020-07-211-0/+1
| * Updated handcrafted.messages.Bernhard Schommer2020-07-211-0/+108
| * Support _Static_assert from C11Xavier Leroy2020-07-217-1060/+1116
| * Support __builtin_constant_p as in GCC and Clang (#367)Xavier Leroy2020-07-211-0/+10
| * Use the correct location for Slabaled in transform.Bernhard Schommer2020-07-211-2/+2
| * Added error for redefined builtin.Bernhard Schommer2020-07-203-0/+6
| * Introduce additional "branch" build information.Bernhard Schommer2020-07-081-5/+5
| * Move shared code in new file.Bernhard Schommer2020-06-281-1/+1
| * Use library function.Bernhard Schommer2020-06-281-4/+1
| * Use Hashtbl.find_opt.Bernhard Schommer2020-06-281-2/+1
| * Check for errors after each pass.Bernhard Schommer2020-04-201-1/+8
| * Added warning for packed composite with bitfields.Bernhard Schommer2020-04-201-0/+2
| * Add location to transform functions.Bernhard Schommer2020-04-204-28/+28
* | k1c -> kvx changesDavid Monniaux2020-05-262-3/+3
generated by cgit (git 2.34.1) at 2024-04-27 06:18:43 +0000