~npalix/coccinelle/upstream : changes

~npalix/coccinelle/upstream » Changes to parsing_cocci/single_statement.ml from revision 5611

From Revision 5611 to 4923

Rev	Summary	Authors	Date
5584	]] cannot be a single token, because it could be the end of ... ]] cannot be a single token, because it could be the end of nested array references	Julia Lawall	1 year ago
5531	support 'using'-styled attributes from C++17 support 'using'-styled attributes from C++17 Signed-off-by: Michele Martone <michelemartone@users.sourceforge.net>	Michele Martone	1 year ago
5529	support C++11 attributes except ... support C++11 attributes except ... Signed-off-by: Michele Martone <michelemartone@users.sourceforge.net>	Michele Martone	1 year ago
5525	Add missing Ast. and add a few newlines Add missing Ast. and add a few newlines	Julia Lawall	1 year ago
5524	complete implementation of alignas complete implementation of alignas	Julia Lawall	1 year ago
5513	macro decl for structure fields macro decl for structure fields Add MacroDecl for SmPL structure fields, and add attributes for MacroDecl for C. Suggested-by: Kees Cook <keescook@chromium.org>	Julia Lawall	1 year ago
5510	endattrs in fields endattrs in fields Thanks to Kees Cook for reporting the problem.	Julia Lawall	1 year ago
5376	attributes for MacroDecl and MacroDeclInit attributes for MacroDecl and MacroDeclInit	Julia Lawall	1 year ago
5314	fix smpl parser with new const_vol for Ast0 fix smpl parser with new const_vol for Ast0	Julia Lawall	1 year ago
5299	got through parsing_cocci for new placement of attributes got through parsing_cocci for new placement of attributes	Julia Lawall	1 year ago
5270	done with ForRange for C++ done with ForRange for C++	Julia Lawall	2 years ago
5178	* 49faa610 - fixed pretty_print_c.mly - Tathagata Roy (orig... * 49faa610 - fixed pretty_print_c.mly - Tathagata Roy (origin/addenum) * e47fa520 - Added class in the lexer and unparse cocci, as well as fixed a logical mistkae in parser_c - Tathagata Roy * e3e22da4 - Removed newlines while printing - Tathagata Roy * f6e0c6c3 - made comma_opt empty in case the enumerator list was empty - Tathagata Roy * 17d68f02 - Changed assertion from previous code - Tathagata Roy * 22579609 - enum_key and ident work, and removed some wrong code from prettyprint - Tathagata Roy * f7c112db - Added enum in cocci and C, and wrote partial code for engine/ - Tathagata Roy * 57010c9b - Changed the definition of EnumName to include class - Tathagata Roy * 07f9c05a - Added Enum to cocci - Tathagata Roy * 443ef9a5 - Fixed all conflicts - Tathagata Roy * 5b5e0990 - bitfield problems persist, will fix in the next commit - Tathagata Roy * 8c02afbd - Defined EnumName and EnumDef - Tathagata Roy * ca82ea0e - Resolved all conflicts in parser_cocci_menhir.mly file - Tathagata Roy * e6ac4359 - fixed some conflicts in rebasing - Tathagata Roy * fdb66ef3 - added enum definitions and conflict-laden menhir file - Tathagata Roy	Tathagata Roy	2 years ago
5172	Added `new (type) (initializer)` and branched all_basic_type... Added `new (type) (initializer)` and branched all_basic_types in parser_cocci_menhir.mly into all_basic_types and all_basic_types_without_braces Signed-off-by : Tathagata Roy <tathagata.roy1278@gmail.com> Added support for NewNoPar for the expression `new new-type initializer` in SmPL Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com> Integrated 8 variations of new in SmPL Added new functionality in parsing_c/ Modified engine/cocci_vs_c.ml to support New Fixed Bugs in New checker Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com> Added "new" tests and updated unparse_cocci to pretty_print_cocci Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com> Added new to the lexer Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com> Fixed one shift/reduce confilcts concerning new Removed Ident conflict and unused new_argument used in previous version Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com> Reintroduced two rules, which I had for some reason removed in commit 66d401a95e603f6a623907642ec59920ed0b08de. I do not know why I had removed that, but adding them back did not seem to cause any conflicts or problems in compilation. Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com> Fixed failwith problems Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com> Added tests for new Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com>	Tathagata Roy	2 years ago
5157	Added support for both variants of the delete keyword in SmP... Added support for both variants of the delete keyword in SmPL	Tathagata	2 years ago
5047	Add support for attributes just before { in function definit... Add support for attributes just before { in function definition This patch allows to support attributes just before { in function definition like: void func() __arg(1) { }. For example, some functions in Linux include __acquires() and __releases() attributes in this position. Signed-off-by: Keisuke Nishimura <mumumu0722@gmail.com>	Keisuke Nishimura	3 years ago
5043	parsing_cocci: Add support for use of const and volatile at ... parsing_cocci: Add support for use of const and volatile at the same time Signed-off-by: Keisuke Nishimura <mumumu0722@gmail.com>	Keisuke Nishimura	3 years ago
5024	parser_cocci/ast0: Add support for attributes in function de... parser_cocci/ast0: Add support for attributes in function decl This series adds support for attributes in function declarations in the SmPL parser. int __attribute__((attr)) func(); These styles of attributes are common in the Linux kernel. Signed-off-by: Keisuke Nishimura <mumumu0722@gmail.com>	Keisuke Nishimura	3 years ago
5020	Add support for attributes between a type and identifiers Add support for attributes between a type and identifiers This series adds support for attributes between a type and identifiers by adding some rules to the SmPL grammar. We can match these attributes: struct { int i; } __attribute__((packed)) st; char __attribute__((foo)) var; These styles of __attribute__ are common in the Linux kernel. Signed-off-by: Keisuke Nishimura <mumumu0722@gmail.com>	Keisuke Nishimura	3 years ago
4992	parsing_cocci: ast0: Make Attibute in SmPL's AST more genera... parsing_cocci: ast0: Make Attibute in SmPL's AST more general This patch changes the structure of 'Attribute'. In order to support __attribute__ later, the current Attribute needs to be refactored into a more general structure. SmPL's ast structure(current): __foo => Attribute( __foo) or MetaAttribute (__foo) SmPL's ast structure(proposed): __foo => Attribute( AttrName (__foo) ) or Attribute( MetaAttr (__foo) ) C's ast structure(current): foo => Attribute( foo ) C's ast structure(proposed): foo => Attribute( AttrName(foo) ) Signed-off-by: Keisuke Nishimura <mumumu0722@gmail.com>	Keisuke Nishimura	3 years ago
4923	parsing_cocci: visitor_ast0: Add attributefn to SmPL AST0 vi... parsing_cocci: visitor_ast0: Add attributefn to SmPL AST0 visitor Add a public function for visiting attributes to the SmPL AST0 visitor. Add the AttributeTag constructor to AST0 and AST of SmPL. In context_neg, add a few general fixes w/r/t the usage of the for_all2 function for comparing attributes. Signed-off-by: Jaskaran Singh <jaskaran.singh@collabora.com>	Jaskaran Singh	4 years ago

Older »