aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Also check the locals. Bug 19872.Bernhard Schommer2017-02-171-3/+7
* Added new module for checks on elaborated C codeBernhard Schommer2017-02-173-2/+114
* Do not optimize away the 'return 0' at end of 'main'Xavier Leroy2017-02-171-7/+5
* Control-flow analysis: bug in switch without defaultXavier Leroy2017-02-171-1/+30
* Added _exit.Bernhard Schommer2017-02-171-1/+1
* Add longjmp. Bug 21009Bernhard Schommer2017-02-171-1/+1
* Added handling for noreturn std functions.Bernhard Schommer2017-02-163-3/+14
* Reverted changes in Cutil and catch in Cflow.Bernhard Schommer2017-02-162-17/+5
* 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-155-32/+290
|\
| * Cflow: analysis of "switch" was too impreciseXavier Leroy2017-02-071-2/+3
| * Revised, more precise implementation of control-flow analysisXavier Leroy2017-02-071-48/+98
| * Control-flow analysis: wrong flow for "case"/"default" statementsXavier Leroy2017-02-071-4/+6
| * More precise warnings about function returnsXavier Leroy2017-02-075-32/+237
* | Replace "Implicit Arguments" with "Arguments"Xavier Leroy2017-02-132-5/+5
* | Use Printf.sprintf instead of Format.sprintf when possibleXavier Leroy2017-02-091-4/+4
* | Revert broken change to Cutil.Bernhard Schommer2017-02-083-10/+10
|/
* Merge branch 'elaboration-of-attributes'Xavier Leroy2017-02-066-42/+129
|\
| * Preliminary support for the "noreturn" attributeXavier Leroy2017-02-061-11/+15
| * Refactor the classification of attributesXavier Leroy2017-02-035-23/+87
| * Use C99 syntax to print attributes over array typesXavier Leroy2017-02-011-4/+5
| * Regression: type attributes and array modifiersXavier Leroy2017-02-011-2/+4
| * Revised elaboration of attributesXavier Leroy2017-01-314-17/+34
* | Removed shadowing openBernhard Schommer2017-02-061-5/+5
* | Remove shadowing openBernhard Schommer2017-02-061-1/+1
* | Remove unused open.Bernhard Schommer2017-02-061-1/+0
* | Cleanup opens.Bernhard Schommer2017-02-061-9/+8
* | Generalized function to allow adding hex strings.Bernhard Schommer2017-02-062-4/+8
* | Remove all overriding opens in Elab.ml. Bug 19872Bernhard Schommer2017-02-031-2/+2
* | Removed Cabshelper open and avoided shadowing.Bernhard Schommer2017-02-031-7/+6
* | Remove unused opens.Bernhard Schommer2017-02-031-32/+28
* | Removed no longer working check.Bernhard Schommer2017-02-031-14/+4
* | Updated handcrafted.messages for __builtin_offsetofBernhard Schommer2017-02-011-753/+858
* | Change the syntax to gcc/clangs syntax.Bernhard Schommer2017-02-012-3/+6
* | Merge pull request #159 from AbsInt/builtin_offsetofXavier Leroy2017-02-017-2/+72
|\ \ | |/ |/|
| * Avoid overflows and report an error.Bernhard Schommer2017-01-312-7/+10
| * Normalize offset to size_t kind.Bernhard Schommer2017-01-311-2/+4
| * Remove superfluous check.Bernhard Schommer2017-01-311-7/+4
| * Improve indentation.Bernhard Schommer2017-01-311-1/+1
| * Remove blank lines.Bernhard Schommer2017-01-311-2/+0
| * New version to support designators.Bernhard Schommer2017-01-247-21/+45
| * Simplified version.Bernhard Schommer2017-01-202-43/+26
| * Also support union. Bug 20765Bernhard Schommer2017-01-201-3/+4
| * Implement offsetof via builtin.Bernhard Schommer2017-01-207-2/+64
* | Typo in type of elab_char_constantXavier Leroy2017-01-311-1/+1
* | Export elab_{int,float,char}_constantXavier Leroy2017-01-311-0/+9
* | Added support for different diagnostic formats.Bernhard Schommer2017-01-301-2/+25
* | Switch case for error option. Bug 19872Bernhard Schommer2017-01-301-2/+2
* | Added -f(no-)diagnostics-show-option.Bernhard Schommer2017-01-271-6/+20
* | Added option -fmax-errors.Bernhard Schommer2017-01-261-3/+14
generated by cgit (git 2.34.1) at 2024-06-29 11:18:05 +0000