aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cutil.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fixed typo in equal types.Bernhard Schommer2016-03-101-1/+1
* Make void always incomplete and exit on void members.Bernhard Schommer2016-02-021-1/+6
* Allow adding of attributes in valid_assignment_attr.Bernhard Schommer2016-01-281-2/+2
* Enum is compatible to its integer type.Bernhard Schommer2015-12-171-0/+3
* Remove debug stmts during grouping of switch.Bernhard Schommer2015-11-061-4/+12
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-19/+19
* Move strip functions to Cutil.Bernhard Schommer2015-10-121-0/+42
* Allow redefinition of a typedef with the same name.Bernhard Schommer2015-10-041-0/+36
* Move more functionality in the new interface.Bernhard Schommer2015-09-161-1/+20
* Diab defines w_char to be unsigned short.Bernhard Schommer2015-07-071-1/+2
* Detect and reject "&" operator applied to "register" local variable or to a b...Xavier Leroy2015-04-281-0/+13
* Extended inline asm: handle missing cases.Xavier Leroy2015-04-281-2/+8
* "ecomma" smart constructor: reassociate to the left so that it prints more ni...Xavier Leroy2015-03-201-2/+8
* ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-271-0/+70
* Delay reads from !Machine.config before it is properly initialized.Xavier Leroy2015-01-221-20/+12
* Revised type compatibility check w.r.t. handling of attributes.Xavier Leroy2015-01-011-35/+61
* PR#6: fix handling of wchar_t and assignments from wide string literals.Xavier Leroy2014-12-301-3/+15
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-211-0/+1
generated by cgit (git 2.34.1) at 2024-06-29 02:18:24 +0000