aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
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-281-13/+22
|\|
| * Ignore unnamed bit fields for initialization of unionsBernhard Schommer2021-09-281-3/+7
| * Ignore unnamed plain members of structs and unionsXavier Leroy2021-09-281-10/+15
| * Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-081-4/+5
| * Elab bitfields: check size of type <=32bit rather than checking rank (#387)Amos Robinson2021-04-191-1/+1
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-5/+6
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-1/+4
|\|
| * Change warning for pragmas inside functionsXavier Leroy2021-01-161-1/+1
| * Ignore and warn about pragmas inside functionsXavier Leroy2021-01-071-1/+4
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-21/+70
|\|
| * Check ptr arithmetic for ++ and --Bernhard Schommer2020-09-201-10/+16
| * Add comments we missed to sync to GitHubChristoph Cullmann2020-07-301-0/+2
| * More checks for __builtin_va_start (#250)Bernhard Schommer2020-07-211-6/+10
| * Support _Static_assert from C11Xavier Leroy2020-07-211-1/+29
| * Support __builtin_constant_p as in GCC and Clang (#367)Xavier Leroy2020-07-211-0/+10
| * Added error for redefined builtin.Bernhard Schommer2020-07-201-0/+2
| * Use library function.Bernhard Schommer2020-06-281-4/+1
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-threadDavid Monniaux2020-04-081-3/+4
|\|
| * Include typedef name in error message (#228)Bernhard Schommer2020-03-041-2/+2
| * The type of a wide char constant is wchar_t. (#223)Bernhard Schommer2020-02-241-1/+2
* | Merge branch 'mppa-work' into mppa-threadCyril SIX2020-02-251-1/+1
|\|
| * Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"Xavier Leroy2020-02-211-1/+1
* | it now works, no more ugly hack to access thread local dataDavid Monniaux2020-02-241-1/+1
* | seems to process _Thread_local but not till backendDavid Monniaux2020-02-241-0/+1
* | actually process the modifiersDavid Monniaux2020-02-241-2/+12
* | begin implementing thread_local storageDavid Monniaux2020-02-241-2/+19
* | parse _Thread_localDavid Monniaux2020-02-241-0/+2
|/
* Added error for unknown builtin functions. (#208)Bernhard Schommer2019-12-211-1/+6
* Remove duplicated ticks.Bernhard Schommer2019-10-011-2/+2
* Various improvements for diagnostics.Bernhard Schommer2019-09-301-10/+26
* Functions that are extern should stay extern (#201)Bernhard Schommer2019-09-251-1/+1
* Make __builtin_sel available from C source codeXavier Leroy2019-07-171-0/+36
* Remove the cparser/Builtins moduleXavier Leroy2019-07-171-1/+1
* New parser based on new version of the Coq backend of Menhir (#276)Jacques-Henri Jourdan2019-07-051-2/+2
* Added new diagnostic for non-linear conditionalsBernhard Schommer2019-07-041-0/+1
* New additional check for void parameters. (#174)Bernhard Schommer2019-06-031-3/+5
* Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-1/+1
* Add a check for the args of unprototyped calls.Bernhard Schommer2019-05-201-3/+8
* Reworked elaboration of declarations/definitions.Bernhard Schommer2019-05-101-140/+138
* Fix various scoping issues (#163)Bernhard Schommer2019-05-101-51/+56
* Improve overflow check for integer literals (#157)Michael Schmidt2019-03-201-2/+4
* Revised attachment of name attributes to structs, unions, enumsXavier Leroy2019-02-251-6/+21
* Reject object-related and struct-related attributes on typedefsXavier Leroy2019-02-251-0/+7
* Distinguish object-related and name-related attributesXavier Leroy2019-02-251-8/+12
* Do not expand type names when floating attributes "up" a declarationXavier Leroy2019-02-251-1/+1
* Catch exception from elab_attr_arg.Bernhard Schommer2018-10-181-1/+4
* Improved diagnostics: spelling, wording, etc (#138)Michael Schmidt2018-09-141-4/+4
generated by cgit (git 2.34.1) at 2024-05-09 02:15:59 +0000