原來 ---
BddNodeInt* p = ...;
size_t pv = *((size_t*)p);
pv = pv + COMPLEMENT_FLAG;
應改為 ---
BddNodeInt* p = ...;
size_t pv = (size_t)p;
pv = pv + COMPLEMENT_FLAG;
---
感謝指正!!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.130.20