aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Resynchronize the LICENSE file and the license headers in individual files (#45)Xavier Leroy2018-01-051-0/+3
* Handle dcompcertc and dparsedc like all dump opts.Bernhard Schommer2018-01-042-0/+13
* Do not pass the env back from for stmt decls. (#42)Bernhard Schommer2017-12-121-7/+7
* Remove unused code. BUg 22642Bernhard Schommer2017-12-081-1/+0
* Store the different inlining cases.Bernhard Schommer2017-12-081-1/+1
* Check recursively for const for modifiable lvalues (#32)Bernhard Schommer2017-10-171-2/+15
* Remove coq warnings (#28)Bernhard Schommer2017-09-222-20/+20
* Issue P #25: make sure sizeof(long double) = sizeof(double) in all contexts.Xavier Leroy2017-08-221-10/+9
* Alphabet.v compiles even without the hints of BigNumPreludePierre Letouzey2017-06-061-1/+1
* Make redefinition of composite a fatal error.Bernhard Schommer2017-05-091-2/+1
* RISC-V port and assorted changesXavier Leroy2017-04-282-0/+7
* Added handling if s.sloc <> s1.slocBernhard Schommer2017-03-241-2/+6
* Emit line stmt after labels in general. Bug 21232Bernhard Schommer2017-03-241-10/+6
* Do not emit line info before case stmt.Bernhard Schommer2017-03-241-4/+9
* Added check for large arrays.Bernhard Schommer2017-02-213-0/+14
* Added gcc noinline attribute.Bernhard Schommer2017-02-191-0/+1
* Added unused attribute and simplified checks.Bernhard Schommer2017-02-171-43/+82
* Adopted unused variable and attribtue checkBernhard Schommer2017-02-173-31/+55
* Extended unused vars check for params.Bernhard Schommer2017-02-173-2/+9
* Added a simple check for unused variables.Bernhard Schommer2017-02-175-2/+88
* Checks can be applied add several places.Bernhard Schommer2017-02-173-8/+5
* 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
generated by cgit (git 2.34.1) at 2024-06-02 15:15:20 +0000