作者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