aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cutil.ml
Commit message (Expand)AuthorAgeFilesLines
* Ignore unnamed bit fields for initialization of unionsBernhard Schommer2021-09-281-4/+9
* Native support for bit fields (#400)Xavier Leroy2021-08-221-52/+42
* Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-081-4/+5
* Various improvements for diagnostics.Bernhard Schommer2019-09-301-0/+6
* Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-081-1/+1
* Added helper function for array types.Bernhard Schommer2019-07-041-0/+5
* Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-1/+1
* Reject object-related and struct-related attributes on typedefsXavier Leroy2019-02-251-0/+9
* Distinguish object-related and name-related attributesXavier Leroy2019-02-251-2/+5
* Do not expand type names when floating attributes "up" a declarationXavier Leroy2019-02-251-1/+21
* Attach _Alignas to names and refactor _Alignas checks (#133)Bernhard Schommer2018-09-101-3/+4
* Add check for _Alignas attribute.Bernhard Schommer2018-08-241-0/+4
* Reimplement attr_array_applicable in terms of class_of_attributeXavier Leroy2018-08-241-3/+2
* Preserve attribute(("aligned")) in the AST, don't map it to _AlignasXavier Leroy2018-08-241-0/+2
* Diagnostic for wrong application of restrict (#119)Bernhard Schommer2018-08-211-0/+5
* Improve support and diagnostic for type qualified arrays (#118)Bernhard Schommer2018-08-201-1/+10
* Additional checks for flex arrays in structs (#93)Bernhard Schommer2018-08-201-0/+11
* Issue with packed structs and sizeof, alignof, offsetof in cparser/Xavier Leroy2018-08-171-48/+83
* String literals are l-values and have array types (#116)Bernhard Schommer2018-05-271-2/+8
* Harden attributes_of_types against out-of-scope structs/unions/enumsXavier Leroy2018-05-071-3/+12
* Reject casts to struct/union types (#68)Bernhard Schommer2018-03-291-3/+0
* Sizeof and _Alignof are not allowed on bit-fields (#67)Bernhard Schommer2018-03-271-0/+10
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-0/+10
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-081-1/+1
* Check recursively for const for modifiable lvalues (#32)Bernhard Schommer2017-10-171-2/+15
* Added check for large arrays.Bernhard Schommer2017-02-211-0/+11
* Added handling for noreturn std functions.Bernhard Schommer2017-02-161-0/+4
* Reverted changes in Cutil and catch in Cflow.Bernhard Schommer2017-02-161-17/+4
* Fixed problem with local structs/unions in Cflow.Bernhard Schommer2017-02-161-4/+17
* Merge pull request #162 from AbsInt/return-analysis-2Xavier Leroy2017-02-151-21/+0
|\
| * More precise warnings about function returnsXavier Leroy2017-02-071-21/+0
* | Revert broken change to Cutil.Bernhard Schommer2017-02-081-6/+2
|/
* Merge branch 'elaboration-of-attributes'Xavier Leroy2017-02-061-6/+32
|\
| * Refactor the classification of attributesXavier Leroy2017-02-031-12/+32
| * Revised elaboration of attributesXavier Leroy2017-01-311-0/+6
* | Generalized function to allow adding hex strings.Bernhard Schommer2017-02-061-2/+6
* | Improve indentation.Bernhard Schommer2017-01-311-1/+1
* | New version to support designators.Bernhard Schommer2017-01-241-8/+5
* | Simplified version.Bernhard Schommer2017-01-201-33/+18
* | Implement offsetof via builtin.Bernhard Schommer2017-01-201-0/+37
|/
* Next try for support of anonymous structs.Bernhard Schommer2016-12-071-4/+5
* Warning for decls without name in composites.Bernhard Schommer2016-11-221-0/+5
* Simplified int to pointer tests.Bernhard Schommer2016-09-011-1/+2
* Updated comment string. Bug 18004.Bernhard Schommer2016-08-311-1/+1
* Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-2/+3
|\
| * Fix for initialization of incomplete typesBernhard Schommer2016-08-231-2/+3
* | Classified all warnings and added various options.Bernhard Schommer2016-07-291-5/+13
|/
* Added the _Noreturn keyword.Bernhard Schommer2016-03-231-0/+21
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-28/+28
* Code cleanup.Bernhard Schommer2016-03-101-32/+31
generated by cgit (git 2.34.1) at 2024-05-08 13:11:50 +0000