作者allen0414 (我是阿槛耶XD)
看板EE_DSnP
标题test後的问题
时间Sun Jun 22 23:07:42 2008
test已经可以compile过
可是一开a.out
就出现segmentation fault
用gdb看
Program received signal SIGSEGV, Segmentation fault.
0x000000000040354e in BddNodeInt::getLevel ()
(gdb) where
#0 0x000000000040354e in BddNodeInt::getLevel ()
#1 0x00000000004015fd in BddNode::getLevel ()
#2 0x0000000000402632 in BddMgr::ite ()
#3 0x00000000004026e3 in BddMgr::ite ()
#4 0x000000000040189b in BddNode::operator| ()
#5 0x0000000000403081 in main ()
错在getLevel()????
还是会有哪里有可能错呢???
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.49.246
1F：推 sfox3258:我也想问一样的问题 我也是crash在这... 06/22 23:19
2F：推 timrau:尝试up 1~2层，看是不是对NULL pointer取getLevel()... 06/22 23:21
3F：推 ric2k1:为什麽会去 access NULL BddNodeInt*? 06/22 23:56
4F：推 sfox3258:我刚找到bug是在 checkIteTerminal的地方没写好! 06/23 00:49
5F：→ allen0414:DE了一天了....... DE不出来 06/23 11:41