diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix bad code for unify_float and friends

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@437 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2002-04-09 16:53:00 +00:00
parent 061670eeb0
commit d8384f4bf3
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
C/absmi.c
View File

@ -4507,6 +4507,9 @@ absmi(int inp)
d0 = *pt0; d0 = *pt0;
deref_head(d0, ufloat_unk); deref_head(d0, ufloat_unk);
ufloat_nonvar: ufloat_nonvar:
if (!IsApplTerm(d0)) {
FAIL();
}
/* look inside term */ /* look inside term */
BEGP(pt0); BEGP(pt0);
pt0 = RepAppl(d0); pt0 = RepAppl(d0);
@ -4552,6 +4555,9 @@ absmi(int inp)
d0 = *S_SREG; d0 = *S_SREG;
deref_head(d0, ulfloat_unk); deref_head(d0, ulfloat_unk);
ulfloat_nonvar: ulfloat_nonvar:
if (!IsApplTerm(d0)) {
FAIL();
}
BEGP(pt0); BEGP(pt0);
pt0 = RepAppl(d0); pt0 = RepAppl(d0);
BEGD(d0); BEGD(d0);
@ -4597,6 +4603,9 @@ absmi(int inp)
deref_head(d0, ulongint_unk); deref_head(d0, ulongint_unk);
ulongint_nonvar: ulongint_nonvar:
/* look inside term */ /* look inside term */
if (!IsApplTerm(d0)) {
FAIL();
}
BEGP(pt0); BEGP(pt0);
pt0 = RepAppl(d0); pt0 = RepAppl(d0);
BEGD(d0); BEGD(d0);
@ -4636,6 +4645,9 @@ absmi(int inp)
d0 = *S_SREG; d0 = *S_SREG;
deref_head(d0, ullongint_unk); deref_head(d0, ullongint_unk);
ullongint_nonvar: ullongint_nonvar:
if (!IsApplTerm(d0)) {
FAIL();
}
BEGP(pt0); BEGP(pt0);
pt0 = RepAppl(d0); pt0 = RepAppl(d0);
BEGD(d0); BEGD(d0);
@ -4676,6 +4688,9 @@ absmi(int inp)
deref_head(d0, ubigint_unk); deref_head(d0, ubigint_unk);
ubigint_nonvar: ubigint_nonvar:
/* look inside term */ /* look inside term */
if (!IsApplTerm(d0)) {
FAIL();
}
#ifdef USE_GMP #ifdef USE_GMP
BEGP(pt0); BEGP(pt0);
pt0 = RepAppl(d0); pt0 = RepAppl(d0);
@ -4720,6 +4735,9 @@ absmi(int inp)
d0 = *S_SREG; d0 = *S_SREG;
deref_head(d0, ulbigint_unk); deref_head(d0, ulbigint_unk);
ulbigint_nonvar: ulbigint_nonvar:
if (!IsApplTerm(d0)) {
FAIL();
}
#ifdef USE_GMP #ifdef USE_GMP
BEGP(pt0); BEGP(pt0);
pt0 = RepAppl(d0); pt0 = RepAppl(d0);