make sure to be compatible with non-gcc/old gcc
This commit is contained in:
parent
9ef589aef7
commit
7628c875e8
6
C/exec.c
6
C/exec.c
@ -1326,6 +1326,8 @@ p_restore_regs2(void)
|
|||||||
static Int
|
static Int
|
||||||
p_clean_ifcp(void) {
|
p_clean_ifcp(void) {
|
||||||
Term t = Deref(ARG1);
|
Term t = Deref(ARG1);
|
||||||
|
choiceptr pt0;
|
||||||
|
|
||||||
if (IsVarTerm(t)) {
|
if (IsVarTerm(t)) {
|
||||||
Yap_Error(INSTANTIATION_ERROR, t, "cut_at/1");
|
Yap_Error(INSTANTIATION_ERROR, t, "cut_at/1");
|
||||||
return FALSE;
|
return FALSE;
|
||||||
@ -1335,9 +1337,9 @@ p_clean_ifcp(void) {
|
|||||||
return FALSE;
|
return FALSE;
|
||||||
}
|
}
|
||||||
#if SBA
|
#if SBA
|
||||||
choiceptr pt0 = (choiceptr)IntegerOfTerm(t);
|
pt0 = (choiceptr)IntegerOfTerm(t);
|
||||||
#else
|
#else
|
||||||
choiceptr pt0 = cp_from_integer(t);
|
pt0 = cp_from_integer(t);
|
||||||
#endif
|
#endif
|
||||||
if (pt0 < B) {
|
if (pt0 < B) {
|
||||||
/* this should never happen */
|
/* this should never happen */
|
||||||
|
Reference in New Issue
Block a user