aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Accept empty enum declaration after nonempty enum definition (#87)Bernhard Schommer2018-04-221-1/+1
* Better check for incomplete types in pointer subtraction (#92)Bernhard Schommer2018-04-201-0/+1
* Function defintions: keep the attributes from previous declarations (#89)Bernhard Schommer2018-04-191-1/+3
* Revert "preserve static initialized variables (#81)"Xavier Leroy2018-04-101-9/+2
* Check for redefinition of globals and preserve static initialized variables (...Bernhard Schommer2018-04-092-6/+33
* Reject illegal initializations of aggregates at top-level (#79)Xavier Leroy2018-04-061-1/+10
* Allow declaration of composites in bitfield size.Bernhard Schommer2018-04-051-11/+20
* Error for subtraction arithmetic type - pointer type (#73)Bernhard Schommer2018-04-051-3/+0
* Turn delicate case of designated re-initialization into error (#70)Xavier Leroy2018-03-301-37/+56
* Reject casts to struct/union types (#68)Bernhard Schommer2018-03-291-3/+0
* Don't overwrite initializer of anonymous union member. (#69)Bernhard Schommer2018-03-291-1/+1
* Sizeof and _Alignof are not allowed on bit-fields (#67)Bernhard Schommer2018-03-273-1/+17
* Fix mistake in Bitfield transformation (#66)Michael Schmidt2018-03-271-2/+2
* Arrays should decay to pointers (#65)Bernhard Schommer2018-03-271-2/+3
* Improve error messages for anonymous bit-fields (#64)Bernhard Schommer2018-03-231-7/+10
* Do not allow inline on main and warn for Noreturn (#63)Bernhard Schommer2018-03-231-0/+4
* StructPassing and annotations, continuedXavier Leroy2018-03-091-9/+7
* Do not transfer arguments for annotations.Bernhard Schommer2018-03-091-2/+5
* Add explicit interface to cparser/pre_parser_aux.mlXavier Leroy2018-03-092-5/+28
* StructPassing: do not transform arguments to annotation built-insXavier Leroy2018-03-091-2/+6
* Improve error messages.Bernhard Schommer2018-03-072-0/+6
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-066-3/+24
* Struct return on OpenBSD now testedMichael Schmidt2018-02-191-1/+1
* Renamed StructReturn to structPassingBernhard Schommer2018-02-163-1/+1
* Move struct passing/return style to Machine.Bernhard Schommer2018-02-163-17/+72
* Added error summary in case of fatal error.Bernhard Schommer2018-02-092-0/+13
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-0813-34/+43
* 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
generated by cgit (git 2.34.1) at 2024-06-02 21:46:10 +0000