From 026a666055df61df9dd84ab6cec696dbb5f2ebdf Mon Sep 17 00:00:00 2001 From: Costa Vitor Date: Fri, 26 Jun 2009 14:08:15 -0500 Subject: [PATCH] trail check on C entry: make sure we don't have unhandled trail overflows. --- C/absmi.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/C/absmi.c b/C/absmi.c index 27a52711a..50ff9cb53 100644 --- a/C/absmi.c +++ b/C/absmi.c @@ -7339,7 +7339,7 @@ Yap_absmi(int inp) \************************************************************************/ BOp(call_cpred, Osbpp); - + check_trail(TR); if (!(PREG->u.Osbpp.p->PredFlags & (SafePredFlag|HiddenPredFlag))) { CACHE_Y_AS_ENV(YREG); check_stack(NoStackCall, H); @@ -7387,6 +7387,7 @@ Yap_absmi(int inp) /* execute Label */ BOp(execute_cpred, pp); + check_trail(TR); { PredEntry *pt0;