From 9c79634a5749ade56ad3d29def1594f53f613c4b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Sat, 3 Jul 2021 22:34:30 +0200
Subject: [PATCH] fix occurrences of warning 69 in several plugins
---
src/plugins/impact/compute_impact.ml | 6 +++---
src/plugins/pdg/build.ml | 3 +--
src/plugins/server/data.ml | 2 --
src/plugins/value/gui_files/gui_callstacks_manager.ml | 2 +-
4 files changed, 5 insertions(+), 8 deletions(-)
diff --git a/src/plugins/impact/compute_impact.ml b/src/plugins/impact/compute_impact.ml
index e6011b9cf1f..4305f65b876 100644
--- a/src/plugins/impact/compute_impact.ml
+++ b/src/plugins/impact/compute_impact.ml
@@ -98,9 +98,9 @@ type worklist = {
been found. The impact on upward calls to those callees
will have to be computed again. *);
- mutable skip: Locations.Zone.t (** Locations for which the impact is
- dismissed. Nodes that involve only those zones are skipped. Constant
- after initialization *);
+ skip: Locations.Zone.t (** Locations for which the impact is
+ dismissed. Nodes that involve only those zones
+ are skipped. Constant after initialization *);
mutable initial_nodes: nodes KFM.t
(** Nodes that are part of the initial impact query, or directly
diff --git a/src/plugins/pdg/build.ml b/src/plugins/pdg/build.ml
index 0be61e58080..e90ada08bba 100644
--- a/src/plugins/pdg/build.ml
+++ b/src/plugins/pdg/build.ml
@@ -68,7 +68,6 @@ type arg_nodes = Node.t list
(** type of the whole PDG representation during its building process *)
type pdg_build = {
fct : kernel_function;
- mutable topinput : PdgTypes.Node.t option;
mutable other_inputs :
(PdgTypes.Node.t * Dpd.td * Locations.Zone.t) list;
graph : G.t;
@@ -92,7 +91,7 @@ let create_pdg_build kf =
let states = Stmt.Hashtbl.create nb_stmts in
let graph = G.create () in
{ fct = kf; graph = graph; states = states; index = index;
- topinput = None; other_inputs = [];
+ other_inputs = [];
ctrl_dpds = Stmt.Hashtbl.create nb_stmts ;
decl_nodes = Varinfo.Hashtbl.create 10 ;
}
diff --git a/src/plugins/server/data.ml b/src/plugins/server/data.ml
index 94d38a13b40..4981a9460bd 100644
--- a/src/plugins/server/data.ml
+++ b/src/plugins/server/data.ml
@@ -449,7 +449,6 @@ struct
type 'a dictionary = {
values : (string,'a option) Hashtbl.t ;
vindex : ('a,string) Hashtbl.t ;
- mutable syntax : Markdown.text ;
mutable published : (package * string) option ;
mutable tags : tagInfo list ;
mutable prefix : tagInfo list ;
@@ -468,7 +467,6 @@ struct
published = None ;
values = Hashtbl.create 0 ;
vindex = Hashtbl.create 0 ;
- syntax = [] ;
prefix = [] ;
tags = [] ;
lookup = None ;
diff --git a/src/plugins/value/gui_files/gui_callstacks_manager.ml b/src/plugins/value/gui_files/gui_callstacks_manager.ml
index 08358dda36a..9e78d8d54e6 100644
--- a/src/plugins/value/gui_files/gui_callstacks_manager.ml
+++ b/src/plugins/value/gui_files/gui_callstacks_manager.ml
@@ -153,7 +153,7 @@ type 'value model = {
mutable loc: gui_loc option (* model: loc which is being visualized *);
mutable all_exprs: gui_selection list (* G expressions that are currently
being displayed *);
- mutable columns_type: (column_type * (filtered:bool -> unit)) HColumns.t
+ columns_type: (column_type * (filtered:bool -> unit)) HColumns.t
(* mapping from GTK columns to the data they display, plus a function
whose argument indicates whether the column is filtered *);
mutable rows: 'value rows (* model: rows to display. Sorted, unfiltered
--
GitLab