let get_stmt_mark ff stmt =
try
let stmt_key = PdgIndex.Key.stmt_key stmt in
let marks = FctMarks.get_node_marks ff stmt_key in
let marks = match stmt_key with
| PdgIndex.Key.Stmt _ -> marks
| PdgIndex.Key.CallStmt _ -> marks
| _ -> assert false
in
Marks.merge_marks marks
with Not_found ->
match stmt.Cil_types.skind with
| Cil_types.Block _ | Cil_types.UnspecifiedSequence _ ->
(* block are always visible for syntactic reasons *)
Marks.mk_gen_spare
| _ -> Marks.bottom_mark