operators as a sequence of tokens, rather than using a hack to make them into a single token; only used in practice for function names

adding template type AST, not able to be used in simple_type, some hacks for structures and function headers

Replace < > by special tokens so they can be parsed without concern for
less than and greater than operators.

Add parsing of templates before top level declarations and template
instantations as primary expressions.

Julia Lawall authored Jul 23, 2022 and LAWALL Julia committed Jul 25, 2022

Now macro_argument_list can contain empty arguments, as is sometimes useful
for macros.  For example FOO(,3,4).

Now argument_list can be empty, reducing code duplication in the parser.

Tathagata Roy authored Jul 25, 2022 and LAWALL Julia committed Jul 25, 2022

Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com>

Tathagata Roy authored Jul 21, 2022 and LAWALL Julia committed Jul 25, 2022

* 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

Not clear what this was supposed to test, but add a virtual variable
initialization so that it doesn't cause an incorrect test.

Signed-off-by: Michele Martone <michelemartone@users.sourceforge.net>

Signed-off-by: Michele Martone <michelemartone@users.sourceforge.net>

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 66d401a9

.

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>

Starting from menhir.20211230, menhir has a new code generation
back-end that generates by default a .ml file that is too big for
OCaml to compile. The code size is reduced is the optimization level
is reduced to -O 1 (by default, -O 2 is used).

This commit introduces a variable MENHIR_FLAGS to the Makefile, and
set MENHIR_FLAGS to -O 1 by default if the current version of menhir
supports this option (introduced in menhir.20211230, for instance the
bundled menhir version does not support it).

Signed-off-by: Michele Martone <michelemartone@users.sourceforge.net>

LAWALL Julia authored Jul 16, 2022 and LAWALL Julia committed Jul 16, 2022

This is based on an original patch proposal by:

From: Evan Zhao <tacingiht@gmail.com>
To: Coccinelle <cocci@systeme.lip6.fr>
Subject: [Cocci] [Patch] Add dowhile support in SmPL
Date: Mon, 22 Apr 2019 21:34:29 +0800	[thread overview]
Message-ID: <CAAGQS2vWgFjbU9t9QXKgDefp1TcOnMoDwPFE0kMpU_203JXEag@mail.gmail.com> (raw)

That patch, however, treated the final semicolon like the kind of ender
that is added to an if, while loop, etc., that is not necessary.  Do
while is more like { }.

This one does not make any changes in the SmPL processing code
(parsing_cocci), but only in the translation to CTL.  The management of
free variables in the translation of CTL is furthermore modified to
better match what is done for { }.

The test cases are based on the ones in the original patch, with a few
modifications.

Tathagata Roy authored Jun 12, 2022 and LAWALL Julia committed Jun 20, 2022

Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com>

Tathagata Roy authored Jun 09, 2022 and LAWALL Julia committed Jun 20, 2022

Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com>

Tathagata Roy authored Jun 09, 2022 and LAWALL Julia committed Jun 20, 2022

Signed-off-by: Tathagata Roy <tathagata.roy1278@gmail.com>

This reverts commit ef288a04

Julia Lawall authored Apr 04, 2020 and LAWALL Julia committed Jun 20, 2022

Keeping the ./ poses problems for recursive includes, when the
recursively included file starts with ../ If the ./ is present it is
that that will get dropped by the ../

LAWALL Julia authored Jun 04, 2022 and Thierry Martinez committed Jun 05, 2022

Date:   Sat Jun 4 12:45:37 2022 +0200

    Fix unportable test(1) operator.

    Only bash supports '==', POSIX requires '='.
Signed-off-by: Thomas Klausner <wiz@gatalith.at>