[ConfigImpact] Update message of issue

Reviewed By: ezgicicek

Differential Revision: D32696198

fbshipit-source-id: c13a743721

Author: skcho

infer/src/integration/Differential.ml

@@ -421,11 +421,13 @@ module ConfigImpactItem = struct
                (UncheckedCallee.is_known_expensive x) )
     in
     let qualifier =
-      Format.asprintf "Function call%s to %a %s %a **without GK/QE**."
+      Format.asprintf
+        "Function call%s to %a %s %a **without GK/QE**, which might cause new unexpected behavior. \
+         %s"
         (if is_singleton then "" else "s")
         UncheckedCallee.pp_without_location_list unchecked_callees
         (if is_singleton then "is" else "are")
-        pp_change_type change_type
+        pp_change_type change_type FbGKInteraction.action_message
     in
     (* Note: It takes only one trace among the callees. *)
     let trace = List.hd_exn unchecked_callees |> UncheckedCallee.make_err_trace in

infer/src/opensource/FbGKInteraction.ml

@@ -28,3 +28,5 @@ type known_expensiveness = KnownCheap | KnownExpensive
 module ExpensivenessModel = struct
   let dispatcher _ _ _ = None
 end
+
+let action_message = "Please either gate it or make sure that the function call is harmless."

infer/src/opensource/FbGKInteraction.mli

@@ -26,3 +26,5 @@ type known_expensiveness = KnownCheap | KnownExpensive
 module ExpensivenessModel : sig
   val dispatcher : 'tenv -> 'pname -> 'args -> 'known_expensivene option
 end
+
+val action_message : string