aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Diagnostics.ml
Commit message (Expand)AuthorAgeFilesLines
* [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-4/+5
* Introduce additional "branch" build information.Bernhard Schommer2020-07-081-5/+5
* Added back unused_ais_parameter warning.Bernhard Schommer2019-11-261-0/+1
* Simplified diagnostics module.Bernhard Schommer2019-11-251-118/+41
* Added new diagnostic for non-linear conditionalsBernhard Schommer2019-07-041-0/+8
* Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-1/+1
* Change to AbsInt version string.Bernhard Schommer2019-05-101-1/+1
* Ensure flushing of the error formatter.Bernhard Schommer2019-05-101-0/+4
* New diagnostic for reduced alignment (#117)Bernhard Schommer2018-08-291-0/+5
* Added warning for incomplete tentative static defs (#114)Bernhard Schommer2018-08-201-0/+5
* Additional checks for flex arrays in structs (#93)Bernhard Schommer2018-08-201-0/+5
* Warn for defs and uses of static variables in nonstatic inline functionsXavier Leroy2018-06-041-0/+6
* Turn off the warning "C11 extension" by defaultXavier Leroy2018-06-041-1/+0
* Warning for extern declaration after definition.Bernhard Schommer2018-05-261-0/+6
* Added a diagnostic for attributes dec after defBernhard Schommer2018-05-071-0/+6
* Improve error messages.Bernhard Schommer2018-03-071-0/+5
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-1/+7
* Added error summary in case of fatal error.Bernhard Schommer2018-02-091-0/+10
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-081-0/+437