Snippets for picat 3.9.12 from Alpine armhf
Sourced from https://build.alpinelinux.org/buildlogs/build-edge-armhf/community/picat/picat-3.9.12-r0.log.
-
dis.c:46:51: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 46 | fprintf(filedes, BPLONG_FMT_STR ": ", (BPLONG)psc_ptr); | ^ -
dis.c:57:58: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 57 | fprintf(filedes, ", " BPULONG_FMT_STR "\n", (BPULONG)GET_EP(psc_ptr)); | ^ -
dis.c:92:48: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 92 | printf("inst_begin=" BPULONG_FMT_STR "\n", (BPULONG) inst_begin); | ^ -
dis.c:98:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 98 | } while ((cpreg = (BPLONG_PTR)*cpreg)); | ^ -
dis.c:108:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 108 | fprintf(filedes, BPULONG_FMT_STR "\t", (BPULONG) cpreg); | ^ -
dis.c:118:66: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 118 | if (num_line) fprintf(filedes, BPULONG_FMT_STR "\t", (BPULONG) cpreg); | ^ -
term.h:98:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 98 | #define ADDTAG(op, tag) ((BPLONG)(op) | tag) | ^ -
init_sym.c:25:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 25 | list_psc_int = ADDTAG((BPLONG)list_psc, INT_TAG); | ^ -
init_sym.c:27:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 27 | list_psc_hashcode = ((BPLONG)list_psc & HASH_BITS) >> 3; | ^ -
term.h:57:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 57 | #define FOLLOW(op) (*(BPLONG_PTR)(op)) /* return what op points to */ | ^ -
term.h:149:32: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 149 | #define NDEREF(op, labl) top = (BPLONG_PTR)FOLLOW(op); \ | ^ -
term.h:150:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 150 | if ((BPLONG)top != op) { \ | ^ -
term.h:151:14: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 151 | op = (BPLONG)top; \ | ^ -
unify.c:52:54: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 52 | if ((BPULONG)op1 < (BPULONG)heap_top) { /* op1 not in loc stack */ | ^ -
bapi.h:60:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 60 | if (((BPLONG_PTR)(val) > breg) || ((BPLONG_PTR)(val) < hbreg)) { \ | ^ -
bapi.h:60:40: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 60 | if (((BPLONG_PTR)(val) > breg) || ((BPLONG_PTR)(val) < hbreg)) { \ | ^ -
bapi.h:68:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 68 | if (((BPLONG_PTR)(val) > breg)) \ | ^ -
unify.c:56:71: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 56 | PUSHTRAIL_s(op1); FOLLOW(op1) = (BPLONG)heap_top; | ^ -
unify.c:57:71: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 57 | PUSHTRAIL_s(op2); FOLLOW(op2) = (BPLONG)heap_top; | ^ -
term.h:164:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 164 | #define NEW_HEAP_FREE *heap_top = (BPLONG)heap_top; heap_top++ | ^ -
unify.c:61:54: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 61 | if ((BPULONG)op2 < (BPULONG)heap_top) { | ^ -
basic.h:539:33: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 539 | addr_top_bit = ((BPLONG)ptr & TOP_BIT); \ | ^ -
unify.c:65:71: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 65 | PUSHTRAIL_s(op1); FOLLOW(op1) = (BPLONG)heap_top; | ^ -
basic.h:542:38: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 542 | if (addr_top_bit != ((BPLONG)ptr & TOP_BIT)) { \ | ^ -
unify.c:66:71: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 66 | PUSHTRAIL_s(op2); FOLLOW(op2) = (BPLONG)heap_top; | ^ -
unify.c:72:33: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 72 | {dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(op2); | ^ -
unify.c:73:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 73 | FOLLOW(op1) = (BPLONG)dv_ptr; | ^ -
bapi.h:188:38: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 188 | FOLLOW(parea_low_addr) = (BPLONG)old_parea_low_addr; \ | ^ -
term.h:136:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 136 | top = (BPLONG_PTR)FOLLOW(op); \ | ^ -
term.h:137:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 137 | if ((BPLONG)top == op) {VarCode;} \ | ^ -
init.c:246:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 246 | AR_AR(sfreg) = (BPLONG)local_top; | ^ -
init.c:247:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 247 | AR_CPS(sfreg) = (BPLONG)addr_halt; | ^ -
init.c:248:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 248 | AR_TOP(sfreg) = (BPLONG)(local_top - SUSP_FRAME_SIZE); | ^ -
term.h:138:14: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 138 | op = (BPLONG)top; \ | ^ -
init.c:249:28: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 249 | AR_BTM(sfreg) = ADDTAG((BPLONG)local_top, SUSP_FRAME_TAG); | ^ -
init.c:250:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 250 | AR_REEP(sfreg) = (BPLONG)NULL; | ^ -
init.c:251:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 251 | AR_PREV(sfreg) = (BPLONG)old_sfreg; | ^ -
init.c:257:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 257 | FOLLOW(local_top-i) = (BPLONG)(local_top-i); | ^ -
init.c:265:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 265 | AR_AR(breg) = (BPLONG)old_arreg; | ^ -
init.c:266:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 266 | AR_CPS(breg) = (BPLONG)addr_halt; /* CPS : return BP_TRUE on final success */ | ^ -
init.c:267:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 267 | AR_TOP(breg) = (BPLONG)(breg - NONDET_FRAME_SIZE); | ^ -
init.c:268:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 268 | AR_BTM(breg) = ADDTAG((BPLONG)(breg+bsize), NONDET_FRAME_TAG); | ^ -
init.c:269:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 269 | AR_B(breg) = (BPLONG)old_breg; | ^ -
init.c:270:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 270 | AR_CPF(breg) = (BPLONG)addr_halt0; /* CPF : return BP_FALSE on final failure */ | ^ -
init.c:271:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 271 | AR_H(breg) = (BPLONG)heap_top; | ^ -
init.c:272:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 272 | AR_T(breg) = (BPLONG)trail_top; | ^ -
init.c:273:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 273 | AR_SF(breg) = (BPLONG)sfreg; | ^ -
init.c:279:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 279 | AR_AR(arreg) = (BPLONG)breg; | ^ -
unify.c:97:39: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 97 | if (!unify(*(BPLONG_PTR) op1, *(BPLONG_PTR) op2)) return 0; | ^ -
init.c:280:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 280 | AR_CPS(arreg) = (BPLONG)addr_halt; | ^ -
unify.c:97:58: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 97 | if (!unify(*(BPLONG_PTR) op1, *(BPLONG_PTR) op2)) return 0; | ^ -
init.c:281:28: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 281 | AR_BTM(arreg) = ADDTAG((BPLONG)(arreg+1), FLAT_FRAME_TAG); | ^ -
unify.c:98:35: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 98 | op1 = *((BPLONG_PTR) op1 + 1); | ^ -
init.c:282:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 282 | AR_TOP(arreg) = (BPLONG)(arreg-FLAT_FRAME_SIZE); | ^ -
unify.c:99:35: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 99 | op2 = *((BPLONG_PTR) op2 + 1); | ^ -
term.h:68:56: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 68 | #define IS_FLOAT_PSC(op) (FOLLOW(UNTAGGED_ADDR(op)) == (BPLONG)float_psc) | ^ -
unify.c:115:48: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 115 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(op1)); | ^ -
unify.c:117:47: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 117 | if (!unify(*((BPLONG_PTR) op1 + i), *((BPLONG_PTR) op2 + i))) { | ^ -
unify.c:117:72: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 117 | if (!unify(*((BPLONG_PTR) op1 + i), *((BPLONG_PTR) op2 + i))) { | ^ -
unify.c:121:38: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 121 | op1 = *((BPLONG_PTR) op1 + arity); | ^ -
unify.c:122:38: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 122 | op2 = *((BPLONG_PTR) op2 + arity); | ^ -
term.h:128:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 128 | top = (BPLONG_PTR)FOLLOW(op); \ | ^ -
term.h:129:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 129 | if ((BPLONG)top == op) \ | ^ -
term.h:131:14: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 131 | op = (BPLONG)top; \ | ^ -
unify.c:129:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 129 | {dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(op1); | ^ -
unify.c:130:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 130 | FOLLOW(op2) = (BPLONG)dv_ptr; | ^ -
unify.c:140:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 140 | top = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(op1); | ^ -
term.h:71:57: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 71 | #define IS_BIGINT_PSC(op) (FOLLOW(UNTAGGED_ADDR(op)) == (BPLONG)bigint_psc) | ^ -
arith.c:201:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 201 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
arith.c:202:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 202 | sym_ptr = (SYM_REC_PTR)FOLLOW(ptr); | ^ -
term.h:92:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 92 | #define ADDTAG3(op, tag) ((BPLONG)(op) | tag) | ^ -
bapi.h:64:9: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 64 | if ((BPLONG_PTR)(val) < hbreg) { \ | ^ -
unify.c:177:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 177 | if (!unify(*(BPLONG_PTR) op1, *(BPLONG_PTR) op2)) return 0; | ^ -
unify.c:177:36: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 177 | if (!unify(*(BPLONG_PTR) op1, *(BPLONG_PTR) op2)) return 0; | ^ -
unify.c:178:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 178 | op1 = *((BPLONG_PTR) op1 + 1); | ^ -
unify.c:179:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 179 | op2 = *((BPLONG_PTR) op2 + 1); | ^ -
unify.c:195:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 195 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(op1)); | ^ -
unify.c:197:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 197 | if (!unify(*((BPLONG_PTR) op1 + i), *((BPLONG_PTR) op2 + i))) { | ^ -
unify.c:197:47: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 197 | if (!unify(*((BPLONG_PTR) op1 + i), *((BPLONG_PTR) op2 + i))) { | ^ -
unify.c:201:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 201 | op1 = *((BPLONG_PTR) op1 + arity); | ^ -
unify.c:202:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 202 | op2 = *((BPLONG_PTR) op2 + arity); | ^ -
arith.c:220:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 220 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op2); | ^ -
arith.c:221:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 221 | sym_ptr = (SYM_REC_PTR)FOLLOW(ptr); | ^ -
term.h:185:39: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 185 | #define ALIGN(type, ptr) ptr = (type)((BPULONG)((CHAR_PTR)ptr + 7) & 0xfffffffffffffff8ULL) | ^ -
term.h:185:32: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 185 | #define ALIGN(type, ptr) ptr = (type)((BPULONG)((CHAR_PTR)ptr + 7) & 0xfffffffffffffff8ULL) | ^ -
init_sym.c:236:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 236 | et_OUT_OF_MEMORY = ADDTAG((BPLONG)ptr, STR); /* resource_error(out_of_memory) */ | ^ -
init_sym.c:237:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 237 | FOLLOW(ptr++) = (BPLONG)str_RESOURCE_ERROR; | ^ -
init_sym.c:240:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 240 | et_OUT_OF_MEMORY_STACK = ADDTAG((BPLONG)ptr, STR); /* error(_,_) */ | ^ -
init_sym.c:241:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 241 | FOLLOW(ptr++) = (BPLONG)error_psc; | ^ -
init_sym.c:245:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 245 | et_OUT_OF_MEMORY_TABLE = ADDTAG((BPLONG)ptr, STR); /* error(_,_) */ | ^ -
unify.c:224:46: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 224 | if (!bp_identical(*(BPLONG_PTR)op1, *(BPLONG_PTR)op2)) return 0; | ^ -
init_sym.c:246:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 246 | FOLLOW(ptr++) = (BPLONG)error_psc; | ^ -
unify.c:224:64: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 224 | if (!bp_identical(*(BPLONG_PTR)op1, *(BPLONG_PTR)op2)) return 0; | ^ -
unify.c:225:36: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 225 | op1 = *(((BPLONG_PTR)op1)+1); | ^ -
unify.c:226:36: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 226 | op2 = *(((BPLONG_PTR)op2)+1); DEREF(op2); | ^ -
unify.c:238:49: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 238 | arity = GET_ARITY((SYM_REC_PTR)(FOLLOW(op1))); | ^ -
unify.c:240:55: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 240 | if (!bp_identical(*((BPLONG_PTR)op1 + i), *((BPLONG_PTR)op2 + i))) return 0; | ^ -
unify.c:240:79: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 240 | if (!bp_identical(*((BPLONG_PTR)op1 + i), *((BPLONG_PTR)op2 + i))) return 0; | ^ -
unify.c:241:39: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 241 | op1 = *((BPLONG_PTR)op1 + arity); | ^ -
unify.c:242:39: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 242 | op2 = *((BPLONG_PTR)op2 + arity); DEREF(op2); | ^ -
bapi.h:134:6: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 134 | *(BPLONG_PTR)var = (BPLONG)(value); \ | ^ -
numbervars.c:41:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 41 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
numbervars.c:46:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 46 | {ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
numbervars.c:48:37: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 48 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(ptr)); | ^ -
unify.c:266:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 266 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
numbervars.c:54:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 54 | ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(term); | ^ -
unify.c:266:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 266 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
unify.c:269:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 269 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
unify.c:269:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 269 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
bapi.h:101:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 101 | ++t; *(BPLONG_PTR)op1 = FOLLOW(t); \ | ^ -
unify.c:290:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 290 | dv_ptr1 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(op1); | ^ -
numbervars.c:83:56: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 83 | FOLLOW(global_unnumbervar_ptr-varNo) = (BPLONG)heap_top; | ^ -
unify.c:291:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 291 | dv_ptr2 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(op2); | ^ -
numbervars.c:94:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 94 | term_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
numbervars.c:95:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 95 | sym_ptr = (SYM_REC_PTR)FOLLOW(term_ptr); | ^ -
numbervars.c:106:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 106 | FOLLOW(ptr) = (BPLONG)sym_ptr; | ^ -
numbervars.c:129:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 129 | term_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
numbervars.c:162:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 162 | term_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
numbervars.c:163:47: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 163 | if (ISSTRUCT(term) && FOLLOW(term_ptr) == (BPLONG)comma_psc) { | ^ -
numbervars.c:171:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 171 | FOLLOW(ptr) = (BPLONG)comma_psc; | ^ -
bapi.h:117:6: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 117 | *(BPLONG_PTR)(op1) = ADDTAG(heap_top, STR); \ | ^ -
clpfd.c:45:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 45 | dv_ptr = (BPLONG_PTR)UNTAGGED_ADDR(op); | ^ -
bapi.h:119:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 119 | NEW_HEAP_NODE((BPLONG)op2); | ^ -
term.h:70:69: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 70 | #define IS_BIGINT(op) (ISSTRUCT(op) && FOLLOW(UNTAGGED_ADDR(op)) == (BPLONG)bigint_psc) | ^ -
numbervars.c:242:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 242 | sreg = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
clpfd.c:59:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 59 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(op); | ^ -
numbervars.c:255:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 255 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(op1)); | ^ -
numbervars.c:257:39: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 257 | n0 = aux_number_vars__3(*((BPLONG_PTR)op1+i), n0); | ^ -
dis_inst.h:2213:38: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 2213 | fprintf(filedes, ","); sym_ptr = (SYM_REC_PTR)FOLLOW(cpreg-1); | ^ -
clpfd.c:73:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 73 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
numbervars.c:311:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 311 | term_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
numbervars.c:312:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 312 | sym_ptr = (SYM_REC_PTR)FOLLOW(term_ptr); | ^ -
numbervars.c:318:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 318 | NEW_HEAP_NODE((BPLONG)sym_ptr); | ^ -
basicd.h:110:28: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 110 | BPLONG foreign_exception = (BPLONG) NULL; | ^ -
clpfd.c:96:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 96 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(op); | ^ -
numbervars.c:337:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 337 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
numbervars.c:337:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 337 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
numbervars.c:343:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 343 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
numbervars.c:343:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 343 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
numbervars.c:348:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 348 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
numbervars.c:348:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 348 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
clpfd.c:109:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 109 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(op); | ^ -
numbervars.c:367:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 367 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
numbervars.c:367:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 367 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
numbervars.c:369:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 369 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
numbervars.c:369:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 369 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
numbervars.c:382:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 382 | if ((BPLONG_PTR)tmp_term > heap_top){ /* a stack var */ | ^ -
numbervars.c:383:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 383 | FOLLOW(heap_top) = (BPLONG)heap_top; | ^ -
numbervars.c:385:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 385 | FOLLOW(tmp_term) = (BPLONG)heap_top; | ^ -
numbervars.c:419:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 419 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
numbervars.c:419:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 419 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
numbervars.c:424:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 424 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
clpfd.c:130:58: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 130 | if ((count0 = n_vars_gt(count0, FOLLOW((BPLONG_PTR)op+1), limit)) == -1) return -1;}, | ^ -
numbervars.c:424:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 424 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
clpfd.c:133:37: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 133 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(op)); | ^ -
clpfd.c:135:63: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 135 | if ((count0 = n_vars_gt(count0, FOLLOW(((BPLONG_PTR)op+i)), limit)) == -1) return -1;}, | ^ -
numbervars.c:435:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 435 | if ((BPULONG)term > (BPULONG)heap_top && (BPULONG)term <= (BPULONG)local_top0) return; /* marked already */ | ^ -
univ.c:35:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 35 | Head = *(BPLONG_PTR)L; | ^ -
numbervars.c:435:67: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 435 | if ((BPULONG)term > (BPULONG)heap_top && (BPULONG)term <= (BPULONG)local_top0) return; /* marked already */ | ^ -
numbervars.c:438:38: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 438 | ASSIGN_TRAIL_VALUE(term, (BPLONG)local_top); /* form a cycle */ | ^ -
univ.c:37:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 37 | L = *((BPLONG_PTR)L+1); | ^ -
numbervars.c:447:32: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 447 | vars_set_extract_vars(*(BPLONG_PTR)term, ex_term); | ^ -
numbervars.c:448:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 448 | term = *((BPLONG_PTR)term+1); | ^ -
numbervars.c:454:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 454 | struct_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
numbervars.c:455:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 455 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(struct_ptr)); | ^ -
numbervars.c:464:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 464 | susp_var_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(term); | ^ -
numbervars.c:465:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 465 | FOLLOW(local_top) = (BPLONG)susp_var_ptr; | ^ -
numbervars.c:467:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 467 | FOLLOW(susp_var_ptr) = (BPLONG)local_top; /* form a cycle */ | ^ -
numbervars.c:479:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 479 | if ((BPULONG)term > (BPULONG)heap_top && (BPULONG)term <= (BPULONG)local_top0) { /* marked */ | ^ -
numbervars.c:479:67: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 479 | if ((BPULONG)term > (BPULONG)heap_top && (BPULONG)term <= (BPULONG)local_top0) { /* marked */ | ^ -
event.h:142:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 142 | FOLLOW(op1) = (BPLONG)heap_top; \ | ^ -
numbervars.c:497:38: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 497 | list0 = collect_shared_vars(*(BPLONG_PTR)term, list0); | ^ -
numbervars.c:498:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 498 | term = *((BPLONG_PTR)term+1); | ^ -
event.h:145:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 145 | DV_var(dv_ptr) = ((BPLONG)heap_top | SUSP); \ | ^ -
numbervars.c:504:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 504 | struct_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
numbervars.c:505:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 505 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(struct_ptr)); | ^ -
event.h:123:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 123 | FOLLOW(heap_top) = ADDTAG((BPULONG)stack_up_addr-(BPULONG)AR, INT_TAG); \ | ^ -
event.h:123:58: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 123 | FOLLOW(heap_top) = ADDTAG((BPULONG)stack_up_addr-(BPULONG)AR, INT_TAG); \ | ^ -
numbervars.c:526:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 526 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
numbervars.c:526:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 526 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
clpfd.c:153:43: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 153 | trigger_vars_ins(FOLLOW((BPLONG_PTR)op+1));}, | ^ -
clpfd.c:156:37: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 156 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(op)); | ^ -
clpfd.c:158:48: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 158 | trigger_vars_ins(FOLLOW(((BPLONG_PTR)op+i)));}, | ^ -
event.h:180:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 180 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(op); \ | ^ -
bapi.h:163:28: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 163 | #define GET_CAR(op) FOLLOW((BPLONG_PTR)UNTAGGED_ADDR(op)) | ^ -
bapi.h:164:28: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 164 | #define GET_CDR(op) FOLLOW((BPLONG_PTR)UNTAGGED_ADDR(op)+1) | ^ -
event.h:183:28: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 183 | *heap_top = ADDTAG((BPULONG)stack_up_addr-(BPULONG)ar, INT_TAG); \ | ^ -
event.h:183:51: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 183 | *heap_top = ADDTAG((BPULONG)stack_up_addr-(BPULONG)ar, INT_TAG); \ | ^ -
numbervars.c:537:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 537 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(pair); | ^ -
numbervars.c:540:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 540 | sym_ptr = (SYM_REC_PTR)UNTAGGED_ADDR(name); | ^ -
numbervars.c:550:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 550 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
numbervars.c:550:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 550 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
numbervars.c:564:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 564 | if ((BPULONG)term > (BPULONG)heap_top && (BPULONG)term < (BPULONG)arreg) { | ^ -
numbervars.c:564:66: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 564 | if ((BPULONG)term > (BPULONG)heap_top && (BPULONG)term < (BPULONG)arreg) { | ^ -
gcheap.c:36:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 36 | size = ((BPULONG)heap_top-(BPULONG)hbreg)/sizeof(BPLONG)+2; | ^ -
gcheap.c:36:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 36 | size = ((BPULONG)heap_top-(BPULONG)hbreg)/sizeof(BPLONG)+2; | ^ -
numbervars.c:570:38: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 570 | ASSIGN_TRAIL_VALUE(term, (BPLONG)local_top); /* form a cycle */ | ^ -
gcheap.c:59:50: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 59 | trail_top_region_size = ((BPULONG)AR_T(breg)-(BPULONG)trail_top)/sizeof(BPLONG); | ^ -
numbervars.c:579:42: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 579 | vars_set_extract_singleton_vars(*(BPLONG_PTR)term); | ^ -
numbervars.c:580:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 580 | term = *((BPLONG_PTR)term+1); | ^ -
gcheap.c:79:26: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 79 | curr_t = trail_top = (BPLONG_PTR)AR_T(breg); | ^ -
numbervars.c:586:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 586 | struct_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
gcheap.c:83:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 83 | untaggedAddr = (BPLONG_PTR)UNTAGGED3(op); | ^ -
numbervars.c:587:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 587 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(struct_ptr)); | ^ -
gcheap.c:84:52: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 84 | if (TAG(op) == TRAIL_VAR && untaggedAddr < (BPLONG_PTR)AR_TOP(sfreg)) { | ^ -
gcstack.c:97:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 97 | if (f == (BPLONG_PTR)AR_AR(f)) break; | ^ -
gcstack.c:98:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 98 | cp = (BPLONG_PTR)AR_CPS(f); | ^ -
gcheap.c:86:49: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 86 | } else if (alreadyTrailed(untaggedAddr, (BPLONG_PTR)AR_T(breg), curr_t+1)) { | ^ -
gcstack.c:100:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 100 | f = (BPLONG_PTR)AR_AR(f); | ^ -
dis.c:142:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 142 | sym_ptr = (SYM_REC_PTR)UNTAGGED_ADDR(operand); | ^ -
clpfd.c:176:46: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 176 | trigger_vars_minmax(FOLLOW((BPLONG_PTR)op+1));}, | ^ -
gcstack.c:104:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 104 | cp = (BPLONG_PTR)AR_CPF(breg); | ^ -
numbervars.c:605:28: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 605 | if ((BPULONG)var < (BPULONG)arreg && (BPULONG)var > (BPULONG)heap_top) | ^ -
numbervars.c:605:61: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 605 | if ((BPULONG)var < (BPULONG)arreg && (BPULONG)var > (BPULONG)heap_top) | ^ -
gcheap.c:104:26: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 104 | curr_t = trail_top = (BPLONG_PTR)AR_T(breg); | ^ -
gcstack.c:118:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 118 | mask_size = ((BPULONG)breg-(BPULONG)local_top)/NBITS_IN_LONG+2; /* masking bits */ | ^ -
clpfd.c:179:37: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 179 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(op)); | ^ -
gcheap.c:105:38: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 105 | mask_size = ((BPULONG)AR_H(breg)-(BPULONG)stack_low_addr)/NBITS_IN_LONG+2; /* masking bits */ | ^ -
gcstack.c:118:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 118 | mask_size = ((BPULONG)breg-(BPULONG)local_top)/NBITS_IN_LONG+2; /* masking bits */ | ^ -
clpfd.c:181:51: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 181 | trigger_vars_minmax(FOLLOW(((BPLONG_PTR)op+i)));}, | ^ -
gcheap.c:112:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 112 | untaggedAddr = (BPLONG_PTR)UNTAGGED3(op); | ^ -
gcstack.c:129:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 129 | f = (BPLONG_PTR)AR_PREV(f); | ^ -
dis.c:168:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 168 | SYM_REC_PTR sym_ptr = (SYM_REC_PTR)operand; | ^ -
gc.h:91:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 91 | BPULONG offset = ((BPULONG)addr-(BPULONG)base)/sizeof(BPLONG); \ | ^ -
gcstack.c:137:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 137 | while (f != (BPLONG_PTR)AR_AR(f)) { | ^ -
gc.h:91:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 91 | BPULONG offset = ((BPULONG)addr-(BPULONG)base)/sizeof(BPLONG); \ | ^ -
gcstack.c:141:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 141 | f = (BPLONG_PTR)AR_AR(f); | ^ -
term.h:115:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 115 | #define GET_ATM_SYM_REC(op) ((SYM_REC_PTR)UNTAGGED_ADDR(op)) | ^ -
gcstack.c:152:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 152 | f = (BPLONG_PTR)AR_PREV(f); | ^ -
gcheap.c:120:91: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 120 | } else if (TAG(op) == TRAIL_VAL_ATOMIC || (TAG(op) == TRAIL_VAR && untaggedAddr < (BPLONG_PTR)AR_TOP(sfreg))) { | ^ -
univ.c:80:28: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 80 | FOLLOW(heap_top) = (BPLONG)insert_sym(GET_NAME(psc_ptr), GET_LENGTH(psc_ptr), n); | ^ -
gcheap.c:128:46: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 128 | if (alreadyTrailed(untaggedAddr, (BPLONG_PTR)AR_T(breg), curr_t+1)) { | ^ -
gcstack.c:161:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 161 | sp = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(f)); | ^ -
univ.c:86:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 86 | temp = *(BPLONG_PTR)L; | ^ -
univ.c:87:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 87 | L = *((BPLONG_PTR)L+1); | ^ -
gcstack.c:164:28: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 164 | if (ISREF(term) && (BPLONG_PTR)term > local_top && (BPLONG_PTR)term < breg) { | ^ -
gcstack.c:164:60: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 164 | if (ISREF(term) && (BPLONG_PTR)term > local_top && (BPLONG_PTR)term < breg) { | ^ -
gcheap.c:151:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 151 | f = breg; f1 = (BPLONG_PTR)AR_B(f); | ^ -
gcheap.c:153:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 153 | GCQueueAdd(f, (BPLONG)trail_top); | ^ -
gcheap.c:154:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 154 | trail_top = (BPLONG_PTR)AR_T(f); | ^ -
gcheap.c:155:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 155 | f = f1; f1 = (BPLONG_PTR)AR_B(f); | ^ -
gcheap.c:163:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 163 | tmp_trail_top = (BPLONG_PTR)cont; /* items between f->T and tmp_trail_top form a segment for f */ | ^ -
gcstack.c:172:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 172 | top = (BPLONG_PTR)AR_TOP(f); | ^ -
gcheap.c:164:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 164 | curr_t = (BPLONG_PTR)AR_T(f); | ^ -
gcstack.c:175:28: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 175 | if (ISREF(term) && (BPLONG_PTR)term > local_top && (BPLONG_PTR)term < breg) { | ^ -
gcheap.c:165:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 165 | AR_T(f) = (BPLONG)trail_top; /* new f->T after packing */ | ^ -
gcstack.c:175:60: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 175 | if (ISREF(term) && (BPLONG_PTR)term > local_top && (BPLONG_PTR)term < breg) { | ^ -
gcheap.c:168:28: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 168 | untaggedAddr = (BPLONG_PTR)UNTAGGED3(op); | ^ -
gcheap.c:169:53: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 169 | if (untaggedAddr < f && untaggedAddr >= (BPLONG_PTR)AR_H(f)) { | ^ -
univ.c:116:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 116 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1)-1; | ^ -
univ.c:119:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 119 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
gcstack.c:186:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 186 | sp = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(f)); | ^ -
univ.c:120:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 120 | psc_ptr = (SYM_REC_PTR)FOLLOW(ptr); | ^ -
gcheap.c:184:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 184 | if ((BPLONG_PTR)UNTAGGED3(FOLLOW(to_ptr)) == addr) return 1; | ^ -
gcstack.c:188:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 188 | if (FOLLOW(sp) == (BPLONG)sp && gcIsMarked(sp, local_top) == 1) { | ^ -
gcheap.c:192:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 192 | BPLONG size = ((BPULONG)copy_h-(BPULONG)copy_area_low)/sizeof(BPLONG); | ^ -
gcheap.c:192:36: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 192 | BPLONG size = ((BPULONG)copy_h-(BPULONG)copy_area_low)/sizeof(BPLONG); | ^ -
gcstack.c:189:45: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 189 | FOLLOW(heap_top) = FOLLOW(sp) = (BPLONG)heap_top; | ^ -
gcstack.c:197:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 197 | top = (BPLONG_PTR)AR_TOP(f); | ^ -
gcstack.c:199:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 199 | if (FOLLOW(sp) == (BPLONG)sp && gcIsMarked(sp, local_top) == 1) { | ^ -
gcheap.c:205:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 205 | addr = (BPLONG_PTR)FOLLOW(ptr++); | ^ -
gcstack.c:200:45: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 200 | FOLLOW(heap_top) = FOLLOW(sp) = (BPLONG)heap_top; | ^ -
univ.c:157:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 157 | L = *((BPLONG_PTR)UNTAGGED_ADDR(L)+1); | ^ -
gcheap.c:217:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 217 | top = (BPLONG_PTR)AR_TOP(ar); | ^ -
gcheap.c:230:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 230 | while ((BPLONG)ar != AR_AR(ar)) { | ^ -
clpfd.c:199:43: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 199 | trigger_vars_dom(FOLLOW((BPLONG_PTR)op+1));}, | ^ -
clpfd.c:202:37: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 202 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(op)); | ^ -
clpfd.c:204:48: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 204 | trigger_vars_dom(FOLLOW(((BPLONG_PTR)op+i)));}, | ^ -
gcstack.c:218:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 218 | if (size <= (BPLONG)((BPULONG)copy_area_high-(BPULONG)copy_area_low)/sizeof(BPLONG)) { | ^ -
gcstack.c:218:54: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 218 | if (size <= (BPLONG)((BPULONG)copy_area_high-(BPULONG)copy_area_low)/sizeof(BPLONG)) { | ^ -
gcheap.c:240:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 240 | ar = (BPLONG_PTR)AR_AR(ar); | ^ -
gcheap.c:252:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 252 | sf = (BPLONG_PTR)AR_PREV(sf); | ^ -
event.c:128:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 128 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(x); | ^ -
gcstack.c:238:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 238 | b_top = (BPLONG_PTR)AR_TOP(breg); | ^ -
gcheap.c:261:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 261 | sp = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(f)); | ^ -
gcstack.c:239:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 239 | mask_size = ((BPULONG)heap_top-(BPULONG)stack_low_addr)/NBITS_IN_LONG+2; /* masking bits */ | ^ -
gcstack.c:239:36: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 239 | mask_size = ((BPULONG)heap_top-(BPULONG)stack_low_addr)/NBITS_IN_LONG+2; /* masking bits */ | ^ -
gcheap.c:269:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 269 | top = (BPLONG_PTR)AR_TOP(f); | ^ -
gcstack.c:243:52: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 243 | size = ((BPULONG)UNTAGGED_ADDR(AR_BTM(breg)) - (BPULONG)local_top)/sizeof(BPLONG); | ^ -
gcheap.c:280:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 280 | last_t = (BPLONG_PTR)AR_T(breg); | ^ -
gcstack.c:270:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 270 | BPLONG size = ((BPULONG)copy_area_high-(BPULONG)copy_local_top)/sizeof(BPLONG); | ^ -
gcheap.c:282:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 282 | addr = (BPLONG_PTR)FOLLOW(curr_t); | ^ -
gcstack.c:270:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 270 | BPLONG size = ((BPULONG)copy_area_high-(BPULONG)copy_local_top)/sizeof(BPLONG); | ^ -
term.h:59:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 59 | #define TAG(op) (((BPLONG)op) & 0x3L) | ^ -
gcstack.c:289:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 289 | if ((BPULONG)term <= (BPULONG)b_top && (BPULONG)term > (BPULONG)heap_top) { /* stack ref below breg */ | ^ -
gcstack.c:289:64: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 289 | if ((BPULONG)term <= (BPULONG)b_top && (BPULONG)term > (BPULONG)heap_top) { /* stack ref below breg */ | ^ -
gcheap.c:287:42: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 287 | addr = (BPLONG_PTR)UNTAGGED3((BPLONG)addr); | ^ -
gcheap.c:287:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 287 | addr = (BPLONG_PTR)UNTAGGED3((BPLONG)addr); | ^ -
gcheap.c:291:42: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 291 | addr = (BPLONG_PTR)UNTAGGED3((BPLONG)addr); | ^ -
gcstack.c:29:33: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 29 | #define SP_AFTER_GC(sp) (b_top-((BPULONG)copy_area_high-(BPULONG)sp)/sizeof(BPLONG)) | ^ -
gcheap.c:291:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 291 | addr = (BPLONG_PTR)UNTAGGED3((BPLONG)addr); | ^ -
gcstack.c:29:57: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 29 | #define SP_AFTER_GC(sp) (b_top-((BPULONG)copy_area_high-(BPULONG)sp)/sizeof(BPLONG)) | ^ -
gcstack.c:295:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 295 | FOLLOW(des) = (BPLONG)SP_AFTER_GC(des); | ^ -
gcheap.c:293:46: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 293 | FOLLOW(addr) = gcRescueBitVector((BPLONG_PTR)FOLLOW(addr)); | ^ -
gcstack.c:296:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 296 | FOLLOW(term) = (BPLONG)des; | ^ -
gcstack.c:30:34: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 30 | #define POINTER_TO_COPY_AREA(p) ((BPLONG_PTR)p >= copy_area_low && (BPLONG_PTR)p <= copy_area_high) | ^ -
gcstack.c:30:68: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 30 | #define POINTER_TO_COPY_AREA(p) ((BPLONG_PTR)p >= copy_area_low && (BPLONG_PTR)p <= copy_area_high) | ^ -
gcheap.c:21:51: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 21 | #define GC_IS_MOVED(ptr) ((BPULONG)FOLLOW(ptr) >= (BPULONG)copy_area_low && (BPULONG)FOLLOW(ptr) < (BPULONG)copy_h) | ^ -
gcstack.c:304:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 304 | FOLLOW(des) = (BPLONG)SP_AFTER_GC(term); | ^ -
gcheap.c:21:100: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 21 | #define GC_IS_MOVED(ptr) ((BPULONG)FOLLOW(ptr) >= (BPULONG)copy_area_low && (BPULONG)FOLLOW(ptr) < (BPULONG)copy_h) | ^ -
gcheap.c:20:51: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 20 | #define ADDR_AFTER_GC(addr) (hbreg+((BPULONG)addr-(BPULONG)copy_area_low)/sizeof(BPLONG)) | ^ -
gcheap.c:302:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 302 | FOLLOW(addr) = (BPLONG)ADDR_AFTER_GC(FOLLOW(term)); | ^ -
gcheap.c:20:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 20 | #define ADDR_AFTER_GC(addr) (hbreg+((BPULONG)addr-(BPULONG)copy_area_low)/sizeof(BPLONG)) | ^ -
gcstack.c:328:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 328 | src_sp = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(src_f)); | ^ -
gcheap.c:305:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 305 | BPLONG tmp = (BPLONG)ADDR_AFTER_GC(copy_h); | ^ -
gcheap.c:308:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 308 | FOLLOW(term) = (BPLONG)copy_h; copy_h++; | ^ -
gcheap.c:317:51: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 317 | gcRescueTerm((BPLONG_PTR)&triggeredCs[i], (BPLONG)triggeredCs[i]); | ^ -
event.c:164:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 164 | FOLLOW(heap_top) = (BPLONG)cg_component_psc; | ^ -
gcstack.c:348:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 348 | top = (BPLONG_PTR)AR_TOP(src_f); | ^ -
event.c:166:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 166 | FOLLOW(heap_top+i) = (BPLONG)(heap_top+i); | ^ -
gcstack.c:354:28: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 354 | AR_BTM(des_f) = ADDTAG((BPLONG)SP_AFTER_GC(copy_local_top), frame_type); | ^ -
event.c:174:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 174 | FOLLOW(heap_top) = (BPLONG)cg_window_psc; | ^ -
event.c:177:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 177 | FOLLOW(heap_top+i) = (BPLONG)(heap_top+i); | ^ -
gcheap.c:336:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 336 | return (BPLONG)ADDR_AFTER_GC(des_ptr); | ^ -
gcstack.c:355:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 355 | AR_TOP(des_f) = (BPLONG)(SP_AFTER_GC(des_sp)); | ^ -
clpfd.c:222:47: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 222 | trigger_vars_any_dom(FOLLOW((BPLONG_PTR)op+1));}, | ^ -
event.c:212:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 212 | BPLONG_PTR ptr = (BPLONG_PTR)UNTAGGED_ADDR(op); | ^ -
gcstack.c:369:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 369 | f = (BPLONG_PTR)AR_PREV(f); | ^ -
clpfd.c:225:37: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 225 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(op)); | ^ -
event.c:213:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 213 | SYM_REC_PTR sym_ptr = (SYM_REC_PTR)FOLLOW(ptr); | ^ -
domain.c:106:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 106 | sreg = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
clpfd.c:227:52: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 227 | trigger_vars_any_dom(FOLLOW(((BPLONG_PTR)op+i)));}, | ^ -
gcheap.c:357:41: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 357 | if (INSIDE_HEAP_TOP_SEGMENT((BPLONG_PTR)term)) { | ^ -
gcstack.c:381:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 381 | AR_PREV(f1) = (BPLONG)new_sf; | ^ -
gcstack.c:382:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 382 | AR_PREV(f) = (BPLONG)f1; /* remember the place where f was moved to */ | ^ -
gcstack.c:397:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 397 | tmp = (BPLONG_PTR)AR_AR(prev); | ^ -
gcstack.c:398:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 398 | AR_AR(prev) = (BPLONG)f; | ^ -
gcstack.c:419:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 419 | new_f = (BPLONG_PTR)AR_AR(f); | ^ -
gcheap.c:359:36: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 359 | FOLLOW(addr) = (BPLONG)ADDR_AFTER_GC(FOLLOW(term)); | ^ -
event.h:128:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 128 | FOLLOW(op1) = (BPLONG)heap_top; \ | ^ -
gcheap.c:373:39: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 373 | gcAddDynamicArray((BPLONG)addr); | ^ -
gcheap.c:385:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 385 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
event.h:131:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 131 | DV_var(dv_ptr) = ((BPLONG)heap_top | SUSP); \ | ^ -
gcstack.c:437:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 437 | f1 = (BPLONG_PTR)AR_PREV(f); | ^ -
clpfd.c:259:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 259 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(P_list); | ^ -
gcstack.c:441:17: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 441 | AR_AR(f1) = (BPLONG)prev; | ^ -
gcheap.c:401:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 401 | FOLLOW(ptr) = (BPLONG)des_ptr; | ^ -
gcstack.c:453:33: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 453 | f = gcReverseArChain(arreg, (BPLONG_PTR)AR_AR(arreg)); | ^ -
gcstack.c:454:12: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 454 | next = (BPLONG_PTR)AR_AR(f); | ^ -
gcstack.c:455:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 455 | AR_AR(f) = (BPLONG)f; /* head */ | ^ -
domain.c:131:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 131 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
gcheap.c:408:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 408 | FOLLOW(ptr+1) = (BPLONG)(des_ptr+1); | ^ -
clpfd.c:264:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 264 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(P_v); | ^ -
gcstack.c:480:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 480 | sp = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(f)); | ^ -
event.c:290:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 290 | sym_ptr = (SYM_REC_PTR)FOLLOW(UNTAGGED_ADDR(source)); | ^ -
gcstack.c:493:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 493 | f = (BPLONG_PTR)AR_PREV(f); | ^ -
gcstack.c:501:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 501 | last_t = (BPLONG_PTR)AR_T(breg); | ^ -
gcstack.c:503:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 503 | addr = (BPLONG_PTR)FOLLOW(curr_t); | ^ -
gcheap.c:417:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 417 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
gcstack.c:507:42: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 507 | addr = (BPLONG_PTR)UNTAGGED3((BPLONG)addr); | ^ -
gcstack.c:507:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 507 | addr = (BPLONG_PTR)UNTAGGED3((BPLONG)addr); | ^ -
event.c:346:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 346 | BPLONG_PTR ptr = (BPLONG_PTR)AR_REEP(frame)+4; /* size of delay inst - 1*/ | ^ -
clpfd.c:303:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 303 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(P_list); | ^ -
gcheap.c:429:39: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 429 | arity = GET_ARITY((SYM_REC_PTR)(FOLLOW(ptr))); | ^ -
gcstack.c:524:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 524 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(term); | ^ -
clpfd.c:308:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 308 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(P_pair); | ^ -
token.c:1941:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1941 | bp_exception = (BPLONG)NULL; | ^ -
gcheap.c:431:66: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 431 | FOLLOW(des_ptr) = FOLLOW(ptr); FOLLOW(ptr) = (BPLONG)des_ptr; | ^ -
gcstack.c:527:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 527 | gcAddDynamicArray((BPLONG)dv_ptr); | ^ -
event.c:370:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 370 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(comp); | ^ -
token.c:1950:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1950 | if (bp_exception != (BPLONG)NULL) { | ^ -
event.c:371:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 371 | if (FOLLOW(ptr) == (BPLONG)timer_psc) { /* $timer(compnent_no,event_var,interval,times,_) */ | ^ -
gcheap.c:441:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 441 | FOLLOW(ptr+i) = (BPLONG)(des_ptr+i); | ^ -
clpfd.c:317:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 317 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(P_v); | ^ -
gcstack.c:535:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 535 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
event.c:375:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 375 | } else if (FOLLOW(ptr) == (BPLONG)cg_component_psc) { | ^ -
gcstack.c:544:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 544 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
gcstack.c:546:31: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 546 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(ptr)); | ^ -
clpfd.c:338:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 338 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
gcheap.c:451:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 451 | ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(term); | ^ -
gcstack.c:562:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 562 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(cs); /* untag LST */ | ^ -
clpfd.c:342:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 342 | dv_ptr0 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
gcstack.c:564:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 564 | sf = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(constr)); | ^ -
gcstack.c:564:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 564 | sf = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(constr)); | ^ -
gcheap.c:454:36: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 454 | FOLLOW(addr) = (BPLONG)ADDR_AFTER_GC(FOLLOW(ptr)); | ^ -
clpfd.c:346:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 346 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
gcheap.c:458:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 458 | FOLLOW(ptr) = (BPLONG)des_ptr; | ^ -
gcstack.c:566:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 566 | FOLLOW(ptr) = ADDTAG(((BPULONG)stack_up_addr-(BPULONG)sf), ATM); /* mark it by turning the tag from INT to ATM */ | ^ -
gcstack.c:566:58: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 566 | FOLLOW(ptr) = ADDTAG(((BPULONG)stack_up_addr-(BPULONG)sf), ATM); /* mark it by turning the tag from INT to ATM */ | ^ -
gcstack.c:577:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 577 | dv_ptr = (BPLONG_PTR)FOLLOW(marked_susp_var_ptr+i); | ^ -
clpfd.c:350:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 350 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
event.c:395:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 395 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
clpfd.c:357:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 357 | ASSIGN_v_heap_term(BestVar, (BPLONG)dv_ptr0); | ^ -
gcstack.c:590:48: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 590 | gcResetCs((BPLONG_PTR)&triggeredCs[i], (BPLONG)triggeredCs[i]); | ^ -
gcstack.c:601:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 601 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
gcstack.c:603:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 603 | sf = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(constr)); /* frame pointer */ | ^ -
gcstack.c:603:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 603 | sf = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(constr)); /* frame pointer */ | ^ -
clpfd.c:376:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 376 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
gcstack.c:609:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 609 | des_sf = (BPLONG_PTR)AR_PREV(sf); /* it was moved here */ | ^ -
gcstack.c:610:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 610 | FOLLOW(ptr) = ADDTAG((BPULONG)stack_up_addr-(BPULONG)SP_AFTER_GC(des_sf), INT_TAG); | ^ -
clpfd.c:380:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 380 | dv_ptr0 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
event.c:420:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 420 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
gcstack.c:610:57: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 610 | FOLLOW(ptr) = ADDTAG((BPULONG)stack_up_addr-(BPULONG)SP_AFTER_GC(des_sf), INT_TAG); | ^ -
clpfd.c:383:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 383 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
clpfd.c:387:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 387 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
clpfd.c:394:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 394 | ASSIGN_v_heap_term(BestVar, (BPLONG)dv_ptr0); | ^ -
clpfd.c:412:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 412 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
event.c:459:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 459 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
clpfd.c:416:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 416 | dv_ptr0 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
clpfd.c:419:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 419 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
unify.c:443:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 443 | PUSHTRAIL_H_NONATOMIC((BPLONG)dv_ptr2, FOLLOW(dv_ptr2)); | ^ -
bapi.h:76:9: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 76 | if ((BPLONG_PTR)p < hbreg) { \ | ^ -
loader.c:506:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 506 | *last_text = (BPLONG)inst_addr; | ^ -
gcheap.c:470:68: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 470 | DV_bit_vector_ptr(des_ptr) = gcRescueBitVector((BPLONG_PTR)DV_bit_vector_ptr(ptr)); | ^ -
clpfd.c:423:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 423 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
unify.c:444:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 444 | FOLLOW(dv_ptr2) = (BPLONG)dv_ptr1; | ^ -
gcheap.c:472:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 472 | FOLLOW(addr) = (BPLONG)ADDR_AFTER_GC(des_ptr); | ^ -
clpfd.c:430:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 430 | ASSIGN_v_heap_term(BestVar, (BPLONG)dv_ptr0); | ^ -
gcheap.c:475:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 475 | FOLLOW(addr) = (BPLONG)ptr; | ^ -
domain.c:163:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 163 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
clpfd.c:448:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 448 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
unify.c:480:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 480 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(lst); | ^ -
unify.c:482:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 482 | constr_ar = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(elm)); | ^ -
unify.c:482:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 482 | constr_ar = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(elm)); | ^ -
clpfd.c:452:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 452 | dv_ptr0 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
clpfd.c:455:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 455 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
unify.c:489:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 489 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(cs2); | ^ -
unify.c:491:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 491 | constr_ar = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(elm)); | ^ -
unify.c:491:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 491 | constr_ar = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(elm)); | ^ -
domain.c:187:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 187 | DV_var(dv_ptr_cp) = ((BPLONG)heap_top | SUSP); | ^ -
loader.c:139:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 139 | *inst_addr = (BPLONG)reloc_table[temp]; \ | ^ -
event.c:494:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 494 | BPLONG_PTR ptr = (BPLONG_PTR)UNTAGGED_ADDR(op); | ^ -
clpfd.c:459:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 459 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
term.h:69:66: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 69 | #define ISADDR(op) (ISSTRUCT(op) && FOLLOW(UNTAGGED_ADDR(op)) == (BPLONG)address_psc) | ^ -
event.c:495:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 495 | SYM_REC_PTR sym_ptr = (SYM_REC_PTR)FOLLOW(ptr); | ^ -
cpreds.c:48:26: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 48 | ulint = INTVAL(*((BPLONG_PTR)t+1)); | ^ -
clpfd.c:466:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 466 | ASSIGN_v_heap_term(BestVar, (BPLONG)dv_ptr0); | ^ -
unify.c:503:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 503 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(lst); | ^ -
unify.c:505:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 505 | constr_ar = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(elm)); | ^ -
cpreds.c:50:34: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 50 | ulint = ulint | INTVAL(*((BPLONG_PTR)t+2)); | ^ -
unify.c:505:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 505 | constr_ar = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(elm)); | ^ -
cpreds.c:51:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 51 | return((void *)ulint); | ^ -
unify.c:512:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 512 | PUSHTRAIL_H_NONATOMIC((BPLONG)addr_head_cs1, FOLLOW(addr_head_cs1)); | ^ -
cpreds.c:64:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 64 | NEW_HEAP_NODE((BPLONG)address_psc); /* '$address'(void *) */ | ^ -
clpfd.c:484:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 484 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
cpreds.c:65:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 65 | NEW_HEAP_NODE(MAKEINT(((BPULONG)address >> (sizeof(BPLONG)*4)))); | ^ -
event.c:515:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 515 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(comp); | ^ -
cpreds.c:66:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 66 | NEW_HEAP_NODE(MAKEINT(((BPULONG)address << (sizeof(BPLONG)*4)) >> (sizeof(BPLONG)*4))); | ^ -
event.c:516:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 516 | if (FOLLOW(ptr) == (BPLONG)timer_psc) { /* $timer(component_no,event_var,interval,times,_) */ | ^ -
sapi.c:33:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 33 | SP_term_ref op = (SP_term_ref)heap_top; | ^ -
clpfd.c:488:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 488 | dv_ptr0 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
clpfd.c:491:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 491 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Vars); | ^ -
sapi.c:39:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 39 | return (BPLONG)insert_sym(s, strlen(s), 0); | ^ -
event.c:520:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 520 | } if (FOLLOW(ptr) == (BPLONG)cg_component_psc) { | ^ -
sapi.c:43:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 43 | return GET_NAME((SYM_REC_PTR)a); | ^ -
clpfd.c:495:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 495 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
sapi.c:47:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 47 | return GET_LENGTH((SYM_REC_PTR)a); | ^ -
loader.c:132:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 132 | *inst_addr++ = (BPLONG)RELOC_ADDR(temp); \ | ^ -
clpfd.c:502:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 502 | ASSIGN_v_heap_term(BestVar, (BPLONG)dv_ptr0); | ^ -
bapi.h:113:10: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 113 | op = (BPLONG)heap_top; \ | ^ -
mic.c:108:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 108 | sym_ptr = (SYM_REC_PTR)UNTAGGED_ADDR(atom); | ^ -
clpfd.c:516:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 516 | ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
picat_utilities.c:42:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 42 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(t); | ^ -
event.c:571:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 571 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(timer); | ^ -
clpfd.c:522:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 522 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(attrs); | ^ -
mic.c:121:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 121 | FOLLOW(heap_top++) = (BPLONG)BP_NEW_SYM("time", 6); | ^ -
picat_utilities.c:45:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 45 | sym_ptr = (SYM_REC_PTR)UNTAGGED_ADDR(car); | ^ -
sapi.c:101:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 101 | FOLLOW(t) = ADDTAG((BPLONG)pointer, INT_TAG); | ^ -
clpfd.c:528:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 528 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(lst); | ^ -
sapi.c:115:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 115 | t = (SP_term_ref)heap_top++; | ^ -
unify.c:558:47: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 558 | if (!key_identical(*(BPLONG_PTR) op1, *(BPLONG_PTR) op2)) return 0; | ^ -
unify.c:558:66: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 558 | if (!key_identical(*(BPLONG_PTR) op1, *(BPLONG_PTR) op2)) return 0; | ^ -
clpfd.c:531:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 531 | pair_ptr = (BPLONG_PTR)UNTAGGED_ADDR(pair); | ^ -
unify.c:559:35: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 559 | op1 = *((BPLONG_PTR) op1 + 1); | ^ -
unify.c:560:35: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 560 | op2 = *((BPLONG_PTR) op2 + 1); | ^ -
event.c:590:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 590 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(timer); | ^ -
clpfd.c:536:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 536 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(value); | ^ -
sapi.c:132:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 132 | t = (SP_term_ref)heap_top++; | ^ -
clpfd.c:540:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 540 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(value); | ^ -
cpreds.c:117:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 117 | BPLONG_PTR dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(t); | ^ -
clpfd.c:557:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 557 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
sapi.c:184:47: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 184 | SYM_REC_PTR sym_ptr = insert_sym(GET_NAME((SYM_REC_PTR)name), GET_LENGTH((SYM_REC_PTR)name), arity); | ^ -
sapi.c:184:78: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 184 | SYM_REC_PTR sym_ptr = insert_sym(GET_NAME((SYM_REC_PTR)name), GET_LENGTH((SYM_REC_PTR)name), arity); | ^ -
event.c:622:48: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 622 | timer = ARG(1, 1); DEREF(timer); ptr = (BPLONG_PTR)UNTAGGED_ADDR(timer); | ^ -
clpfd.c:576:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 576 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
cpreds.c:128:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 128 | BPLONG_PTR dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(t); | ^ -
sapi.c:188:28: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 188 | FOLLOW(t) = ADDTAG((BPLONG)sym_ptr, ATM); | ^ -
unify.c:579:48: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 579 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(op1)); | ^ -
unify.c:581:55: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 581 | if (!key_identical(*((BPLONG_PTR) op1 + i), *((BPLONG_PTR) op2 + i))) { | ^ -
sapi.c:192:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 192 | FOLLOW(heap_top++) = (BPLONG)sym_ptr; | ^ -
unify.c:581:80: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 581 | if (!key_identical(*((BPLONG_PTR) op1 + i), *((BPLONG_PTR) op2 + i))) { | ^ -
mic.c:215:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 215 | name = GET_NAME((SYM_REC_PTR)UNTAGGED_ADDR(var)); | ^ -
unify.c:585:38: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 585 | op1 = *((BPLONG_PTR) op1 + arity); | ^ -
unify.c:586:38: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 586 | op2 = *((BPLONG_PTR) op2 + arity); | ^ -
clpfd.c:596:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 596 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(cs); /* untag LST */ | ^ -
clpfd.c:598:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 598 | sf = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(constr)); | ^ -
clpfd.c:598:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 598 | sf = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(constr)); | ^ -
mic.c:220:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 220 | unify(value, ADDTAG((BPLONG)insert_sym(val, strlen(val), 0), ATM)); | ^ -
clpfd.c:610:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 610 | sp = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(f)); | ^ -
event.c:641:54: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 641 | unify(GET_TIMER_PID(ptr), MAKE_INT_OR_BIGINT((BPLONG)pid)); | ^ -
bapi.h:154:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 154 | {if ((BPLONG_PTR)op1 < heap_top) \ | ^ -
bapi.h:157:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 157 | FOLLOW(op1) = (BPLONG)heap_top; \ | ^ -
clpfd.c:627:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 627 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(term); | ^ -
clpfd.c:634:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 634 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
clpfd.c:640:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 640 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
clpfd.c:641:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 641 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(ptr)); | ^ -
clpfd.c:656:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 656 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(cs); /* untag LST */ | ^ -
clpfd.c:658:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 658 | sf = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(constr)); | ^ -
clpfd.c:658:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 658 | sf = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(constr)); | ^ -
event.c:659:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 659 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(timer); | ^ -
clpfd.c:668:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 668 | sp = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(f)); | ^ -
unify.c:615:33: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 615 | op1 = *(BPLONG_PTR)t1; | ^ -
unify.c:616:33: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 616 | op2 = *(BPLONG_PTR)t2; | ^ -
unify.c:618:33: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 618 | t1 = *((BPLONG_PTR)t1+1); | ^ -
unify.c:619:33: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 619 | t2 = *((BPLONG_PTR)t2+1); | ^ -
clpfd.c:683:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 683 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(term); | ^ -
unify.c:628:44: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 628 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(t1)); | ^ -
unify.c:630:38: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 630 | op1 = *((BPLONG_PTR)t1+i); | ^ -
unify.c:631:38: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 631 | op2 = *((BPLONG_PTR)t2+i); | ^ -
clpfd.c:693:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 693 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
term.h:67:67: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 67 | #define ISFLOAT(op) (ISSTRUCT(op) && FOLLOW(UNTAGGED_ADDR(op)) == (BPLONG)float_psc) | ^ -
clpfd.c:699:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 699 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
clpfd.c:700:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 700 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(ptr)); | ^ -
clpfd.c:712:36: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 712 | sym_ptr = (SYM_REC_PTR)FOLLOW(((BPLONG_PTR)AR_REEP(frame)+2)); | ^ -
clpfd.c:712:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 712 | sym_ptr = (SYM_REC_PTR)FOLLOW(((BPLONG_PTR)AR_REEP(frame)+2)); | ^ -
event.c:690:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 690 | if (!ISINT((BPLONG)event_object)) free(event_object); | ^ -
term.h:116:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 116 | #define GET_STR_SYM_REC(op) ((SYM_REC_PTR)(FOLLOW(UNTAGGED_ADDR(op)))) | ^ -
clpfd.c:728:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 728 | while (AR_PREV(frame) != (BPLONG)frame) { | ^ -
clpfd.c:730:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 730 | frame = (BPLONG_PTR)AR_PREV(frame); | ^ -
event.c:725:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 725 | BPLONG_PTR sv_ptr = (BPLONG_PTR)UNTAGGED_ADDR(handler); | ^ -
float1.c:25:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 25 | w1 = (UW32)INTVAL(*((BPLONG_PTR)op+1)); | ^ -
arith.c:1208:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1208 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
float1.c:26:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 26 | w2 = (UW32)INTVAL(*((BPLONG_PTR)op+2)); | ^ -
mic.c:287:41: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 287 | val1 = FOLLOW((BPLONG_PTR)val1+1); | ^ -
event.h:195:36: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 195 | event_object[trigger_no] = (BPLONG)eo; \ | ^ -
float1.c:27:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 27 | w3 = (UW32)INTVAL(*((BPLONG_PTR)op+3)); | ^ -
mic.c:288:41: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 288 | val2 = FOLLOW((BPLONG_PTR)val2+1); | ^ -
clpfd.c:752:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 752 | dv_ptr_x = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(X); | ^ -
clpfd.c:753:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 753 | dv_ptr_y = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Y); | ^ -
float1.c:51:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 51 | NEW_HEAP_NODE((BPLONG)float_psc); /* '$float'(int1,int2,int3) */ | ^ -
domain.c:263:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 263 | FOLLOW(top) = (BPLONG)heap_top; | ^ -
domain.c:303:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 303 | FOLLOW(top) = (BPLONG)heap_top; | ^ -
term.h:117:40: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 117 | #define GET_SYM_REC(op) (ISATOM(op) ? ((SYM_REC_PTR)UNTAGGED_ADDR(op)) : ((SYM_REC_PTR)(FOLLOW(UNTAGGED_ADDR(op))))) | ^ -
term.h:117:75: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 117 | #define GET_SYM_REC(op) (ISATOM(op) ? ((SYM_REC_PTR)UNTAGGED_ADDR(op)) : ((SYM_REC_PTR)(FOLLOW(UNTAGGED_ADDR(op))))) | ^ -
assert_bp.c:99:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 99 | pred = (BPLONG)GET_EP(sym_ptr); | ^ -
assert_bp.c:61:77: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 61 | #define INTERPRETED_PRED_PTR(pred) (InterpretedPredPtr)UNTAGGED_ADDR(FOLLOW((BPLONG_PTR)UNTAGGED_ADDR(pred)+1)) | ^ -
assert_bp.c:61:36: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 61 | #define INTERPRETED_PRED_PTR(pred) (InterpretedPredPtr)UNTAGGED_ADDR(FOLLOW((BPLONG_PTR)UNTAGGED_ADDR(pred)+1)) | ^ -
assert_bp.c:121:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 121 | pred_ptr = (InterpretedPredPtr)UNTAGGED_ADDR(PredPtr); | ^ -
toam.c:165:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 165 | FOLLOW(addr_halt) = (BPLONG)local_jmp_table[halt]; | ^ -
toam.c:166:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 166 | FOLLOW(addr_halt0) = (BPLONG)local_jmp_table[halt0]; | ^ -
toam.c:167:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 167 | FOLLOW(addr_fail) = (BPLONG)local_jmp_table[fail]; | ^ -
toam.c:168:38: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 168 | FOLLOW(addr_table_consume) = (BPLONG)local_jmp_table[table_consume]; | ^ -
toam.c:169:33: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 169 | last_tabled_call_code = (BPLONG)local_jmp_table[last_tabled_call]; | ^ -
toam.c:170:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 170 | table_allocate_code = (BPLONG)local_jmp_table[table_allocate]; | ^ -
assert_bp.c:132:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 132 | pred_ptr = (InterpretedPredPtr)UNTAGGED_ADDR(PredPtr); | ^ -
assert_bp.c:144:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 144 | pred_ptr = (InterpretedPredPtr)UNTAGGED_ADDR(PredPtr); | ^ -
assert_bp.c:155:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 155 | pred_ptr = (InterpretedPredPtr)UNTAGGED_ADDR(PredPtr); | ^ -
debug.c:133:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 133 | temp0 = ADDTAG((BPLONG)heap_top, LST); | ^ -
cfd.c:33:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 33 | DV_var(dv_ptr) = ((BPLONG)heap_top | SUSP); | ^ -
domain.c:340:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 340 | FOLLOW(top) = (BPLONG)heap_top; | ^ -
debug.c:241:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 241 | BPLONG_PTR btm_ptr = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(f)); | ^ -
emu_inst.h:31:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 31 | AR_B(AR) = (BPLONG)B; | ^ -
emu_inst.h:36:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 36 | AR_TOP(AR) = (BPLONG)LOCAL_TOP; | ^ -
debug.c:252:39: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 252 | traced_call_ptr = (BPLONG_PTR)UNTAGGED_ADDR(traced_call); | ^ -
delay.c:24:35: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 24 | sym_ptr = (SYM_REC_PTR)FOLLOW((BPLONG_PTR)AR_REEP(frame)+2); | ^ -
delay.c:24:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 24 | sym_ptr = (SYM_REC_PTR)FOLLOW((BPLONG_PTR)AR_REEP(frame)+2); | ^ -
debug.c:255:42: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 255 | FOLLOW(heap_top++) = (BPLONG)comma_psc; | ^ -
emu_inst.h:45:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 45 | if ((BPLONG)LOCAL_TOP == AR_TOP(AR)) { /* turn this frame into a nondet frame */ | ^ -
debug.c:267:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 267 | prev_f = (BPLONG_PTR)AR_AR(f); | ^ -
emu_inst.h:46:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 46 | AR_B(AR) = (BPLONG)B; | ^ -
emu_inst.h:47:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 47 | AR_H(AR) = (BPLONG)H; | ^ -
emu_inst.h:48:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 48 | AR_T(AR) = (BPLONG)T; | ^ -
emu_inst.h:49:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 49 | AR_SF(AR) = (BPLONG)SF; | ^ -
emu_inst.h:55:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 55 | op1 = AR-(BPLONG_PTR)AR_TOP(AR); | ^ -
cfd.c:49:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 49 | FOLLOW(top) = (BPLONG)heap_top; | ^ -
emu_inst.h:67:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 67 | AR_TOP(AR) = (BPLONG)LOCAL_TOP; | ^ -
emu_inst.h:68:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 68 | AR_B(AR) = (BPLONG)B; | ^ -
cfd.c:75:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 75 | bv_ptr = (BPLONG_PTR)DV_bit_vector_ptr(dv_ptr); | ^ -
debug.c:307:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 307 | BPLONG_PTR btm_ptr = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(f)); | ^ -
cfd.c:95:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 95 | DV_var(dv_ptr) = ((BPLONG)heap_top | SUSP); | ^ -
debug.c:316:45: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 316 | return unify(CP, ADDTAG((BPULONG)stack_up_addr-(BPULONG)f, INT_TAG)); | ^ -
debug.c:316:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 316 | return unify(CP, ADDTAG((BPULONG)stack_up_addr-(BPULONG)f, INT_TAG)); | ^ -
debug.c:320:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 320 | prev_f = (BPLONG_PTR)AR_B(f); | ^ -
bapi.h:215:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 215 | FOLLOW(tmp_ptr) = (BPLONG)(area_record_ptr->low_addr); \ | ^ -
findall.c:62:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 62 | GET_EP(sym_ptr) = (int (*)(void))nil_sym; | ^ -
findall.c:64:36: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 64 | return unify(ARG(1, 1), ADDTAG((BPLONG)sym_ptr, INT_TAG)); | ^ -
findall.c:75:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 75 | sym_ptr = (SYM_REC_PTR)UNTAGGED_ADDR(SymPtr); | ^ -
findall.c:77:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 77 | GET_EP(sym_ptr) = (int (*)(void))nil_sym; | ^ -
emu_inst.h:69:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 69 | AR_H(AR) = (BPLONG)H; | ^ -
assert_bp.c:179:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 179 | pred = (BPLONG)GET_EP(sym_ptr); | ^ -
emu_inst.h:70:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 70 | AR_T(AR) = (BPLONG)T; | ^ -
emu_inst.h:71:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 71 | AR_SF(AR) = (BPLONG)SF; | ^ -
delay.c:32:27: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 32 | FOLLOW(arg) = (BPLONG)heap_top; | ^ -
toam.h:492:9: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 492 | B = (BPLONG_PTR)AR_B(AR); \ | ^ -
assert_bp.c:198:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 198 | bucket_ptr = (InterpretedPredBucketPtr)FOLLOW(hashtable+pred_ptr->bucket_size); | ^ -
toam.h:493:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 493 | HB = (BPLONG_PTR)AR_H(B); \ | ^ -
delay.c:39:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 39 | FOLLOW(heap_top++) = (BPLONG)sym_ptr; | ^ -
assert_bp.c:201:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 201 | cell_ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
toam.h:541:9: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 541 | P = (BPLONG_PTR)AR_CPS(AR); \ | ^ -
assert_bp.c:203:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 203 | clause_record_ptr = (InterpretedClausePtr)UNTAGGED_ADDR(FOLLOW(cell_ptr)); | ^ -
toam.h:56:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 56 | #define AR_IS_TOP(ar) AR_TOP(ar) == (BPLONG)LOCAL_TOP | ^ -
assert_bp.c:25:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 25 | FOLLOW(record_ptr) = (BPLONG)free_record[record_size]; \ | ^ -
cpreds.c:222:33: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 222 | BPLONG_PTR struct_ptr = (BPLONG_PTR)UNTAGGED_ADDR(t); | ^ -
cpreds.c:223:31: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 223 | SYM_REC_PTR sym_ptr = (SYM_REC_PTR)FOLLOW(struct_ptr); | ^ -
domain.c:380:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 380 | dv_ptr1 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var1); | ^ -
domain.c:382:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 382 | dv_ptr2 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var2); | ^ -
domain.c:390:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 390 | dv_ptr2 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var2); | ^ -
sapi.c:272:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 272 | *name = GET_NAME((SYM_REC_PTR)UNTAGGED_ADDR(t)); | ^ -
domain.c:416:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 416 | dv_ptr1 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var1); | ^ -
domain.c:417:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 417 | dv_ptr2 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var2); | ^ -
sapi.c:288:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 288 | *pointer = (void *)INTVAL(t); | ^ -
domain.c:420:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 420 | dv_ptr1 = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var1); | ^ -
domain.c:439:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 439 | bv_ptr1 = (BPLONG_PTR)DV_bit_vector_ptr(dv_ptr1); | ^ -
domain.c:440:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 440 | bv_ptr2 = (BPLONG_PTR)DV_bit_vector_ptr(dv_ptr2); | ^ -
arith.c:1216:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1216 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
domain.c:491:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 491 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(X); | ^ -
clpfd.c:809:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 809 | dv_ptr_x = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(X); | ^ -
clpfd.c:810:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 810 | dv_ptr_y = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Y); | ^ -
delay.c:64:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 64 | goal = (BPLONG)list; | ^ -
delay.c:65:17: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 65 | *heap_top = (BPLONG)heap_top; heap_top++; | ^ -
mic.c:364:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 364 | ptr1 = (BPLONG_PTR)UNTAGGED_ADDR(val1); | ^ -
mic.c:365:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 365 | ptr2 = (BPLONG_PTR)UNTAGGED_ADDR(val2); | ^ -
mic.c:366:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 366 | sym_ptr1 = (SYM_REC_PTR)(FOLLOW(ptr1)); | ^ -
mic.c:367:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 367 | sym_ptr2 = (SYM_REC_PTR)(FOLLOW(ptr2)); | ^ -
arith.c:1240:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1240 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
toam.h:542:36: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 542 | if (AR_IS_TOP(AR)) LOCAL_TOP = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(AR)); \ | ^ -
toam.h:543:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 543 | AR = (BPLONG_PTR)AR_AR(AR); | ^ -
clpfd.c:859:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 859 | dv_ptr_x = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(X); | ^ -
kissat_picat.c:47:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 47 | lst_ptr = (BPLONG_PTR)UNTAGGED_ADDR(cl); | ^ -
clpfd.c:860:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 860 | dv_ptr_y = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Y); | ^ -
findall.c:85:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 85 | prev_faa_low_addr = (BPLONG_PTR)FOLLOW(faa_low_addr); | ^ -
event.c:759:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 759 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(var); | ^ -
delay.c:67:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 67 | dv_ptr = (BPLONG_PTR)UNTAGGED_ADDR(var); | ^ -
delay.c:68:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 68 | dcs = (BPLONG_PTR)DV_ins_cs(dv_ptr); | ^ -
arith.c:1248:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1248 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
delay.c:70:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 70 | if ((BPLONG)list == -1) return BP_ERROR; | ^ -
delay.c:72:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 72 | dcs = (BPLONG_PTR)DV_minmax_cs(dv_ptr); | ^ -
delay.c:74:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 74 | if ((BPLONG)list == -1) return BP_ERROR; | ^ -
delay.c:76:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 76 | dcs = (BPLONG_PTR)DV_dom_cs(dv_ptr); | ^ -
delay.c:78:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 78 | if ((BPLONG)list == -1) return BP_ERROR; | ^ -
delay.c:80:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 80 | dcs = (BPLONG_PTR)DV_outer_dom_cs(dv_ptr); | ^ -
delay.c:82:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 82 | if ((BPLONG)list == -1) return BP_ERROR; | ^ -
delay.c:96:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 96 | while (ISLIST((BPLONG)cs)) { | ^ -
term.h:100:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 100 | #define UNTAGGED_ADDR(op) (((BPLONG)op) & VAL_MASK0) | ^ -
delay.c:97:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 97 | cs = (BPLONG_PTR)UNTAGGED_ADDR(cs); | ^ -
delay.c:98:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 98 | frame = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(FOLLOW(cs))); | ^ -
delay.c:98:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 98 | frame = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(FOLLOW(cs))); | ^ -
arith.c:1273:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1273 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
delay.c:107:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 107 | cs = (BPLONG_PTR)LIST_NEXT(cs); | ^ -
table.c:76:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 76 | FOLLOW(subgoalTable+i) = (BPLONG)NULL; | ^ -
delay.c:126:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 126 | while (AR_PREV(frame) != (BPLONG)frame) { /* end of chain */ | ^ -
delay.c:136:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 136 | frame = (BPLONG_PTR)AR_PREV(frame); | ^ -
clpfd.c:901:72: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 901 | printf("FLAG(%d) queue(" BPULONG_FMT_STR ")\n", event_flag[i], (BPULONG)triggeredCs[i]); | ^ -
kissat_picat.c:97:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 97 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(lst); | ^ -
arith.c:1274:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1274 | sym_ptr = (SYM_REC_PTR)FOLLOW(ptr); | ^ -
kissat_picat.c:100:26: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 100 | sv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(var); | ^ -
arith.c:1284:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1284 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
mic.c:457:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 457 | top = (BPLONG_PTR)UNTAGGED_ADDR(op2)+op1; | ^ -
arith.c:1311:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1311 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
arith.c:1312:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1312 | sym_ptr = (SYM_REC_PTR)FOLLOW(ptr); | ^ -
mic.c:468:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 468 | top = (BPLONG_PTR)UNTAGGED_ADDR(op2)+op1-1; | ^ -
arith.c:1322:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1322 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
sapi.c:341:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 341 | t = FOLLOW((BPLONG_PTR)t+1); | ^ -
event.c:789:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 789 | ptr1 = (BPLONG_PTR)UNTAGGED_ADDR(lists); | ^ -
event.c:793:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 793 | ptr2 = (BPLONG_PTR)UNTAGGED_ADDR(lst); | ^ -
assert_bp.c:213:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 213 | bucket_ptr = (InterpretedPredBucketPtr)FOLLOW(hashtable+i); | ^ -
assert_bp.c:216:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 216 | cell_ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
assert_bp.c:32:49: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 32 | FOLLOW((BPLONG_PTR)clause_record_ptr) = (BPLONG)free_record[5]; \ | ^ -
global.c:86:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 86 | oldValue = (BPLONG)GET_EP(sym_ptr); | ^ -
assert_bp.c:241:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 241 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
assert_bp.c:250:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 250 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
assert_bp.c:251:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 251 | sym_ptr = (SYM_REC_PTR)FOLLOW(ptr); | ^ -
global.c:93:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 93 | GET_EP(sym_ptr) = (int (*)(void))value; | ^ -
cpreds.c:347:33: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 347 | BPLONG_PTR struct_ptr = (BPLONG_PTR)UNTAGGED_ADDR(t); | ^ -
cpreds.c:348:31: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 348 | SYM_REC_PTR sym_ptr = (SYM_REC_PTR)FOLLOW(struct_ptr); | ^ -
assert_bp.c:273:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 273 | clause_record_ptr = (InterpretedClausePtr)UNTAGGED_ADDR(clause_record); | ^ -
assert_bp.c:278:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 278 | pred = (BPLONG)GET_EP(sym_ptr); | ^ -
cpreds.c:397:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 397 | return *((BPLONG_PTR)UNTAGGED_ADDR(t)+i-1); | ^ -
cpreds.c:399:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 399 | return *((BPLONG_PTR)UNTAGGED_ADDR(t)+i); | ^ -
global.c:98:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 98 | GET_EP(sym_ptr) = (int (*)(void))res; | ^ -
assert_bp.c:298:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 298 | clause_record_ptr = (InterpretedClausePtr)UNTAGGED_ADDR(clause_record); | ^ -
assert_bp.c:300:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 300 | bucket_ptr = (InterpretedPredBucketPtr)FOLLOW(hashtable+pred_ptr->bucket_size); | ^ -
findall.c:89:33: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 89 | prev_faa_low_addr = (BPLONG_PTR)FOLLOW(faa_low_addr); | ^ -
assert_bp.c:301:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 301 | cell_ptr = (BPLONG_PTR)UNTAGGED_ADDR(clause_record_ptr->cl_ref); /* clause_record_ptr points to struct(CellRef,Head,Body,Birth,Death) */ | ^ -
assert_bp.c:307:26: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 307 | bucket_ptr = (InterpretedPredBucketPtr)FOLLOW(hashtable+i); | ^ -
cpreds.c:417:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 417 | return *((BPLONG_PTR)UNTAGGED_ADDR(t)); | ^ -
assert_bp.c:311:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 311 | bucket_ptr = (InterpretedPredBucketPtr)FOLLOW(hashtable+hashval%pred_ptr->bucket_size); | ^ -
findall.c:104:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 104 | sym_ptr = (SYM_REC_PTR)UNTAGGED_ADDR(SymPtr); | ^ -
assert_bp.c:329:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 329 | cell_ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
cpreds.c:434:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 434 | return *((BPLONG_PTR)UNTAGGED_ADDR(t)+1); | ^ -
cpreds.c:449:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 449 | return (BPLONG)(heap_top-1); | ^ -
assert_bp.c:347:9: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 347 | if ((BPLONG_PTR)UNTAGGED_ADDR(bucket_ptr->list) == cell_ptr) { /* first in the chain */ | ^ -
findall.c:111:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 111 | value = make_cons_in_faa(value, (BPLONG)GET_EP(sym_ptr)); | ^ -
findall.c:114:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 114 | GET_EP(sym_ptr) = (int (*)(void))value; | ^ -
assert_bp.c:353:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 353 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
assert_bp.c:354:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 354 | FOLLOW(ptr+2) = (BPLONG)NULL; /* set prev to NULL */ | ^ -
assert_bp.c:357:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 357 | ptr = (BPLONG_PTR)FOLLOW(cell_ptr+2); /* prev */ | ^ -
assert_bp.c:358:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 358 | FOLLOW(cell_ptr+2) = (BPLONG)NULL; /* to indicate that the cell has been removed */ | ^ -
global.c:116:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 116 | GET_EP(sym_ptr) = (int (*)(void))res; | ^ -
assert_bp.c:366:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 366 | prev_ptr = (BPLONG_PTR)FOLLOW(cell_ptr+2); | ^ -
findall.c:128:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 128 | prev_faa_low_addr = (BPLONG_PTR)FOLLOW((area_record_ptr->low_addr)); | ^ -
findall.c:131:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 131 | prev_faa_low_addr = (BPLONG_PTR)FOLLOW(prev_faa_low_addr); | ^ -
clpfd.c:917:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 917 | dv_ptr_x = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(X); | ^ -
clpfd.c:918:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 918 | dv_ptr_y = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Y); | ^ -
findall.c:144:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 144 | sym_ptr = (SYM_REC_PTR)UNTAGGED_ADDR(SymPtr); | ^ -
findall.c:146:40: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 146 | Answers = copy_answers_faa_to_heap((BPLONG)GET_EP(sym_ptr)); | ^ -
mic.c:495:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 495 | top = (BPLONG_PTR)UNTAGGED_ADDR(op2)+op1; | ^ -
findall.c:156:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 156 | list_ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
cfd.c:138:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 138 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Tuples); | ^ -
mic.c:506:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 506 | top = (BPLONG_PTR)UNTAGGED_ADDR(op2)+op1-1; | ^ -
clpfd.c:988:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 988 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(SetTerm); | ^ -
cfd.c:141:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 141 | tuple_ptr = (BPLONG_PTR)UNTAGGED_ADDR(tuple); | ^ -
kapi.c:48:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 48 | w1 = INTVAL(*((BPLONG_PTR)term+1)); | ^ -
clpfd.h:396:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 396 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(x); \ | ^ -
clpfd.c:991:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 991 | sp_dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(SP); | ^ -
kapi.c:49:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 49 | w2 = INTVAL(*((BPLONG_PTR)term+2)); | ^ -
toam.h:554:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 554 | top = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(op1); \ | ^ -
clpfd.c:995:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 995 | sa_dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(SA); | ^ -
cfd.c:160:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 160 | mins_ptr = (BPLONG_PTR)UNTAGGED_ADDR(Mins); | ^ -
cfd.c:162:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 162 | maxs_ptr = (BPLONG_PTR)UNTAGGED_ADDR(Maxs); | ^ -
mic.c:534:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 534 | top = (BPLONG_PTR)UNTAGGED_ADDR(op2)+op1; | ^ -
mic.c:537:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 537 | top = (BPLONG_PTR)UNTAGGED_ADDR(op2)+op1-1; | ^ -
cfd.c:183:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 183 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Tuples); | ^ -
event.c:815:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 815 | ptr1 = (BPLONG_PTR)UNTAGGED_ADDR(lists); | ^ -
clpfd.c:1036:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1036 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(SetTerm); | ^ -
event.c:819:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 819 | ptr2 = (BPLONG_PTR)UNTAGGED_ADDR(lst); | ^ -
global.c:132:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 132 | return unify(value, (BPLONG)GET_EP(sym_ptr)); | ^ -
clpfd.h:332:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 332 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(x); \ | ^ -
table.c:95:26: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 95 | block_low_addr = (BPLONG_PTR)FOLLOW(block_low_addr); | ^ -
table.c:99:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 99 | subgoal_entry = (BPLONG_PTR)subgoalTable[i]; | ^ -
table.c:101:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 101 | answerTable = (BPLONG_PTR)GT_ANSWER_TABLE(subgoal_entry); | ^ -
table.c:102:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 102 | if (answerTable != NULL && ((BPLONG)answerTable & 0x1) == 0) { /* answer table exists only when there are two or more answers */ | ^ -
table.c:105:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 105 | subgoal_entry = (BPLONG_PTR)GT_NEXT(subgoal_entry); | ^ -
table.c:130:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 130 | bp_exception = (BPLONG)NULL; | ^ -
table.c:138:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 138 | prev_low_addr = (BPLONG_PTR)FOLLOW(low_addr); | ^ -
table.c:142:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 142 | prev_low_addr = (BPLONG_PTR)FOLLOW(low_addr); | ^ -
cpreds.c:517:17: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 517 | *heap_top = (BPLONG)insert_sym(name, strlen(name), arity); | ^ -
table.c:166:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 166 | subgoal_entry = (BPLONG_PTR)FOLLOW(subgoalTable+i); | ^ -
table.c:171:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 171 | answerTable = (BPLONG_PTR)GT_ANSWER_TABLE(subgoal_entry); | ^ -
table.c:173:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 173 | if (((BPLONG)answerTable & 0x1) == 0) { /* answer table exists only when there are two or more answers */ | ^ -
domain.c:663:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 663 | bv_ptr = (BPLONG_PTR)DV_bit_vector_ptr(dv_ptr); | ^ -
table.c:177:34: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 177 | bucket_ptr = (BPLONG_PTR)ANSWERTABLE_BUCKET_PTR(answerTable); | ^ -
table.c:180:34: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 180 | answer = (BPLONG_PTR)FOLLOW(bucket_ptr+j); | ^ -
table.c:184:38: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 184 | answer = (BPLONG_PTR)ANSWER_NEXT_IN_CHAIN(answer); | ^ -
clause.c:23:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 23 | clause_record_ptr = (InterpretedClausePtr)UNTAGGED_ADDR(ref); | ^ -
global.c:147:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 147 | term = (BPLONG)GET_EP(sym_ptr); | ^ -
table.c:193:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 193 | subgoal_entry = (BPLONG_PTR)GT_NEXT(subgoal_entry); | ^ -
clpfd.h:426:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 426 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(x); \ | ^ -
gc.h:33:37: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 33 | gcQueue[gcQueueRear].addr = (BPLONG_PTR)ptr; \ | ^ -
table.c:216:25: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 216 | subgoal_entry = (BPLONG_PTR)FOLLOW(subgoalTable+i); | ^ -
table.c:218:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 218 | answerTable = (BPLONG_PTR)GT_ANSWER_TABLE(subgoal_entry); | ^ -
table.c:219:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 219 | if (answerTable != NULL && ((BPLONG)answerTable & 0x1) == 0) { /* answer table exists only when there are two or more answers */ | ^ -
table.c:220:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 220 | bucket_ptr = (BPLONG_PTR)ANSWERTABLE_BUCKET_PTR(answerTable); | ^ -
table.c:226:38: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 226 | FOLLOW(subgoalTable+i) = (BPLONG)NULL; | ^ -
clause.c:34:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 34 | head_ptr = (BPLONG_PTR)UNTAGGED_ADDR(head); | ^ -
table.c:227:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 227 | subgoal_entry = (BPLONG_PTR)GT_NEXT(subgoal_entry); | ^ -
clause.c:35:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 35 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(head_ptr)); | ^ -
cpreds.c:566:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 566 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(list); | ^ -
clause.c:36:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 36 | cl_head_ptr = (BPLONG_PTR)UNTAGGED_ADDR(cl_head); | ^ -
clpfd.h:364:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 364 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(x); \ | ^ -
gc.h:55:17: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 55 | term1 = (BPLONG)gcQueue[gcQueueRear].addr; \ | ^ -
table.c:247:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 247 | if (FOLLOW((BPLONG_PTR)t1-2) != FOLLOW((BPLONG_PTR)t2-2)) return 0; | ^ -
table.c:247:48: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 247 | if (FOLLOW((BPLONG_PTR)t1-2) != FOLLOW((BPLONG_PTR)t2-2)) return 0; | ^ -
assert_bp.c:369:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 369 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(FOLLOW(cell_ptr+1)); /* next cell */ | ^ -
assert_bp.c:370:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 370 | FOLLOW(ptr+2) = (BPLONG)prev_ptr; | ^ -
assert_bp.c:371:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 371 | FOLLOW(cell_ptr+2) = (BPLONG)NULL; | ^ -
gcqueue.c:90:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 90 | FOLLOW(ptr+i) = (BPLONG)gcQueue[i].addr; | ^ -
cpreds.c:649:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 649 | BPLONG_PTR old_b = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)breg); | ^ -
cpreds.c:649:60: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 649 | BPLONG_PTR old_b = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)breg); | ^ -
cpreds.c:649:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 649 | BPLONG_PTR old_b = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)breg); | ^ -
cpreds.c:660:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 660 | breg = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)old_b); | ^ -
cpreds.c:660:48: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 660 | breg = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)old_b); | ^ -
cpreds.c:660:12: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 660 | breg = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)old_b); | ^ -
cpreds.c:661:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 661 | hbreg = (BPLONG_PTR)AR_H(breg); | ^ -
cpreds.c:674:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 674 | BPLONG_PTR old_b = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)breg); | ^ -
cpreds.c:674:60: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 674 | BPLONG_PTR old_b = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)breg); | ^ -
cpreds.c:674:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 674 | BPLONG_PTR old_b = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)breg); | ^ -
gcqueue.c:180:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 180 | BPULONG offset = ((BPULONG)addr-(BPULONG)base)/sizeof(BPLONG); | ^ -
gcqueue.c:180:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 180 | BPULONG offset = ((BPULONG)addr-(BPULONG)base)/sizeof(BPLONG); | ^ -
kissat_picat.c:162:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 162 | sv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(BV); | ^ -
findall.c:179:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 179 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
findall.c:179:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 179 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
findall.c:182:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 182 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
findall.c:182:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 182 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
clpfd.h:659:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 659 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(x); \ | ^ -
kissat_picat.c:170:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 170 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(BV); | ^ -
assert_bp.c:402:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 402 | pred = (BPLONG)GET_EP(sym_ptr); | ^ -
delay.c:162:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 162 | dv_ptr = (BPLONG_PTR)UNTAGGED_ADDR(Var); | ^ -
domain.c:683:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 683 | bv_ptr = (BPLONG_PTR)DV_bit_vector_ptr(dv_ptr); | ^ -
expand_bp.c:68:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 68 | top = (BPLONG_PTR)AR_T(my_breg); | ^ -
expand_bp.c:69:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 69 | diff = (BPULONG)trail_up_addr-(BPULONG)top; | ^ -
expand_bp.c:69:39: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 69 | diff = (BPULONG)trail_up_addr-(BPULONG)top; | ^ -
expand_bp.c:70:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 70 | AR_T(my_breg) = (BPULONG)new_trail_up_addr-diff; | ^ -
expand_bp.c:71:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 71 | if (AR_B(my_breg) == (BPLONG)my_breg) break; | ^ -
kissat_picat.c:205:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 205 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(X); | ^ -
expand_bp.c:72:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 72 | my_breg = (BPLONG_PTR)AR_B(my_breg); | ^ -
expand_bp.c:76:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 76 | diff = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
expand_bp.c:76:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 76 | diff = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
expand_bp.c:84:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 84 | return (BPLONG_PTR)((BPULONG)new_trail_up_addr-diff); | ^ -
expand_bp.c:84:12: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 84 | return (BPLONG_PTR)((BPULONG)new_trail_up_addr-diff); | ^ -
kissat_picat.c:224:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 224 | vect_ptr = (BPLONG_PTR)UNTAGGED_ADDR(LogBitVect); | ^ -
kissat_picat.c:225:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 225 | sym_ptr = (SYM_REC_PTR)FOLLOW(vect_ptr); | ^ -
expand_bp.c:110:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 110 | f = (BPLONG_PTR)AR_AR(f); | ^ -
expand_bp.c:118:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 118 | if (b == (BPLONG_PTR)AR_B(b)) return; | ^ -
expand_bp.c:119:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 119 | b = (BPLONG_PTR)AR_B(b); | ^ -
expand_bp.c:127:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 127 | if (sf == (BPLONG_PTR)AR_PREV(sf)) return; | ^ -
expand_bp.c:128:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 128 | sf = (BPLONG_PTR)AR_PREV(sf); | ^ -
mic.c:651:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 651 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op2); | ^ -
sapi.c:425:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 425 | FOLLOW(tail) = FOLLOW((BPLONG_PTR)t+1); | ^ -
clpfd.c:1039:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1039 | sa_dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(SA); | ^ -
expand_bp.c:187:14: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 187 | diff_h = (BPULONG)new_stack_low_addr-(BPULONG)stack_low_addr; /* add this to heap pointers */ | ^ -
expand_bp.c:187:42: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 187 | diff_h = (BPULONG)new_stack_low_addr-(BPULONG)stack_low_addr; /* add this to heap pointers */ | ^ -
expand_bp.c:188:14: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 188 | diff_s = (BPULONG)new_stack_up_addr-(BPULONG)stack_up_addr; /* add this to stack pointers */ | ^ -
expand_bp.c:188:41: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 188 | diff_s = (BPULONG)new_stack_up_addr-(BPULONG)stack_up_addr; /* add this to stack pointers */ | ^ -
expand_bp.c:190:59: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 190 | my_memcpy_btm_up(new_stack_low_addr, stack_low_addr, ((BPULONG)heap_top-(BPULONG)stack_low_addr)/sizeof(BPLONG)); | ^ -
expand_bp.c:190:77: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 190 | my_memcpy_btm_up(new_stack_low_addr, stack_low_addr, ((BPULONG)heap_top-(BPULONG)stack_low_addr)/sizeof(BPLONG)); | ^ -
expand_bp.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | my_memcpy_btm_up((BPLONG_PTR)((BPULONG)local_top+diff_s)+1, local_top+1, ((BPULONG)stack_up_addr-(BPULONG)local_top)/sizeof(BPLONG)); | ^ -
expand_bp.c:191:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 191 | my_memcpy_btm_up((BPLONG_PTR)((BPULONG)local_top+diff_s)+1, local_top+1, ((BPULONG)stack_up_addr-(BPULONG)local_top)/sizeof(BPLONG)); | ^ -
expand_bp.c:191:79: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | my_memcpy_btm_up((BPLONG_PTR)((BPULONG)local_top+diff_s)+1, local_top+1, ((BPULONG)stack_up_addr-(BPULONG)local_top)/sizeof(BPLONG)); | ^ -
expand_bp.c:191:102: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | my_memcpy_btm_up((BPLONG_PTR)((BPULONG)local_top+diff_s)+1, local_top+1, ((BPULONG)stack_up_addr-(BPULONG)local_top)/sizeof(BPLONG)); | ^ -
expand_bp.c:201:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 201 | arreg = (BPLONG_PTR)((BPULONG)arreg+diff_s); | ^ -
expand_bp.c:201:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 201 | arreg = (BPLONG_PTR)((BPULONG)arreg+diff_s); | ^ -
expand_bp.c:202:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 202 | local_top = (BPLONG_PTR)((BPULONG)local_top+diff_s); | ^ -
expand_bp.c:202:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 202 | local_top = (BPLONG_PTR)((BPULONG)local_top+diff_s); | ^ -
expand_bp.c:203:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 203 | breg = (BPLONG_PTR)((BPULONG)breg+diff_s); | ^ -
expand_bp.c:203:12: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 203 | breg = (BPLONG_PTR)((BPULONG)breg+diff_s); | ^ -
expand_bp.c:204:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 204 | gc_b = (BPLONG_PTR)((BPULONG)gc_b+diff_s); | ^ -
expand_bp.c:204:12: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 204 | gc_b = (BPLONG_PTR)((BPULONG)gc_b+diff_s); | ^ -
expand_bp.c:205:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 205 | breg0 = (BPLONG_PTR)((BPULONG)breg0+diff_s); | ^ -
clpfd.c:1049:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1049 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Card); | ^ -
expand_bp.c:205:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 205 | breg0 = (BPLONG_PTR)((BPULONG)breg0+diff_s); | ^ -
expand_bp.c:206:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 206 | heap_top = (BPLONG_PTR)((BPULONG)heap_top+diff_h); | ^ -
expand_bp.c:206:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 206 | heap_top = (BPLONG_PTR)((BPULONG)heap_top+diff_h); | ^ -
expand_bp.c:207:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 207 | sfreg = (BPLONG_PTR)((BPULONG)sfreg+diff_s); | ^ -
expand_bp.c:207:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 207 | sfreg = (BPLONG_PTR)((BPULONG)sfreg+diff_s); | ^ -
expand_bp.c:208:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 208 | hbreg = (BPLONG_PTR)((BPULONG)hbreg+diff_h); | ^ -
expand_bp.c:208:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 208 | hbreg = (BPLONG_PTR)((BPULONG)hbreg+diff_h); | ^ -
mic.c:713:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 713 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op2); | ^ -
expand_bp.c:232:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 232 | cp = (BPLONG_PTR)AR_CPF(b); | ^ -
expand_bp.c:236:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 236 | if (b == (BPLONG_PTR)AR_B(b)) break; | ^ -
expand_bp.c:237:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 237 | b = (BPLONG_PTR)AR_B(b); | ^ -
expand_bp.c:250:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 250 | prev_f = (BPLONG_PTR)AR_AR(f); | ^ -
expand_bp.c:253:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 253 | cp = (BPLONG_PTR)AR_CPS(f); | ^ -
expand_bp.c:264:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 264 | top = (BPLONG_PTR)AR_TOP(f); | ^ -
expand_bp.c:266:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 266 | FOLLOW(ptr) = (BPLONG)ptr; | ^ -
expand_bp.c:293:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 293 | breg1 = (BPLONG_PTR)AR_B(breg); | ^ -
clpfd.c:1055:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1055 | sp_dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(SP); | ^ -
clpfd.c:1079:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1079 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(SetTerm); | ^ -
clpfd.c:1082:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1082 | sp_dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(SP); | ^ -
kapi.c:122:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 122 | NEW_HEAP_NODE((BPLONG)objectRef); /* '$addr'(int1,int2) */ | ^ -
table.c:248:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 248 | op1 = *(BPLONG_PTR)t1; | ^ -
table.c:249:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 249 | op2 = *(BPLONG_PTR)t2; | ^ -
table.c:251:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 251 | t1 = *((BPLONG_PTR)t1+1); | ^ -
table.c:252:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 252 | t2 = *((BPLONG_PTR)t2+1); | ^ -
clpfd.c:1089:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1089 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Card); | ^ -
table.c:258:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 258 | if (FOLLOW((BPLONG_PTR)t1-2) != FOLLOW((BPLONG_PTR)t2-2)) return 0; | ^ -
table.c:258:48: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 258 | if (FOLLOW((BPLONG_PTR)t1-2) != FOLLOW((BPLONG_PTR)t2-2)) return 0; | ^ -
clpfd.c:1096:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1096 | sa_dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(SA); | ^ -
table.c:259:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 259 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(t1)); | ^ -
table.c:261:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 261 | op1 = *((BPLONG_PTR)t1+i); | ^ -
table.c:262:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 262 | op2 = *((BPLONG_PTR)t2+i); | ^ -
table.c:265:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 265 | t1 = *((BPLONG_PTR)t1+arity); | ^ -
table.c:266:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 266 | t2 = *((BPLONG_PTR)t2+arity); | ^ -
clpfd.c:1141:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1141 | FOLLOW(heap_top++) = (BPLONG)comma_psc; | ^ -
expand_bp.c:305:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 305 | sf1 = (BPLONG_PTR)AR_PREV(sf); | ^ -
cfd.c:186:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 186 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(tuple); | ^ -
expand_bp.c:319:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 319 | ar1 = (BPLONG_PTR)AR_AR(ar); | ^ -
table.c:290:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 290 | t1 = FOLLOW((BPLONG_PTR)t1+1); | ^ -
table.c:291:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 291 | t2 = FOLLOW((BPLONG_PTR)t2+1); | ^ -
expand_bp.c:336:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 336 | subgoal_entry = (BPLONG_PTR)GET_AR_SUBGOAL_TABLE(ar); | ^ -
table.c:301:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 301 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(t1)); | ^ -
table.c:303:42: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 303 | match_term_tabledTerm(FOLLOW((BPLONG_PTR)t1+i), FOLLOW((BPLONG_PTR)t2+i)); | ^ -
expand_bp.c:338:29: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 338 | master_ar = (BPLONG_PTR)GT_TOP_AR(subgoal_entry); | ^ -
table.c:303:68: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 303 | match_term_tabledTerm(FOLLOW((BPLONG_PTR)t1+i), FOLLOW((BPLONG_PTR)t2+i)); | ^ -
expand_bp.c:340:48: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 340 | GT_TOP_AR(subgoal_entry) = (BPULONG)master_ar + diff_s; | ^ -
bapi.h:96:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 96 | *trail_top-- = (BPLONG)(val); \ | ^ -
table.c:305:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 305 | t1 = FOLLOW((BPLONG_PTR)t1+arity); | ^ -
bapi.h:97:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 97 | *trail_top-- = (BPLONG)(addr);} | ^ -
table.c:306:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 306 | t2 = FOLLOW((BPLONG_PTR)t2+arity); | ^ -
table.c:329:56: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 329 | FOLLOW(global_unnumbervar_ptr-varNo) = (BPLONG)heap_top; | ^ -
expand_bp.c:359:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 359 | sp = (BPLONG_PTR)UNTAGGED_ADDR(AR_BTM(f)); | ^ -
table.c:336:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 336 | term_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
expand_bp.c:368:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 368 | top = (BPLONG_PTR)AR_TOP(f); | ^ -
expand_bp.c:374:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 374 | sp = (BPLONG_PTR)((BPULONG)f+diff_s); /* this frame will be moved here, reset AR_BTM(f) now */ | ^ -
expand_bp.c:374:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 374 | sp = (BPLONG_PTR)((BPULONG)f+diff_s); /* this frame will be moved here, reset AR_BTM(f) now */ | ^ -
table.c:351:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 351 | term_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
table.c:355:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 355 | sym_ptr = (SYM_REC_PTR)FOLLOW(term_ptr); | ^ -
expand_bp.c:387:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 387 | addr = (BPLONG_PTR)UNTAGGED3(op); | ^ -
table.c:363:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 363 | FOLLOW(ptr) = (BPLONG)sym_ptr; | ^ -
kapi.c:123:28: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 123 | NEW_HEAP_NODE(MAKEINT(((BPULONG)a << HALF_WORD_LONG) >> HALF_WORD_LONG)); | ^ -
kapi.c:124:28: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 124 | NEW_HEAP_NODE(MAKEINT(((BPULONG)a >> HALF_WORD_LONG))); | ^ -
cfd.c:209:11: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 209 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(Mins); | ^ -
kapi.c:162:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 162 | return *((BPLONG_PTR)UNTAGGED_ADDR(term)); | ^ -
kapi.c:170:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 170 | return *((BPLONG_PTR)UNTAGGED_ADDR(term)); | ^ -
clpfd.c:1152:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1152 | FOLLOW(heap_top++) = (BPLONG)set_constructor_psc; | ^ -
cfd.c:252:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 252 | maxs_ptr = (BPLONG_PTR)UNTAGGED_ADDR(Maxs); | ^ -
cfd.c:253:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 253 | sym_ptr = (SYM_REC_PTR)FOLLOW(maxs_ptr); n = GET_ARITY(sym_ptr); | ^ -
kapi.c:178:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 178 | return *((BPLONG_PTR)UNTAGGED_ADDR(term)+1); | ^ -
kapi.c:186:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 186 | return *((BPLONG_PTR)UNTAGGED_ADDR(term)+1); | ^ -
clpfd.c:1204:38: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1204 | FOLLOW(heap_top++) = (BPLONG)set_constructor_psc; | ^ -
clpfd.c:1210:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1210 | FOLLOW(heap_top++) = (BPLONG)comma_psc; | ^ -
assert_bp.c:434:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 434 | pred = (BPLONG)GET_EP(sym_ptr); | ^ -
cpreds.c:685:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 685 | breg = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)old_b); | ^ -
cpreds.c:685:48: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 685 | breg = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)old_b); | ^ -
cpreds.c:685:12: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 685 | breg = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)old_b); | ^ -
cpreds.c:686:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 686 | hbreg = (BPLONG_PTR)AR_H(breg); | ^ -
cfd.c:289:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 289 | tries_ptr = (BPLONG_PTR)UNTAGGED_ADDR(A2Tries); | ^ -
cfd.c:314:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 314 | htable_ptr = (BPLONG_PTR)UNTAGGED_ADDR(HTable); | ^ -
cfd.c:315:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 315 | sym_ptr = (SYM_REC_PTR)FOLLOW(htable_ptr); | ^ -
assert_bp.c:464:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 464 | pred = (BPLONG)GET_EP(sym_ptr); | ^ -
cfd.c:319:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 319 | comp_vars_ptr = (BPLONG_PTR)UNTAGGED_ADDR(CompVars); | ^ -
cfd.c:320:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 320 | sym_ptr = (SYM_REC_PTR)FOLLOW(comp_vars_ptr); n = GET_ARITY(sym_ptr); | ^ -
cpreds.c:859:52: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 859 | aux_term_2_string_term(*((BPLONG_PTR)term+i)); | ^ -
cfd.c:343:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 343 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(compvar); | ^ -
assert_bp.c:53:40: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 53 | free_record[record_size] = (BPLONG_PTR)FOLLOW(record_ptr); \ | ^ -
cpreds.c:876:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 876 | temp = FOLLOW((BPLONG_PTR)term+1); | ^ -
findall.c:203:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 203 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
findall.c:203:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 203 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
findall.c:206:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 206 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
findall.c:206:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 206 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
cfd.c:369:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 369 | FOLLOW(tuple_ptr) = (BPLONG)sym_ptr; | ^ -
cfd.c:375:17: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 375 | tries_ptr = (BPLONG_PTR)UNTAGGED_ADDR(A2Tries); | ^ -
global.c:199:64: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 199 | GET_EP(sym_ptr) = (int (*)(void))make_cons_in_parea(temp1, (BPLONG)GET_EP(sym_ptr)); | ^ -
global.c:199:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 199 | GET_EP(sym_ptr) = (int (*)(void))make_cons_in_parea(temp1, (BPLONG)GET_EP(sym_ptr)); | ^ -
global.c:200:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 200 | if ((BPLONG)GET_EP(sym_ptr) == BP_ERROR) return BP_ERROR; | ^ -
assert_bp.c:505:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 505 | FOLLOW(hashtable+i) = (BPLONG)new_interpreted_bucket(); | ^ -
assert_bp.c:506:36: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 506 | if (FOLLOW(hashtable+i) == (BPLONG)NULL) { | ^ -
toam.h:546:9: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 546 | P = (BPLONG_PTR)AR_CPS(AR); \ | ^ -
toam.h:547:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 547 | AR = (BPLONG_PTR)AR_AR(AR); | ^ -
findall.c:261:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 261 | term_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
findall.c:262:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 262 | sym_ptr = (SYM_REC_PTR)FOLLOW(term_ptr); | ^ -
cfd.c:411:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 411 | tuples_ptr = (BPLONG_PTR)UNTAGGED_ADDR(Tuples); | ^ -
cfd.c:413:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 413 | tuple_ptr = (BPLONG_PTR)UNTAGGED_ADDR(tuple); | ^ -
global.c:224:15: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 224 | if (ISNIL((BPLONG)GET_EP(sym_ptr))) | ^ -
global.c:225:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 225 | GET_EP(sym_ptr) = (int (*)(void))term; | ^ -
global.c:227:14: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 227 | op = (BPLONG)GET_EP(sym_ptr); | ^ -
global.c:231:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 231 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(op)+1; | ^ -
domain.c:694:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 694 | bv_ptr = (BPLONG_PTR)DV_bit_vector_ptr(dv_ptr); | ^ -
assert_bp.c:542:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 542 | pred = (BPLONG)GET_EP(sym_ptr); | ^ -
domain.c:757:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 757 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(DVar); | ^ -
findall.c:294:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 294 | dest_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(term); | ^ -
findall.c:309:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 309 | term_ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
global.c:262:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 262 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
clpfd.h:530:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 530 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(x); \ | ^ -
global.c:262:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 262 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
global.c:264:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 264 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
global.c:264:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 264 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
delay.c:187:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 187 | dv_ptr = (BPLONG_PTR)UNTAGGED_ADDR(Var); | ^ -
global.c:277:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 277 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
global.c:277:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 277 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
global.c:280:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 280 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
global.c:280:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 280 | trail_top0 = (BPLONG_PTR)((BPULONG)trail_up_addr-initial_diff0); | ^ -
bapi.h:24:42: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 24 | #define IS_STACK_OR_HEAP_REFERENCE(ptr) ((BPLONG_PTR)ptr >= stack_low_addr && (BPLONG_PTR)ptr <= stack_up_addr) | ^ -
delay.c:207:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 207 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(cs_list); | ^ -
bapi.h:24:79: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 24 | #define IS_STACK_OR_HEAP_REFERENCE(ptr) ((BPLONG_PTR)ptr >= stack_low_addr && (BPLONG_PTR)ptr <= stack_up_addr) | ^ -
delay.c:208:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 208 | constr_ar = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(FOLLOW(ptr))); | ^ -
delay.c:208:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 208 | constr_ar = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(FOLLOW(ptr))); | ^ -
table.c:386:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 386 | new_htable[i] = (BPLONG)NULL; | ^ -
domain.c:779:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 779 | bv_ptr = (BPLONG_PTR)DV_bit_vector_ptr(dv_ptr); | ^ -
delay.c:225:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 225 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(cs_list); | ^ -
delay.c:226:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 226 | constr_ar = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(FOLLOW(ptr))); | ^ -
table.c:389:36: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 389 | BPLONG_PTR subgoal_entry = (BPLONG_PTR)old_htable[i]; | ^ -
delay.c:226:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 226 | constr_ar = (BPLONG_PTR)((BPULONG)stack_up_addr-(BPULONG)UNTAGGED_CONT(FOLLOW(ptr))); | ^ -
table.c:391:34: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 391 | next_subgoal_entry = (BPLONG_PTR)GT_NEXT(subgoal_entry); | ^ -
clpfd.c:30:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 30 | dv_ptr_b = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(B); \ | ^ -
expand_bp.c:423:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 423 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
table.c:394:33: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 394 | new_htable[index] = (BPLONG)subgoal_entry; | ^ -
table.c:414:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 414 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
table.c:414:44: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 414 | initial_diff0 = (BPULONG)trail_up_addr-(BPULONG)trail_top; | ^ -
expand_bp.c:435:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 435 | ptr = (BPLONG_PTR)UNTAGGED_ADDR(term); | ^ -
expand_bp.c:438:35: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 438 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(ptr)); | ^ -
domain.c:804:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 804 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(DVar); | ^ -
expand_bp.c:448:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 448 | ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(term); /* TAG on data */ | ^ -
mic.c:807:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 807 | lst_ptr = (BPLONG_PTR)UNTAGGED_ADDR(op1); | ^ -
expand_bp.c:459:30: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 459 | bv_ptr = (BPLONG_PTR)DV_bit_vector_ptr(ptr); | ^ -
domain.c:825:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 825 | bv_ptr = (BPLONG_PTR)DV_bit_vector_ptr(dv_ptr); | ^ -
expand_bp.c:483:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 483 | return (BPLONG_PTR)((BPULONG)addr+diff_h); | ^ -
expand_bp.c:483:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 483 | return (BPLONG_PTR)((BPULONG)addr+diff_h); | ^ -
expand_bp.c:485:29: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 485 | return (BPLONG_PTR)((BPULONG)addr+diff_s); | ^ -
expand_bp.c:485:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 485 | return (BPLONG_PTR)((BPULONG)addr+diff_s); | ^ -
expand_bp.c:498:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 498 | addr = (BPLONG_PTR)UNTAGGED_ADDR(op); | ^ -
expand_bp.c:500:40: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 500 | new_ptr = (BPLONG_PTR)((BPULONG)ptr+diff_h); | ^ -
expand_bp.c:500:27: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 500 | new_ptr = (BPLONG_PTR)((BPULONG)ptr+diff_h); | ^ -
expand_bp.c:501:43: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 501 | FOLLOW(new_ptr) = ADDTAG(((BPULONG)addr+diff_h), (op & TAG_MASK)); | ^ -
expand_bp.c:520:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 520 | addr = (BPLONG_PTR)UNTAGGED_ADDR(op); | ^ -
expand_bp.c:521:36: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 521 | new_ptr = (BPLONG_PTR)((BPULONG)ptr+diff_s); | ^ -
expand_bp.c:521:23: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 521 | new_ptr = (BPLONG_PTR)((BPULONG)ptr+diff_s); | ^ -
expand_bp.c:522:38: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 522 | FOLLOW(new_ptr) = ADDTAG((BPLONG)expandStackResetAddr(addr, diff_h, diff_s), (op & TAG_MASK)); | ^ -
emu_inst.h:177:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 177 | P = (BPLONG_PTR)tmp_op; | ^ -
expand_bp.c:535:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 535 | addr = (BPLONG_PTR)UNTAGGED3(op); | ^ -
clause.c:66:34: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 66 | head_ptr = (BPLONG_PTR)UNTAGGED_ADDR(head_arg); | ^ -
clause.c:67:37: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 67 | cl_head_ptr = (BPLONG_PTR)UNTAGGED_ADDR(cl_head_arg); | ^ -
clause.c:73:34: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 73 | head_ptr = (BPLONG_PTR)UNTAGGED_ADDR(head_arg); | ^ -
mic.c:875:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 875 | top = (BPLONG_PTR)FOLLOW(top); | ^ -
clause.c:74:37: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 74 | cl_head_ptr = (BPLONG_PTR)UNTAGGED_ADDR(cl_head_arg); | ^ -
mic.c:887:80: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 887 | fprintf(stderr, " Stack in use:%10s bytes\n", format_comma_separated_int(((BPULONG)stack_up_addr-(BPULONG)arreg))); | ^ -
mic.c:887:103: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 887 | fprintf(stderr, " Stack in use:%10s bytes\n", format_comma_separated_int(((BPULONG)stack_up_addr-(BPULONG)arreg))); | ^ -
clause.c:76:41: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 76 | arity = GET_ARITY((SYM_REC_PTR)FOLLOW(head_ptr)); | ^ -
mic.c:888:82: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 888 | fprintf(stderr, " Heap in use: %10s bytes\n\n", format_comma_separated_int(((BPULONG)heap_top-(BPULONG)stack_low_addr))); | ^ -
mic.c:888:100: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 888 | fprintf(stderr, " Heap in use: %10s bytes\n\n", format_comma_separated_int(((BPULONG)heap_top-(BPULONG)stack_low_addr))); | ^ -
mic.c:892:123: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 892 | fprintf(stderr, " In use: %10s bytes\n", format_comma_separated_int(total_parea_size-total_free_records_size()-((BPULONG)parea_up_addr-(BPULONG)curr_fence))); | ^ -
mic.c:892:146: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 892 | fprintf(stderr, " In use: %10s bytes\n", format_comma_separated_int(total_parea_size-total_free_records_size()-((BPULONG)parea_up_addr-(BPULONG)curr_fence))); | ^ -
mic.c:896:82: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 896 | fprintf(stderr, " In use: %10s bytes\n\n", format_comma_separated_int(((BPULONG)trail_up_addr-(BPULONG)trail_top))); | ^ -
domain.c:843:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 843 | dv_ptr = (BPLONG_PTR)UNTAGGED_TOPON_ADDR(Var); | ^ -
expand_bp.c:537:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 537 | FOLLOW(curr_t) = ADDTAG3((BPLONG)expandStackResetAddr(addr, diff_h, diff_s), addr_tag); | ^ -
expand_bp.c:541:24: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 541 | addr = (BPLONG_PTR)UNTAGGED_ADDR(op); | ^ -
expand_bp.c:542:43: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 542 | FOLLOW(curr_t+1) = ADDTAG((BPLONG)expandStackResetAddr(addr, diff_h, diff_s), (op & TAG_MASK)); | ^ -
table.c:428:15: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 428 | hcode0 = ((BPLONG)sym_ptr & HASH_BITS) >> 2; | ^ -
table.c:449:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 449 | entryPtr = (BPLONG_PTR)FOLLOW(entryPtrPtr0); | ^ -
table.c:453:13: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 453 | if ((SYM_REC_PTR)GT_SYM(entryPtr) != sym_ptr) goto lab_fail1; | ^