add missing variable checks in various places

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 1396179be852c5de45c4fa9e051d800ee7608345..c5a9d39a7d6e8afb85d8227c0c5b526d65e39995 100644 (file)
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -261,7 +261,8 @@ call_or_cut(M:G, B) :-
     ;  call(M:G)
     ).
 call_or_cut(G, B) :-
-    (  '$call_with_default_policy'(control_functor(G)) ->
+    (  nonvar(G),
+       '$call_with_default_policy'(control_functor(G)) ->
        '$call_with_default_policy'(call_or_cut_interp(G, B))
     ;  call(G)
     ).

diff --git a/src/loader.pl b/src/loader.pl
index c34c57f4ba2e7ef9039028b953b4d775f2c001ad..20da327c1b7378c76ce11f392bbd07df3c54e81b 100644 (file)
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -440,7 +440,8 @@ predicate_property(Callable, Property) :-
     ;  functor(Callable, (:), 2),
        arg(1, Callable, Module),
        arg(2, Callable, Callable0),
-       atom(Module) ->
+       atom(Module),
+       nonvar(Callable0) ->
        functor(Callable0, Name, Arity),
        (  atom(Name),
           Name \== [] ->