Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Fixed problem with local structs/unions in Cflow. | Bernhard Schommer | 2017-02-16 | 1 | -4/+17 | |
* | Merge pull request #162 from AbsInt/return-analysis-2 | Xavier Leroy | 2017-02-15 | 5 | -32/+290 | |
|\ | ||||||
| * | Cflow: analysis of "switch" was too imprecise | Xavier Leroy | 2017-02-07 | 1 | -2/+3 | |
| * | Revised, more precise implementation of control-flow analysis | Xavier Leroy | 2017-02-07 | 1 | -48/+98 | |
| * | Control-flow analysis: wrong flow for "case"/"default" statements | Xavier Leroy | 2017-02-07 | 1 | -4/+6 | |
| * | More precise warnings about function returns | Xavier Leroy | 2017-02-07 | 5 | -32/+237 | |
* | | Replace "Implicit Arguments" with "Arguments" | Xavier Leroy | 2017-02-13 | 2 | -5/+5 | |
* | | Use Printf.sprintf instead of Format.sprintf when possible | Xavier Leroy | 2017-02-09 | 1 | -4/+4 | |
* | | Revert broken change to Cutil. | Bernhard Schommer | 2017-02-08 | 3 | -10/+10 | |
|/ | ||||||
* | Merge branch 'elaboration-of-attributes' | Xavier Leroy | 2017-02-06 | 6 | -42/+129 | |
|\ | ||||||
| * | Preliminary support for the "noreturn" attribute | Xavier Leroy | 2017-02-06 | 1 | -11/+15 | |
| * | Refactor the classification of attributes | Xavier Leroy | 2017-02-03 | 5 | -23/+87 | |
| * | Use C99 syntax to print attributes over array types | Xavier Leroy | 2017-02-01 | 1 | -4/+5 | |
| * | Regression: type attributes and array modifiers | Xavier Leroy | 2017-02-01 | 1 | -2/+4 | |
| * | Revised elaboration of attributes | Xavier Leroy | 2017-01-31 | 4 | -17/+34 | |
* | | Removed shadowing open | Bernhard Schommer | 2017-02-06 | 1 | -5/+5 | |
* | | Remove shadowing open | Bernhard Schommer | 2017-02-06 | 1 | -1/+1 | |
* | | Remove unused open. | Bernhard Schommer | 2017-02-06 | 1 | -1/+0 | |
* | | Cleanup opens. | Bernhard Schommer | 2017-02-06 | 1 | -9/+8 | |
* | | Generalized function to allow adding hex strings. | Bernhard Schommer | 2017-02-06 | 2 | -4/+8 | |
* | | Remove all overriding opens in Elab.ml. Bug 19872 | Bernhard Schommer | 2017-02-03 | 1 | -2/+2 | |
* | | Removed Cabshelper open and avoided shadowing. | Bernhard Schommer | 2017-02-03 | 1 | -7/+6 | |
* | | Remove unused opens. | Bernhard Schommer | 2017-02-03 | 1 | -32/+28 | |
* | | Removed no longer working check. | Bernhard Schommer | 2017-02-03 | 1 | -14/+4 | |
* | | Updated handcrafted.messages for __builtin_offsetof | Bernhard Schommer | 2017-02-01 | 1 | -753/+858 | |
* | | Change the syntax to gcc/clangs syntax. | Bernhard Schommer | 2017-02-01 | 2 | -3/+6 | |
* | | Merge pull request #159 from AbsInt/builtin_offsetof | Xavier Leroy | 2017-02-01 | 7 | -2/+72 | |
|\ \ | |/ |/| | ||||||
| * | Avoid overflows and report an error. | Bernhard Schommer | 2017-01-31 | 2 | -7/+10 | |
| * | Normalize offset to size_t kind. | Bernhard Schommer | 2017-01-31 | 1 | -2/+4 | |
| * | Remove superfluous check. | Bernhard Schommer | 2017-01-31 | 1 | -7/+4 | |
| * | Improve indentation. | Bernhard Schommer | 2017-01-31 | 1 | -1/+1 | |
| * | Remove blank lines. | Bernhard Schommer | 2017-01-31 | 1 | -2/+0 | |
| * | New version to support designators. | Bernhard Schommer | 2017-01-24 | 7 | -21/+45 | |
| * | Simplified version. | Bernhard Schommer | 2017-01-20 | 2 | -43/+26 | |
| * | Also support union. Bug 20765 | Bernhard Schommer | 2017-01-20 | 1 | -3/+4 | |
| * | Implement offsetof via builtin. | Bernhard Schommer | 2017-01-20 | 7 | -2/+64 | |
* | | Typo in type of elab_char_constant | Xavier Leroy | 2017-01-31 | 1 | -1/+1 | |
* | | Export elab_{int,float,char}_constant | Xavier Leroy | 2017-01-31 | 1 | -0/+9 | |
* | | Added support for different diagnostic formats. | Bernhard Schommer | 2017-01-30 | 1 | -2/+25 | |
* | | Switch case for error option. Bug 19872 | Bernhard Schommer | 2017-01-30 | 1 | -2/+2 | |
* | | Added -f(no-)diagnostics-show-option. | Bernhard Schommer | 2017-01-27 | 1 | -6/+20 | |
* | | Added option -fmax-errors. | Bernhard Schommer | 2017-01-26 | 1 | -3/+14 | |
* | | Added -w to disable all options. Bug 19872 | Bernhard Schommer | 2017-01-26 | 1 | -1/+6 | |
|/ | ||||||
* | Improve wording of normal backtrace case Bug 19872 | Bernhard Schommer | 2017-01-19 | 1 | -1/+3 | |
* | Use quoted strings. | Bernhard Schommer | 2017-01-18 | 1 | -11/+12 | |
* | More comments and improvements for unknown loc. | Bernhard Schommer | 2017-01-18 | 2 | -1/+27 | |
* | Remove duplaceted relese. Bug 20681 | Bernhard Schommer | 2017-01-17 | 1 | -1/+1 | |
* | Added missing whitespace. Bug 19872 | Bernhard Schommer | 2017-01-17 | 1 | -1/+1 | |
* | Safe the backtrace earlier. Bug 20681 | Bernhard Schommer | 2017-01-17 | 1 | -12/+13 | |
* | Added backtrace handler. | Bernhard Schommer | 2017-01-17 | 2 | -0/+19 |