* [Cocci] 1.0.2
@ 2015-08-19 14:25 Julia Lawall
0 siblings, 0 replies; 2+ messages in thread
From: Julia Lawall @ 2015-08-19 14:25 UTC (permalink / raw)
To: cocci
Version 1.0.2 is available, on the website and on github. I will post the
list of changes shortly (it's not currently up to date on the web site
either).
One notable change is that the -j option should now work properly.
julia
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Cocci] 1.0.2
@ 2015-08-22 14:09 Julia Lawall
0 siblings, 0 replies; 2+ messages in thread
From: Julia Lawall @ 2015-08-22 14:09 UTC (permalink / raw)
To: cocci
Some of the main changes:
* OCaml 3.10 is no longer supported.
* --use-gitgrep falls back to --use-coccigrep for a non-git repository.
Thus, it is generally safe to use --use-gitgrep, except when processing an
unmanaged subdirectory of a git repository.
* It is no longer possible to create an identifier in OCaml code by saying
x := "identifier_name". Instead some constructors have been added for
constructing various kinds of code:
val make_ident : string -> Ast_c.metavar_binding_kind
(* string is the identifier name *)
val make_expr : string -> Ast_c.metavar_binding_kind
(* string is the expression *)
val make_expr_with_env : string -> string -> Ast_c.metavar_binding_kind
(* The first argument is a series of variable declarations, designed to
provide type information for the second argument, which is an
expression. For example, make_expr_with_env "int x;" "x+3". *)
val make_stmt : string -> Ast_c.metavar_binding_kind
(* The string argument is a statement *)
val make_stmt_with_env : string -> string -> Ast_c.metavar_binding_kind
(* The first argument is a series of declarations and the second
argument is the statement to create *)
val make_type : string -> Ast_c.metavar_binding_kind
(* The string is the type to create *)
val make_listlen : int -> Ast_c.metavar_binding_kind
(* The integer is the list length to create, eg for a parameter list *)
val make_position :
Common.filename ->
string -> int -> int -> int -> int -> Ast_c.metavar_binding_kind
(* The arguments are: file name (string), function name, start line,
start column, end line, end column. Lines start with 1, columns
start with 0. *)
* exp at S will bind statement metavariable to the smallest statement
enclosing the expression exp. For example, for the C code, return x;, x at S
would match S to return x;
* If an identifier metavariable is constrained to match a set of possible
names, eg identifier fn = {kmalloc, kfree};, then these names will be
taken into account when selecting files. On the other hand, constraints
expressed as regular expressions are still not taken into account.
* Autogen creates a version number that corresponds to the most recent
commit.
* -j should now work correctly.
julia
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2015-08-22 14:09 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-08-19 14:25 [Cocci] 1.0.2 Julia Lawall
2015-08-22 14:09 Julia Lawall
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.