[callgraph] Uses Eva.Results instead of Db.Value.

src/plugins/callgraph/cg.ml

@@ -205,7 +205,7 @@ let syntactic_compute g =
 let semantic_compute g =
   Globals.Functions.iter
     (fun kf ->
-       let callers = !Db.Value.callers kf in
+       let callers = Eva.Results.callsites kf in
        let must_add =
          callers <> []  (* the function is called *)
          || is_entry_point kf

tests/value/oracle/loopfun.0.res.oracle

@@ -42,23 +42,27 @@
 [eva] Recording results for main
 [eva] done for function main
 [eva] ====== VALUES COMPUTED ======
+[from] Computing for function main
+[from] Done for function main
 [from] Computing for function main2
 [from] Done for function main2
 [from] Computing for function test
 [from] Done for function test
-[from] Computing for function main
-[from] Done for function main
 [from] ====== DEPENDENCIES COMPUTED ======
   These dependencies hold at termination for the executions that terminate:
+[from] Function main:
+  FROMTOP
+  \result FROM ANYTHING(origin:Unknown)
 [from] Function main2:
   FROMTOP
 [from] Function test:
   FROMTOP
   \result FROM ANYTHING(origin:Unknown)
-[from] Function main:
-  FROMTOP
-  \result FROM ANYTHING(origin:Unknown)
 [from] ====== END OF DEPENDENCIES ======
+[inout] Out (internal) for function main:
+    ANYTHING(origin:Unknown)
+[inout] Inputs for function main:
+    ANYTHING(origin:Unknown)
 [inout] Out (internal) for function main2:
     \nothing
 [inout] Inputs for function main2:
@@ -67,7 +71,3 @@
     tmp; a
 [inout] Inputs for function test:
     a
-[inout] Out (internal) for function main:
-    ANYTHING(origin:Unknown)
-[inout] Inputs for function main:
-    ANYTHING(origin:Unknown)