aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* 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
* | 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
generated by cgit (git 2.34.1) at 2024-06-02 20:34:21 +0000