aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cutil.mli
Commit message (Expand)AuthorAgeFilesLines
* [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-4/+5
* Various improvements for diagnostics.Bernhard Schommer2019-09-301-0/+2
* Added new diagnostic for non-linear conditionalsBernhard Schommer2019-07-041-1/+1
* Added helper function for array types.Bernhard Schommer2019-07-041-0/+2
* Reject object-related and struct-related attributes on typedefsXavier Leroy2019-02-251-0/+2
* Distinguish object-related and name-related attributesXavier Leroy2019-02-251-1/+4
* Do not expand type names when floating attributes "up" a declarationXavier Leroy2019-02-251-0/+2
* Attach _Alignas to names and refactor _Alignas checks (#133)Bernhard Schommer2018-09-101-2/+2
* Edit documentation comments for [alignas_attribute] and [has_std_alignas]Xavier Leroy2018-08-241-2/+3
* Add check for _Alignas attribute.Bernhard Schommer2018-08-241-0/+2
* Diagnostic for wrong application of restrict (#119)Bernhard Schommer2018-08-211-3/+5
* Improve support and diagnostic for type qualified arrays (#118)Bernhard Schommer2018-08-201-0/+2
* Additional checks for flex arrays in structs (#93)Bernhard Schommer2018-08-201-0/+2
* Issue with packed structs and sizeof, alignof, offsetof in cparser/Xavier Leroy2018-08-171-1/+6
* Sizeof and _Alignof are not allowed on bit-fields (#67)Bernhard Schommer2018-03-271-0/+2
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-0/+4
* Added check for large arrays.Bernhard Schommer2017-02-211-0/+2
* Added handling for noreturn std functions.Bernhard Schommer2017-02-161-0/+2
* Merge pull request #162 from AbsInt/return-analysis-2Xavier Leroy2017-02-151-5/+0
|\
| * More precise warnings about function returnsXavier Leroy2017-02-071-5/+0
* | Revert broken change to Cutil.Bernhard Schommer2017-02-081-2/+2
|/
* Merge branch 'elaboration-of-attributes'Xavier Leroy2017-02-061-2/+19
|\
| * Refactor the classification of attributesXavier Leroy2017-02-031-4/+19
| * Revised elaboration of attributesXavier Leroy2017-01-311-0/+2
* | Generalized function to allow adding hex strings.Bernhard Schommer2017-02-061-2/+2
* | Avoid overflows and report an error.Bernhard Schommer2017-01-311-0/+3
* | New version to support designators.Bernhard Schommer2017-01-241-1/+1
* | Implement offsetof via builtin.Bernhard Schommer2017-01-201-0/+3
|/
* Warning for decls without name in composites.Bernhard Schommer2016-11-221-0/+2
* Updated comment string. Bug 18004.Bernhard Schommer2016-08-311-2/+2
* Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-0/+2
|\
| * Fix for initialization of incomplete typesBernhard Schommer2016-08-231-0/+2
* | Classified all warnings and added various options.Bernhard Schommer2016-07-291-0/+3
|/
* Added the _Noreturn keyword.Bernhard Schommer2016-03-231-0/+5
* Code cleanup.Bernhard Schommer2016-03-101-3/+1
* Remove debug stmts during grouping of switch.Bernhard Schommer2015-11-061-0/+2
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-2/+2
* Move strip functions to Cutil.Bernhard Schommer2015-10-121-0/+4
* Allow redefinition of a typedef with the same name.Bernhard Schommer2015-10-041-0/+2
* Move more functionality in the new interface.Bernhard Schommer2015-09-161-0/+2
* Detect and reject "&" operator applied to "register" local variable or to a b...Xavier Leroy2015-04-281-0/+4
* Merge branch 'master' into dwarfBernhard Schommer2015-03-311-0/+9
|\
| * ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-271-0/+9
* | Added translation fucntion for declarations and fundefinitions.Bernhard Schommer2015-03-231-0/+2
|/
* Merge branch 'named-structs'Xavier Leroy2015-01-231-2/+4
|\
| * Add a type system for CompCert C and type-checking constructor functions.Xavier Leroy2014-12-311-2/+4
* | Delay reads from !Machine.config before it is properly initialized.Xavier Leroy2015-01-221-6/+6
* | Revised type compatibility check w.r.t. handling of attributes.Xavier Leroy2015-01-011-4/+20
* | PR#6: fix handling of wchar_t and assignments from wide string literals.Xavier Leroy2014-12-301-1/+1
|/
* Clean-up pass on C types:xleroy2014-04-231-0/+2
generated by cgit (git 2.34.1) at 2024-05-08 19:39:49 +0000