API tools faq
paste
Guest User

STACK output for BRL-CAD

a guest
Sep 17th, 2013
78
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 117.11 KB | None | 0 0
raw download clone embed print report
  1. STACK output for BRL-CAD r57691, 9/17/13
  2.  
  3. ---
  4. bug: anti-simplify
  5. model: |
  6. %1239 = icmp eq %class.ON_Brep* %67, null, !dbg !3274
  7. --> false
  8. stack:
  9. - brlcad/src/proc-db/brep_simple.cpp:406:0
  10. ncore: 1
  11. core:
  12. - brlcad/src/proc-db/brep_simple.cpp:404:0
  13. - null pointer dereference
  14. ---
  15. bug: anti-simplify
  16. model: |
  17. %415 = icmp eq %class.ON_Brep* %56, null, !dbg !6403
  18. --> false
  19. stack:
  20. - brlcad/src/proc-db/surfaceintersect.cpp:1267:0
  21. ncore: 1
  22. core:
  23. - brlcad/src/other/openNURBS/opennurbs_array.h:1098:0
  24. - null pointer dereference
  25. ---
  26. bug: anti-simplify
  27. model: |
  28. %437 = icmp eq %class.ON_Brep* %56, null, !dbg !6403
  29. --> false
  30. stack:
  31. - brlcad/src/proc-db/surfaceintersect.cpp:1314:0
  32. ncore: 1
  33. core:
  34. - brlcad/src/other/openNURBS/opennurbs_array.h:1098:0
  35. - null pointer dereference
  36. ---
  37. bug: anti-simplify
  38. model: |
  39. %95 = icmp eq %class.ON_Brep* %65, null, !dbg !3088
  40. --> false
  41. stack:
  42. - brlcad/src/proc-db/breplicator.cpp:434:0
  43. ncore: 1
  44. core:
  45. - brlcad/src/proc-db/breplicator.cpp:433:0
  46. - null pointer dereference
  47. ---
  48. bug: anti-simplify
  49. model: |
  50. %129 = icmp eq %class.ON_Brep* %65, null, !dbg !3097
  51. --> false
  52. stack:
  53. - brlcad/src/proc-db/breplicator.cpp:442:0
  54. ncore: 1
  55. core:
  56. - brlcad/src/proc-db/breplicator.cpp:438:0
  57. - null pointer dereference
  58. ---
  59. bug: anti-simplify
  60. model: |
  61. %151 = icmp eq %class.ON_Brep* %65, null, !dbg !3106
  62. --> false
  63. stack:
  64. - brlcad/src/proc-db/breplicator.cpp:450:0
  65. ncore: 1
  66. core:
  67. - brlcad/src/proc-db/breplicator.cpp:438:0
  68. - null pointer dereference
  69. ---
  70. bug: anti-simplify
  71. model: |
  72. %168 = icmp eq %class.ON_Brep* %65, null, !dbg !3112
  73. --> false
  74. stack:
  75. - brlcad/src/proc-db/breplicator.cpp:457:0
  76. ncore: 1
  77. core:
  78. - brlcad/src/proc-db/breplicator.cpp:438:0
  79. - null pointer dereference
  80. ---
  81. bug: anti-simplify
  82. model: |
  83. %1239 = icmp eq %class.ON_Brep* %67, null, !dbg !3274
  84. --> false
  85. stack:
  86. - brlcad/src/proc-db/brep_cube.cpp:401:0
  87. ncore: 1
  88. core:
  89. - brlcad/src/proc-db/brep_cube.cpp:399:0
  90. - null pointer dereference
  91. ---
  92. bug: anti-simplify
  93. model: |
  94. %165 = icmp eq %"struct.boost::xpressive::detail::list<boost::xpressive::match_results<__gnu_cxx::__normal_iterator<const char *, std::basic_string<char> > > >::node"* %155, null, !dbg !26299
  95. --> false
  96. stack:
  97. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:143:0
  98. ncore: 1
  99. core:
  100. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:141:0
  101. - null pointer dereference
  102. ---
  103. bug: anti-simplify
  104. model: |
  105. %347 = icmp eq %"struct.boost::xpressive::detail::list<boost::xpressive::match_results<__gnu_cxx::__normal_iterator<const char *, std::basic_string<char> > > >::node"* %337, null, !dbg !26299
  106. --> false
  107. stack:
  108. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:143:0
  109. ncore: 1
  110. core:
  111. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:141:0
  112. - null pointer dereference
  113. ---
  114. bug: anti-simplify
  115. model: |
  116. %22 = icmp eq %"struct.boost::xpressive::detail::list<boost::xpressive::match_results<__gnu_cxx::__normal_iterator<const char *, std::basic_string<char> > > >::node"* %12, null, !dbg !26210
  117. --> false
  118. stack:
  119. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:143:0
  120. ncore: 1
  121. core:
  122. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:141:0
  123. - null pointer dereference
  124. ---
  125. bug: anti-simplify
  126. model: |
  127. %36 = icmp eq %"struct.boost::xpressive::detail::list<boost::xpressive::match_results<__gnu_cxx::__normal_iterator<const char *, std::basic_string<char> > > >::node"* %26, null, !dbg !26230
  128. --> false
  129. stack:
  130. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:143:0
  131. ncore: 1
  132. core:
  133. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:141:0
  134. - null pointer dereference
  135. ---
  136. bug: anti-simplify
  137. model: |
  138. %34 = icmp eq %"struct.boost::xpressive::detail::list<boost::xpressive::match_results<__gnu_cxx::__normal_iterator<const char *, std::basic_string<char> > > >::node"* %24, null, !dbg !26228
  139. --> false
  140. stack:
  141. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:143:0
  142. ncore: 1
  143. core:
  144. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:141:0
  145. - null pointer dereference
  146. ---
  147. bug: anti-simplify
  148. model: |
  149. %34 = icmp eq %"struct.boost::xpressive::detail::list<boost::xpressive::match_results<__gnu_cxx::__normal_iterator<const char *, std::basic_string<char> > > >::node"* %24, null, !dbg !26226
  150. --> false
  151. stack:
  152. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:143:0
  153. ncore: 1
  154. core:
  155. - brlcad/src/other/boost/boost/xpressive/detail/core/list.hpp:141:0
  156. - null pointer dereference
  157. ---
  158. bug: anti-simplify
  159. model: |
  160. %56 = icmp eq %"struct.boost::xpressive::detail::sequence_stack<boost::xpressive::detail::sub_match_impl<__gnu_cxx::__normal_iterator<const char *, std::basic_string<char> > > >::chunk"* %52, null, !dbg !26220
  161. --> false
  162. stack:
  163. - brlcad/src/other/boost/boost/xpressive/detail/utility/sequence_stack.hpp:195:0
  164. ncore: 1
  165. core:
  166. - brlcad/src/other/boost/boost/xpressive/detail/utility/sequence_stack.hpp:194:0
  167. - null pointer dereference
  168. ---
  169. bug: anti-simplify
  170. model: |
  171. %15 = icmp eq %"struct.boost::xpressive::detail::counted_base.85"* %that, null, !dbg !26209
  172. --> false
  173. stack:
  174. - brlcad/src/other/boost/boost/xpressive/detail/utility/counted_base.hpp:65:0
  175. ncore: 1
  176. core:
  177. - brlcad/src/other/boost/boost/xpressive/detail/utility/counted_base.hpp:63:0
  178. - null pointer dereference
  179. ---
  180. bug: anti-simplify
  181. model: |
  182. %15 = icmp eq %"struct.boost::xpressive::detail::counted_base"* %that, null, !dbg !26209
  183. --> false
  184. stack:
  185. - brlcad/src/other/boost/boost/xpressive/detail/utility/counted_base.hpp:65:0
  186. ncore: 1
  187. core:
  188. - brlcad/src/other/boost/boost/xpressive/detail/utility/counted_base.hpp:63:0
  189. - null pointer dereference
  190. ---
  191. bug: anti-simplify
  192. model: |
  193. %15 = icmp eq %"struct.boost::xpressive::detail::counted_base.87"* %that, null, !dbg !26209
  194. --> false
  195. stack:
  196. - brlcad/src/other/boost/boost/xpressive/detail/utility/counted_base.hpp:65:0
  197. ncore: 1
  198. core:
  199. - brlcad/src/other/boost/boost/xpressive/detail/utility/counted_base.hpp:63:0
  200. - null pointer dereference
  201. ---
  202. bug: anti-simplify
  203. model: |
  204. %119 = icmp eq %"struct.boost::exception_detail::error_info_injector"* %x, null, !dbg !26225
  205. --> false
  206. stack:
  207. - brlcad/src/other/boost/boost/exception/exception.hpp:421:0
  208. ncore: 1
  209. core:
  210. - brlcad/src/other/boost/boost/exception/exception.hpp:39:0
  211. - null pointer dereference
  212. ---
  213. bug: anti-simplify
  214. model: |
  215. %112 = icmp eq %"struct.boost::xpressive::regex_error"* %x, null, !dbg !26221
  216. --> false
  217. stack:
  218. - brlcad/src/other/boost/boost/exception/exception.hpp:421:0
  219. ncore: 1
  220. core:
  221. - brlcad/src/other/boost/boost/xpressive/regex_error.hpp:48:0
  222. - null pointer dereference
  223. ---
  224. bug: anti-simplify
  225. model: |
  226. %112 = icmp eq %"struct.boost::exception_detail::error_info_injector"* %x, null, !dbg !1709
  227. --> false
  228. stack:
  229. - brlcad/src/other/boost/boost/exception/exception.hpp:421:0
  230. ncore: 1
  231. core:
  232. - brlcad/src/other/boost/boost/exception/exception.hpp:39:0
  233. - null pointer dereference
  234. ---
  235. bug: anti-simplify
  236. model: |
  237. %43 = icmp eq %class.GTreeDiamAlg* %13, null, !dbg !1389
  238. --> false
  239. stack:
  240. - brlcad/src/other/libgdiam/gdiam.cpp:1023:0
  241. ncore: 1
  242. core:
  243. - brlcad/src/other/libgdiam/gdiam.hpp:195:0
  244. - null pointer dereference
  245. ---
  246. bug: anti-simplify
  247. model: |
  248. %43 = icmp eq %class.GTreeDiamAlg* %13, null, !dbg !1389
  249. --> false
  250. stack:
  251. - brlcad/src/other/libgdiam/gdiam.cpp:1039:0
  252. ncore: 1
  253. core:
  254. - brlcad/src/other/libgdiam/gdiam.hpp:195:0
  255. - null pointer dereference
  256. ---
  257. bug: anti-simplify
  258. model: |
  259. %821 = icmp eq %class.GTreeDiamAlg* %36, null, !dbg !1498
  260. --> false
  261. stack:
  262. - brlcad/src/other/libgdiam/gdiam.cpp:1156:0
  263. ncore: 1
  264. core:
  265. - brlcad/src/other/libgdiam/gdiam.hpp:195:0
  266. - null pointer dereference
  267. ---
  268. bug: anti-simplify
  269. model: |
  270. %15 = icmp eq %struct.Tk_Window_* %3, null, !dbg !1049
  271. --> false
  272. stack:
  273. - brlcad/src/other/tktable/generic/tkTable.c:2587:0
  274. ncore: 1
  275. core:
  276. - brlcad/src/other/tktable/generic/tkTable.c:2579:0
  277. - null pointer dereference
  278. ---
  279. bug: anti-simplify
  280. model: |
  281. %20 = icmp eq %class.GenericNode* %gnPrev.0, null, !dbg !94
  282. --> false
  283. stack:
  284. - brlcad/src/other/stepcode/src/clutils/gennodelist.cc:80:0
  285. ncore: 1
  286. core:
  287. - brlcad/src/other/stepcode/src/clutils/gennode.h:43:0
  288. - null pointer dereference
  289. ---
  290. bug: anti-simplify
  291. model: |
  292. %44 = icmp sge i32 %i.1, 0, !dbg !639
  293. --> true
  294. stack:
  295. - brlcad/src/other/stepcode/src/clutils/dirobj.cc:266:0
  296. ncore: 1
  297. core:
  298. - brlcad/src/other/stepcode/src/clutils/dirobj.cc:266:0
  299. - buffer overflow
  300. ---
  301. bug: anti-simplify
  302. model: |
  303. %238 = icmp eq %class.SDAI_Application_instance* %193, null, !dbg !1954
  304. --> false
  305. stack:
  306. - brlcad/src/other/stepcode/src/cleditor/STEPfile.cc:880:0
  307. ncore: 1
  308. core:
  309. - brlcad/src/other/stepcode/src/clutils/errordesc.h:79:0
  310. - null pointer dereference
  311. ---
  312. bug: anti-simplify
  313. model: |
  314. %235 = icmp eq %class.SDAI_Application_instance* %215, null, !dbg !1904
  315. --> false
  316. stack:
  317. - brlcad/src/other/stepcode/src/cleditor/STEPfile.cc:1054:0
  318. ncore: 1
  319. core:
  320. - brlcad/src/other/stepcode/src/clutils/errordesc.h:79:0
  321. - null pointer dereference
  322. ---
  323. bug: bugon-null
  324. model: |
  325. %448 = load %struct.Function_** bitcast (%union.anon* getelementptr (%struct.Scope_* null, i32 0, i32 7) to %struct.Function_**), align 8, !dbg !728
  326. stack:
  327. - brlcad/src/other/stepcode/src/express/resolve.c:502:0
  328. ---
  329. bug: bugon-bounds
  330. model: |
  331. %453 = load %struct.Function_** bitcast (%union.anon* getelementptr (%struct.Scope_* null, i32 0, i32 7) to %struct.Function_**), align 8, !dbg !729
  332. stack:
  333. - brlcad/src/other/stepcode/src/express/resolve.c:502:0
  334. ---
  335. bug: anti-dce
  336. model: |
  337. %445 = icmp ne i32 %444, 0, !dbg !727
  338. --> false
  339. ************************************************************
  340. :
  341. %444 = load %struct.Error_** @ERROR_wrong_arg_count, align 8, !dbg !729
  342. %445 = getelementptr inbounds %struct.Expression_* %expr, i32 0, i32 0, !dbg !729
  343. %446 = getelementptr inbounds %struct.Expression_* %expr, i32 0, i32 0, !dbg !729
  344. %447 = getelementptr inbounds %struct.Symbol_* %446, i32 0, i32 0, !dbg !729
  345. %448 = icmp eq %struct.Expression_* %expr, null
  346. call void @opt.bugon(i1 %448), !dbg !729, !bug !574
  347. %449 = load i8** %447, align 8, !dbg !729
  348. call void @opt.bugon(i1 true), !dbg !729, !bug !574
  349. call void @opt.bugon(i1 true), !dbg !729, !bug !731
  350. %450 = load %struct.Function_** bitcast (%union.anon* getelementptr (%struct.Scope_* null, i32 0, i32 7) to %struct.Function_**), align 8, !dbg !729
  351. %451 = getelementptr inbounds %struct.Function_* %450, i32 0, i32 0, !dbg !729
  352. %452 = icmp eq %struct.Function_* %450, null
  353. call void @opt.bugon(i1 %452), !dbg !729, !bug !574
  354. %453 = load i32* %451, align 4, !dbg !729
  355. call void (%struct.Error_*, %struct.Symbol_*, ...)* @ERRORreport_with_symbol(%struct.Error_* %444, %struct.Symbol_* %445, i8* %449, i32 0, i32 %453), !dbg !729
  356. %454 = getelementptr inbounds %struct.Expression_* %expr, i32 0, i32 0, !dbg !732
  357. %455 = getelementptr inbounds %struct.Symbol_* %454, i32 0, i32 3, !dbg !732
  358. %456 = load i8* %455, align 1, !dbg !732
  359. %457 = sext i8 %456 to i32, !dbg !732
  360. %458 = or i32 %457, 2, !dbg !732
  361. %459 = trunc i32 %458 to i8, !dbg !732
  362. store i8 %459, i8* %455, align 1, !dbg !732
  363. br label %464, !dbg !733
  364. stack:
  365. - brlcad/src/other/stepcode/src/express/resolve.c:502:0
  366. ncore: 1
  367. core:
  368. - brlcad/src/other/stepcode/src/express/resolve.c:502:0
  369. - buffer overflow
  370. ---
  371. bug: anti-simplify
  372. model: |
  373. %14 = icmp eq %class.EntList* %ent, null, !dbg !371
  374. --> false
  375. stack:
  376. - brlcad/src/other/stepcode/src/clstepcore/multlist.cc:122:0
  377. ncore: 1
  378. core:
  379. - brlcad/src/other/stepcode/src/clstepcore/multlist.cc:120:0
  380. - null pointer dereference
  381. ---
  382. bug: anti-simplify
  383. model: |
  384. %182 = icmp eq %class.EntList* %ent, null, !dbg !430
  385. --> false
  386. stack:
  387. - brlcad/src/other/stepcode/src/clstepcore/multlist.cc:137:0
  388. ncore: 1
  389. core:
  390. - brlcad/src/other/stepcode/src/clstepcore/complexSupport.h:193:0
  391. - null pointer dereference
  392. ---
  393. bug: anti-simplify
  394. model: |
  395. %53 = icmp eq %class.MgrNode* %node, null, !dbg !798
  396. --> false
  397. stack:
  398. - brlcad/src/other/stepcode/src/clstepcore/instmgr.cc:265:0
  399. ncore: 1
  400. core:
  401. - brlcad/src/other/stepcode/src/clstepcore/instmgr.cc:252:0
  402. - null pointer dereference
  403. ---
  404. bug: anti-simplify
  405. model: |
  406. %71 = icmp eq %class.STEPcomplex* %11, null, !dbg !1582
  407. --> false
  408. stack:
  409. - brlcad/src/other/stepcode/src/clstepcore/STEPcomplex.cc:222:0
  410. ncore: 1
  411. core:
  412. - brlcad/src/other/stepcode/src/clstepcore/STEPcomplex.cc:217:0
  413. - null pointer dereference
  414. ---
  415. bug: anti-simplify
  416. model: |
  417. %177 = icmp eq %class.EntNode* %firstnode.0, null, !dbg !234
  418. --> false
  419. stack:
  420. - brlcad/src/other/stepcode/src/clstepcore/entnode.cc:67:0
  421. ncore: 1
  422. core:
  423. - brlcad/src/other/stepcode/src/clstepcore/entnode.cc:75:0
  424. - null pointer dereference
  425. ---
  426. bug: anti-simplify
  427. model: |
  428. %3 = icmp eq %class.ComplexList* %this, null, !dbg !216
  429. --> false
  430. stack:
  431. - brlcad/src/other/stepcode/src/clstepcore/complexlist.cc:37:0
  432. ncore: 1
  433. core:
  434. - brlcad/src/other/stepcode/src/clstepcore/complexlist.cc:35:0
  435. - null pointer dereference
  436. ---
  437. bug: anti-simplify
  438. model: |
  439. %23 = icmp eq %class.EntList* %ent, null, !dbg !227
  440. --> false
  441. stack:
  442. - brlcad/src/other/stepcode/src/clstepcore/complexlist.cc:108:0
  443. ncore: 1
  444. core:
  445. - brlcad/src/other/stepcode/src/clstepcore/complexSupport.h:193:0
  446. - null pointer dereference
  447. ---
  448. bug: anti-simplify
  449. model: |
  450. %10 = icmp ne %class.TypeDescriptor* %td.0.i, null, !dbg !2269
  451. --> true
  452. stack:
  453. - brlcad/src/other/stepcode/src/clstepcore/ExpDict.cc:1631:0
  454. ncore: 1
  455. core:
  456. - brlcad/src/other/stepcode/src/clstepcore/ExpDict.h:1383:0
  457. - null pointer dereference
  458. ---
  459. bug: anti-simplify
  460. model: |
  461. %17 = icmp ne %class.TypeDescriptor* %td.0.i, null, !dbg !2275
  462. --> true
  463. stack:
  464. - brlcad/src/other/stepcode/src/clstepcore/ExpDict.cc:1567:0
  465. ncore: 1
  466. core:
  467. - brlcad/src/other/stepcode/src/clstepcore/ExpDict.h:1383:0
  468. - null pointer dereference
  469. ---
  470. bug: anti-simplify
  471. model: |
  472. %34 = icmp eq %class.EntList* %child.0, null, !dbg !223
  473. --> false
  474. stack:
  475. - brlcad/src/other/stepcode/src/clstepcore/match-ors.cc:105:0
  476. ncore: 1
  477. core:
  478. - brlcad/src/other/stepcode/src/clstepcore/match-ors.cc:99:0
  479. - null pointer dereference
  480. ---
  481. bug: anti-simplify
  482. model: |
  483. %127 = icmp eq %class.lazyInstMgr* %35, null, !dbg !2542
  484. --> false
  485. stack:
  486. - brlcad/src/other/stepcode/src/cllazyfile/lazy_test.cc:151:0
  487. ncore: 1
  488. core:
  489. - brlcad/src/other/stepcode/src/cllazyfile/lazyInstMgr.h:101:0
  490. - null pointer dereference
  491. ---
  492. bug: anti-simplify
  493. model: |
  494. %78 = icmp eq %class.lazyDataSectionReader* %71, null, !dbg !2102
  495. --> false
  496. stack:
  497. - brlcad/src/other/stepcode/src/cllazyfile/lazyFileReader.cc:16:0
  498. ncore: 1
  499. core:
  500. - brlcad/src/other/stepcode/src/cllazyfile/lazyDataSectionReader.h:26:0
  501. - null pointer dereference
  502. ---
  503. bug: anti-dce
  504. model: |
  505. %203 = icmp ne i32 %202, 0, !dbg !169
  506. --> true
  507. ************************************************************
  508. :
  509. %203 = add i32 %47, 1, !dbg !171
  510. br label %204, !dbg !173
  511. stack:
  512. - brlcad/src/other/stepcode/src/base/judy/src/judy.c:387:0
  513. ncore: 1
  514. core:
  515. - brlcad/src/other/stepcode/src/base/judy/src/judy.c:385:0
  516. - shift left overflow
  517. ---
  518. bug: anti-simplify
  519. model: |
  520. %14 = icmp eq %class.EntList* %ent, null, !dbg !424
  521. --> false
  522. stack:
  523. - brlcad/src/other/stepcode/src/exp2cxx/multlist.cc:235:0
  524. ncore: 1
  525. core:
  526. - brlcad/src/other/stepcode/src/exp2cxx/multlist.cc:233:0
  527. - null pointer dereference
  528. ---
  529. bug: anti-simplify
  530. model: |
  531. %64 = icmp eq %class.EntList* %ent, null, !dbg !441
  532. --> false
  533. stack:
  534. - brlcad/src/other/stepcode/src/exp2cxx/multlist.cc:239:0
  535. ncore: 1
  536. core:
  537. - brlcad/src/other/stepcode/src/exp2cxx/multlist.cc:233:0
  538. - null pointer dereference
  539. ---
  540. bug: anti-simplify
  541. model: |
  542. %187 = icmp eq %class.EntList* %ent, null, !dbg !482
  543. --> false
  544. stack:
  545. - brlcad/src/other/stepcode/src/exp2cxx/multlist.cc:251:0
  546. ncore: 1
  547. core:
  548. - brlcad/src/other/stepcode/src/exp2cxx/complexSupport.h:182:0
  549. - null pointer dereference
  550. ---
  551. bug: anti-simplify
  552. model: |
  553. %34 = icmp eq %class.EntList* %child.0, null, !dbg !243
  554. --> false
  555. stack:
  556. - brlcad/src/other/stepcode/src/exp2cxx/match-ors.cc:108:0
  557. ncore: 1
  558. core:
  559. - brlcad/src/other/stepcode/src/exp2cxx/match-ors.cc:102:0
  560. - null pointer dereference
  561. ---
  562. bug: anti-simplify
  563. model: |
  564. %3 = icmp eq %class.ComplexList* %this, null, !dbg !237
  565. --> false
  566. stack:
  567. - brlcad/src/other/stepcode/src/exp2cxx/complexlist.cc:39:0
  568. ncore: 1
  569. core:
  570. - brlcad/src/other/stepcode/src/exp2cxx/complexlist.cc:37:0
  571. - null pointer dereference
  572. ---
  573. bug: anti-simplify
  574. model: |
  575. %23 = icmp eq %class.EntList* %ent, null, !dbg !248
  576. --> false
  577. stack:
  578. - brlcad/src/other/stepcode/src/exp2cxx/complexlist.cc:114:0
  579. ncore: 1
  580. core:
  581. - brlcad/src/other/stepcode/src/exp2cxx/complexSupport.h:182:0
  582. - null pointer dereference
  583. ---
  584. bug: anti-simplify
  585. model: |
  586. %31 = icmp eq %class.MultList* %this, null, !dbg !510
  587. --> false
  588. stack:
  589. - brlcad/src/other/stepcode/src/exp2cxx/expressbuild.cc:191:0
  590. ncore: 1
  591. core:
  592. - brlcad/src/other/stepcode/src/exp2cxx/expressbuild.cc:190:0
  593. - null pointer dereference
  594. ---
  595. bug: anti-simplify
  596. model: |
  597. %19 = icmp eq %class.EntList* %11, null, !dbg !255
  598. --> false
  599. stack:
  600. - brlcad/src/other/stepcode/src/exp2cxx/trynext.cc:122:0
  601. ncore: 1
  602. core:
  603. - brlcad/src/other/stepcode/src/exp2cxx/complexSupport.h:182:0
  604. - null pointer dereference
  605. ---
  606. bug: anti-simplify
  607. model: |
  608. %193 = icmp eq %class.EntNode* %firstnode.0, null, !dbg !252
  609. --> false
  610. stack:
  611. - brlcad/src/other/stepcode/src/exp2cxx/entnode.cc:83:0
  612. ncore: 1
  613. core:
  614. - brlcad/src/other/stepcode/src/exp2cxx/entnode.cc:79:0
  615. - null pointer dereference
  616. ---
  617. bug: anti-simplify
  618. model: |
  619. %109 = icmp ne %struct.Tcl_Obj* %19, null, !dbg !3951
  620. --> true
  621. stack:
  622. - brlcad/src/other/incrTcl/itk/generic/itk_archetype.c:4146:0
  623. ncore: 1
  624. core:
  625. - brlcad/src/other/incrTcl/itk/generic/itk_archetype.c:4102:0
  626. - null pointer dereference
  627. ---
  628. bug: anti-simplify
  629. model: |
  630. %337 = icmp ne %struct.Tcl_Obj* %88, null, !dbg !4113
  631. --> true
  632. stack:
  633. - brlcad/src/other/incrTcl/itk/generic/itk_archetype.c:1007:0
  634. ncore: 1
  635. core:
  636. - brlcad/src/other/incrTcl/itk/generic/itk_archetype.c:774:0
  637. - null pointer dereference
  638. ---
  639. bug: anti-simplify
  640. model: |
  641. %407 = icmp ne %struct.Tcl_Obj* %88, null, !dbg !4170
  642. --> true
  643. stack:
  644. - brlcad/src/other/incrTcl/itk/generic/itk_archetype.c:1044:0
  645. ncore: 1
  646. core:
  647. - brlcad/src/other/incrTcl/itk/generic/itk_archetype.c:774:0
  648. - null pointer dereference
  649. ---
  650. bug: anti-dce
  651. model: |
  652. %429 = icmp ne %struct.ItclMemberFunc* %mfunc, null, !dbg !3959
  653. --> true
  654. ************************************************************
  655. :
  656. %445 = load %struct.TclStubs** @tclStubsPtr, align 8, !dbg !3968
  657. %446 = getelementptr inbounds %struct.TclStubs* %445, i32 0, i32 72, !dbg !3968
  658. %447 = icmp eq %struct.TclStubs* %445, null
  659. call void @opt.bugon(i1 %447), !dbg !3968, !bug !3828
  660. %448 = load void (%struct.Tcl_Interp*, ...)** %446, align 8, !dbg !3968
  661. %449 = getelementptr inbounds %struct.CompiledLocal* %argPtr.0, i32 0, i32 6, !dbg !3968
  662. %450 = getelementptr inbounds [4 x i8]* %449, i32 0, i32 0, !dbg !3968
  663. call void (%struct.Tcl_Interp*, ...)* %448(%struct.Tcl_Interp* %interp, i8* getelementptr inbounds ([31 x i8]* @.str49, i32 0, i32 0), i8* %450, i8* getelementptr inbounds ([2 x i8]* @.str3, i32 0, i32 0), i8* null), !dbg !3968
  664. br label %451
  665. stack:
  666. - brlcad/src/other/incrTcl/itcl/generic/itcl_methods.c:2014:0
  667. ncore: 1
  668. core:
  669. - brlcad/src/other/incrTcl/itcl/generic/itcl_methods.c:1822:0
  670. - null pointer dereference
  671. ---
  672. bug: anti-dce
  673. model: |
  674. %470 = icmp ne %struct.ItclMemberFunc* %mfunc, null, !dbg !3972
  675. --> true
  676. ************************************************************
  677. :
  678. %486 = load %struct.TclStubs** @tclStubsPtr, align 8, !dbg !3981
  679. %487 = getelementptr inbounds %struct.TclStubs* %486, i32 0, i32 72, !dbg !3981
  680. %488 = icmp eq %struct.TclStubs* %486, null
  681. call void @opt.bugon(i1 %488), !dbg !3981, !bug !3828
  682. %489 = load void (%struct.Tcl_Interp*, ...)** %487, align 8, !dbg !3981
  683. call void (%struct.Tcl_Interp*, ...)* %489(%struct.Tcl_Interp* %interp, i8* getelementptr inbounds ([19 x i8]* @.str50, i32 0, i32 0), i8* null), !dbg !3981
  684. br label %490
  685. stack:
  686. - brlcad/src/other/incrTcl/itcl/generic/itcl_methods.c:2030:0
  687. ncore: 1
  688. core:
  689. - brlcad/src/other/incrTcl/itcl/generic/itcl_methods.c:1822:0
  690. - null pointer dereference
  691. ---
  692. bug: anti-simplify
  693. model: |
  694. %359 = icmp ne %struct.CssProperty* %34, null, !dbg !1043
  695. --> true
  696. stack:
  697. - brlcad/src/other/tkhtml/src/css.c:1400:0
  698. ncore: 1
  699. core:
  700. - brlcad/src/other/tkhtml/src/css.c:1347:0
  701. - null pointer dereference
  702. ---
  703. bug: anti-simplify
  704. model: |
  705. %23 = icmp ne %struct.CssParse* %pParse, null, !dbg !956
  706. --> true
  707. stack:
  708. - brlcad/src/other/tkhtml/src/css.c:3786:0
  709. ncore: 1
  710. core:
  711. - brlcad/src/other/tkhtml/src/css.c:3777:0
  712. - null pointer dereference
  713. ---
  714. bug: anti-simplify
  715. model: |
  716. %12 = icmp ne %struct.HtmlTree* %pTree, null, !dbg !980
  717. --> true
  718. stack:
  719. - brlcad/src/other/tkhtml/src/htmldraw.c:663:0
  720. ncore: 1
  721. core:
  722. - brlcad/src/other/tkhtml/src/htmldraw.c:647:0
  723. - null pointer dereference
  724. ---
  725. bug: anti-simplify
  726. model: |
  727. %62 = icmp ne %struct.HtmlTree* %pTree, null, !dbg !996
  728. --> true
  729. stack:
  730. - brlcad/src/other/tkhtml/src/htmldraw.c:678:0
  731. ncore: 1
  732. core:
  733. - brlcad/src/other/tkhtml/src/htmldraw.c:647:0
  734. - null pointer dereference
  735. ---
  736. bug: anti-simplify
  737. model: |
  738. %574 = icmp sgt i32 %571, 0, !dbg !124
  739. --> true
  740. stack:
  741. - brlcad/src/other/URToolkit/tools/smush.c:169:0
  742. ncore: 1
  743. core:
  744. - brlcad/src/other/URToolkit/tools/smush.c:163:0
  745. - signed subtraction overflow
  746. ---
  747. bug: anti-simplify
  748. model: |
  749. %119 = icmp eq i8** %118, null, !dbg !51
  750. --> false
  751. stack:
  752. - brlcad/src/other/URToolkit/tools/rlenoise.c:97:0
  753. ncore: 1
  754. core:
  755. - brlcad/src/other/URToolkit/tools/rlenoise.c:97:0
  756. - pointer overflow
  757. ---
  758. bug: anti-simplify
  759. model: |
  760. %161 = icmp ne i8* %133, null, !dbg !218
  761. --> true
  762. stack:
  763. - brlcad/src/other/URToolkit/cnv/rletorla.c:358:0
  764. ncore: 1
  765. core:
  766. - brlcad/src/other/URToolkit/cnv/rletorla.c:358:0
  767. - null pointer dereference
  768. ---
  769. bug: anti-simplify
  770. model: |
  771. %562 = icmp ne i8* %blue.0, null, !dbg !240
  772. --> true
  773. stack:
  774. - brlcad/src/other/URToolkit/cnv/rletorla.c:378:0
  775. ncore: 1
  776. core:
  777. - brlcad/src/other/URToolkit/cnv/rletorla.c:377:0
  778. - null pointer dereference
  779. ---
  780. bug: anti-simplify
  781. model: |
  782. %804 = icmp ne i8* %blue.0, null, !dbg !264
  783. --> true
  784. stack:
  785. - brlcad/src/other/URToolkit/cnv/rletorla.c:401:0
  786. ncore: 1
  787. core:
  788. - brlcad/src/other/URToolkit/cnv/rletorla.c:400:0
  789. - null pointer dereference
  790. ---
  791. bug: anti-simplify
  792. model: |
  793. %23 = icmp eq %"struct.ClipperLib::OutPt"* %19, null, !dbg !5429
  794. --> false
  795. stack:
  796. - brlcad/src/other/clipper/clipper.cpp:636:0
  797. ncore: 1
  798. core:
  799. - brlcad/src/other/clipper/clipper.cpp:635:0
  800. - null pointer dereference
  801. ---
  802. bug: anti-simplify
  803. model: |
  804. %13 = icmp eq %"struct.ClipperLib::LocalMinima"* %9, null, !dbg !5425
  805. --> false
  806. stack:
  807. - brlcad/src/other/clipper/clipper.cpp:1017:0
  808. ncore: 1
  809. core:
  810. - brlcad/src/other/clipper/clipper.cpp:1016:0
  811. - null pointer dereference
  812. ---
  813. bug: anti-simplify
  814. model: |
  815. %13 = icmp eq %"struct.ClipperLib::Scanbeam"* %9, null, !dbg !5425
  816. --> false
  817. stack:
  818. - brlcad/src/other/clipper/clipper.cpp:1107:0
  819. ncore: 1
  820. core:
  821. - brlcad/src/other/clipper/clipper.cpp:1106:0
  822. - null pointer dereference
  823. ---
  824. bug: anti-simplify
  825. model: |
  826. %10 = icmp eq %"struct.ClipperLib::Scanbeam"* %3, null, !dbg !5424
  827. --> false
  828. stack:
  829. - brlcad/src/other/clipper/clipper.cpp:1301:0
  830. ncore: 1
  831. core:
  832. - brlcad/src/other/clipper/clipper.cpp:1298:0
  833. - null pointer dereference
  834. ---
  835. bug: anti-simplify
  836. model: |
  837. %13 = icmp eq %"struct.ClipperLib::IntersectNode"* %9, null, !dbg !5425
  838. --> false
  839. stack:
  840. - brlcad/src/other/clipper/clipper.cpp:2364:0
  841. ncore: 1
  842. core:
  843. - brlcad/src/other/clipper/clipper.cpp:2363:0
  844. - null pointer dereference
  845. ---
  846. bug: anti-simplify
  847. model: |
  848. %303 = icmp eq %"class.std::set"* %clist, null, !dbg !5675
  849. --> false
  850. stack:
  851. - brlcad/build/src/other/re2c/parser.yy:96:0
  852. ncore: 1
  853. core:
  854. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_tree.h:666:0
  855. - null pointer dereference
  856. ---
  857. bug: anti-simplify
  858. model: |
  859. %303 = icmp eq %"class.std::set"* %clist, null, !dbg !5675
  860. --> false
  861. stack:
  862. - brlcad/build/src/other/re2c/parser.yy:96:0
  863. ncore: 1
  864. core:
  865. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_tree.h:666:0
  866. - null pointer dereference
  867. ---
  868. bug: anti-simplify
  869. model: |
  870. %112 = icmp ne %class.ON_TextExtra* %44, null, !dbg !6665
  871. --> true
  872. stack:
  873. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:50:0
  874. ncore: 1
  875. core:
  876. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:75:0
  877. - null pointer dereference
  878. ---
  879. bug: anti-simplify
  880. model: |
  881. %118 = icmp eq %class.ON_TextExtra* %44, null, !dbg !6670
  882. --> false
  883. stack:
  884. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:54:0
  885. ncore: 1
  886. core:
  887. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:75:0
  888. - null pointer dereference
  889. ---
  890. bug: anti-simplify
  891. model: |
  892. %103 = icmp ne %class.ON_DimensionExtra* %40, null, !dbg !6665
  893. --> true
  894. stack:
  895. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:225:0
  896. ncore: 1
  897. core:
  898. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:203:0
  899. - null pointer dereference
  900. ---
  901. bug: anti-simplify
  902. model: |
  903. %109 = icmp eq %class.ON_DimensionExtra* %40, null, !dbg !6670
  904. --> false
  905. stack:
  906. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:229:0
  907. ncore: 1
  908. core:
  909. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:203:0
  910. - null pointer dereference
  911. ---
  912. bug: anti-simplify
  913. model: |
  914. %81 = icmp ne %class.ON_AngularDimension2Extra* %37, null, !dbg !6663
  915. --> true
  916. stack:
  917. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:3049:0
  918. ncore: 1
  919. core:
  920. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:3069:0
  921. - null pointer dereference
  922. ---
  923. bug: anti-simplify
  924. model: |
  925. %87 = icmp eq %class.ON_AngularDimension2Extra* %37, null, !dbg !6668
  926. --> false
  927. stack:
  928. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:3053:0
  929. ncore: 1
  930. core:
  931. - brlcad/src/other/openNURBS/opennurbs_annotation2.cpp:3069:0
  932. - null pointer dereference
  933. ---
  934. bug: anti-simplify
  935. model: |
  936. %231 = icmp eq %class.ON_NurbsSurface* %176, null, !dbg !8886
  937. --> false
  938. stack:
  939. - brlcad/src/other/openNURBS/opennurbs_brep.cpp:1376:0
  940. ncore: 1
  941. core:
  942. - brlcad/src/other/openNURBS/opennurbs_brep.cpp:1374:0
  943. - null pointer dereference
  944. ---
  945. bug: anti-simplify
  946. model: |
  947. %829 = icmp eq %class.ON_Surface* %524, null, !dbg !9048
  948. --> false
  949. stack:
  950. - brlcad/src/other/openNURBS/opennurbs_brep.cpp:11592:0
  951. ncore: 1
  952. core:
  953. - brlcad/src/other/openNURBS/opennurbs_brep.cpp:11555:0
  954. - null pointer dereference
  955. ---
  956. bug: anti-simplify
  957. model: |
  958. %201 = icmp sgt i32 %31, 0, !dbg !9338
  959. --> true
  960. stack:
  961. - brlcad/src/other/openNURBS/opennurbs_mesh.cpp:7143:0
  962. ncore: 1
  963. core:
  964. - brlcad/src/other/openNURBS/opennurbs_mesh.cpp:7109:0
  965. - null pointer dereference
  966. ---
  967. bug: anti-simplify
  968. model: |
  969. %370 = icmp ne i32* %.03, null, !dbg !4989
  970. --> true
  971. stack:
  972. - brlcad/src/other/openNURBS/opennurbs_surface.cpp:488:0
  973. ncore: 1
  974. core:
  975. - brlcad/src/other/openNURBS/opennurbs_surface.cpp:400:0
  976. - null pointer dereference
  977. ---
  978. bug: anti-simplify
  979. model: |
  980. %384 = icmp ne i32* %.03, null, !dbg !4997
  981. --> true
  982. stack:
  983. - brlcad/src/other/openNURBS/opennurbs_surface.cpp:495:0
  984. ncore: 1
  985. core:
  986. - brlcad/src/other/openNURBS/opennurbs_surface.cpp:400:0
  987. - null pointer dereference
  988. ---
  989. bug: anti-simplify
  990. model: |
  991. %405 = icmp ne i32* %.03, null, !dbg !5012
  992. --> true
  993. stack:
  994. - brlcad/src/other/openNURBS/opennurbs_surface.cpp:509:0
  995. ncore: 1
  996. core:
  997. - brlcad/src/other/openNURBS/opennurbs_surface.cpp:400:0
  998. - null pointer dereference
  999. ---
  1000. bug: anti-simplify
  1001. model: |
  1002. %417 = icmp ne i32* %.03, null, !dbg !5020
  1003. --> true
  1004. stack:
  1005. - brlcad/src/other/openNURBS/opennurbs_surface.cpp:516:0
  1006. ncore: 1
  1007. core:
  1008. - brlcad/src/other/openNURBS/opennurbs_surface.cpp:400:0
  1009. - null pointer dereference
  1010. ---
  1011. bug: anti-simplify
  1012. model: |
  1013. %325 = icmp ne i32 %rc.2, 0, !dbg !5484
  1014. --> true
  1015. stack:
  1016. - brlcad/src/other/openNURBS/opennurbs_polycurve.cpp:641:0
  1017. ncore: 1
  1018. core:
  1019. - brlcad/src/other/openNURBS/opennurbs_polycurve.cpp:605:0
  1020. - signed addition overflow
  1021. ---
  1022. bug: anti-simplify
  1023. model: |
  1024. %1465 = icmp eq %class.ON_Mesh* %370, null, !dbg !5389
  1025. --> false
  1026. stack:
  1027. - brlcad/src/other/openNURBS/opennurbs_mesh_tools.cpp:919:0
  1028. ncore: 1
  1029. core:
  1030. - brlcad/src/other/openNURBS/opennurbs_array.h:132:0
  1031. - null pointer dereference
  1032. ---
  1033. bug: anti-simplify
  1034. model: |
  1035. %86 = icmp eq %class.ON_MeshNgonList* null, %78, !dbg !915
  1036. --> false
  1037. stack:
  1038. - brlcad/src/other/openNURBS/opennurbs_mesh_ngon.cpp:334:0
  1039. ncore: 1
  1040. core:
  1041. - brlcad/src/other/openNURBS/opennurbs_mesh_ngon.cpp:24:0
  1042. - null pointer dereference
  1043. ---
  1044. bug: anti-simplify
  1045. model: |
  1046. %667 = icmp eq %class.ON_Curve* %newprofile.0, null, !dbg !5897
  1047. --> false
  1048. stack:
  1049. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:2691:0
  1050. ncore: 1
  1051. core:
  1052. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:2684:0
  1053. - null pointer dereference
  1054. ---
  1055. bug: anti-simplify
  1056. model: |
  1057. %131 = icmp eq %class.ON_ArcCurve* %100, null, !dbg !5743
  1058. --> false
  1059. stack:
  1060. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4406:0
  1061. ncore: 1
  1062. core:
  1063. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4403:0
  1064. - null pointer dereference
  1065. ---
  1066. bug: anti-simplify
  1067. model: |
  1068. %342 = icmp eq %class.ON_Extrusion* %extrusion_cylinder.0, null, !dbg !5790
  1069. --> false
  1070. stack:
  1071. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4438:0
  1072. ncore: 1
  1073. core:
  1074. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4432:0
  1075. - null pointer dereference
  1076. ---
  1077. bug: anti-simplify
  1078. model: |
  1079. %82 = icmp eq %class.ON_ArcCurve* %65, null, !dbg !5742
  1080. --> false
  1081. stack:
  1082. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4485:0
  1083. ncore: 1
  1084. core:
  1085. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4482:0
  1086. - null pointer dereference
  1087. ---
  1088. bug: anti-simplify
  1089. model: |
  1090. %114 = icmp eq %class.ON_ArcCurve* %65, null, !dbg !5749
  1091. --> false
  1092. stack:
  1093. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4492:0
  1094. ncore: 1
  1095. core:
  1096. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4482:0
  1097. - null pointer dereference
  1098. ---
  1099. bug: anti-simplify
  1100. model: |
  1101. %159 = icmp eq %class.ON_ArcCurve* %65, null, !dbg !5758
  1102. --> false
  1103. stack:
  1104. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4500:0
  1105. ncore: 1
  1106. core:
  1107. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4482:0
  1108. - null pointer dereference
  1109. ---
  1110. bug: anti-simplify
  1111. model: |
  1112. %194 = icmp eq %class.ON_ArcCurve* %65, null, !dbg !5766
  1113. --> false
  1114. stack:
  1115. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4508:0
  1116. ncore: 1
  1117. core:
  1118. - brlcad/src/other/openNURBS/opennurbs_beam.cpp:4482:0
  1119. - null pointer dereference
  1120. ---
  1121. bug: anti-simplify
  1122. model: |
  1123. %91 = icmp ne %class.ON_HatchExtra* %40, null, !dbg !5223
  1124. --> true
  1125. stack:
  1126. - brlcad/src/other/openNURBS/opennurbs_hatch.cpp:73:0
  1127. ncore: 1
  1128. core:
  1129. - brlcad/src/other/openNURBS/opennurbs_hatch.cpp:93:0
  1130. - null pointer dereference
  1131. ---
  1132. bug: anti-simplify
  1133. model: |
  1134. %97 = icmp eq %class.ON_HatchExtra* %40, null, !dbg !5228
  1135. --> false
  1136. stack:
  1137. - brlcad/src/other/openNURBS/opennurbs_hatch.cpp:77:0
  1138. ncore: 1
  1139. core:
  1140. - brlcad/src/other/openNURBS/opennurbs_hatch.cpp:93:0
  1141. - null pointer dereference
  1142. ---
  1143. bug: anti-simplify
  1144. model: |
  1145. %110 = icmp ne %class.ON_HatchLoop* %105, null, !dbg !5245
  1146. --> true
  1147. stack:
  1148. - brlcad/src/other/openNURBS/opennurbs_hatch.cpp:1062:0
  1149. ncore: 1
  1150. core:
  1151. - brlcad/src/other/openNURBS/opennurbs_hatch.cpp:716:0
  1152. - null pointer dereference
  1153. ---
  1154. bug: anti-dce
  1155. model: |
  1156. %127 = icmp ne %class.ON_HatchLoop* %119, null, !dbg !5245
  1157. --> true
  1158. ************************************************************
  1159. :
  1160. %130 = icmp eq %class.ON_Curve* %48, null, !dbg !5248
  1161. br i1 %130, label %143, label %131, !dbg !5248
  1162. stack:
  1163. - brlcad/src/other/openNURBS/opennurbs_hatch.cpp:1397:0
  1164. ncore: 1
  1165. core:
  1166. - brlcad/src/other/openNURBS/opennurbs_hatch.cpp:721:0
  1167. - null pointer dereference
  1168. ---
  1169. bug: anti-simplify
  1170. model: |
  1171. %97 = icmp eq %class.ON_NurbsSurface* %79, null, !dbg !6462
  1172. --> false
  1173. stack:
  1174. - brlcad/src/other/openNURBS/opennurbs_brep_tools.cpp:124:0
  1175. ncore: 1
  1176. core:
  1177. - brlcad/src/other/openNURBS/opennurbs_brep_tools.cpp:122:0
  1178. - null pointer dereference
  1179. ---
  1180. bug: anti-simplify
  1181. model: |
  1182. %1211 = icmp eq %class.ON_Brep* %brep.0, null, !dbg !6641
  1183. --> false
  1184. stack:
  1185. - brlcad/src/other/openNURBS/opennurbs_brep_tools.cpp:948:0
  1186. ncore: 1
  1187. core:
  1188. - brlcad/src/other/openNURBS/opennurbs_brep_tools.cpp:944:0
  1189. - null pointer dereference
  1190. ---
  1191. bug: anti-simplify
  1192. model: |
  1193. %1362 = icmp eq %class.ON_Brep* %brep.0, null, !dbg !6650
  1194. --> false
  1195. stack:
  1196. - brlcad/src/other/openNURBS/opennurbs_brep_tools.cpp:1138:0
  1197. ncore: 1
  1198. core:
  1199. - brlcad/src/other/openNURBS/opennurbs_brep_tools.cpp:1134:0
  1200. - null pointer dereference
  1201. ---
  1202. bug: anti-simplify
  1203. model: |
  1204. %34 = icmp ne %class.ON_Surface* %7, null, !dbg !6442
  1205. --> true
  1206. stack:
  1207. - brlcad/src/other/openNURBS/opennurbs_brep_tools.cpp:1867:0
  1208. ncore: 1
  1209. core:
  1210. - brlcad/src/other/openNURBS/opennurbs_brep_tools.cpp:1866:0
  1211. - null pointer dereference
  1212. ---
  1213. bug: anti-simplify
  1214. model: |
  1215. %121 = icmp eq %class.ON_Curve* %96, null, !dbg !6743
  1216. --> false
  1217. stack:
  1218. - brlcad/src/other/openNURBS/opennurbs_curve.cpp:2112:0
  1219. ncore: 1
  1220. core:
  1221. - brlcad/src/other/openNURBS/opennurbs_curve.cpp:2110:0
  1222. - null pointer dereference
  1223. ---
  1224. bug: anti-simplify
  1225. model: |
  1226. %175 = icmp eq %class.ON_Curve* %96, null, !dbg !6750
  1227. --> false
  1228. stack:
  1229. - brlcad/src/other/openNURBS/opennurbs_curve.cpp:2118:0
  1230. ncore: 1
  1231. core:
  1232. - brlcad/src/other/openNURBS/opennurbs_curve.cpp:2110:0
  1233. - null pointer dereference
  1234. ---
  1235. bug: anti-simplify
  1236. model: |
  1237. %188 = icmp eq %class.ON_Curve* %150, null, !dbg !6752
  1238. --> false
  1239. stack:
  1240. - brlcad/src/other/openNURBS/opennurbs_curve.cpp:2119:0
  1241. ncore: 1
  1242. core:
  1243. - brlcad/src/other/openNURBS/opennurbs_curve.cpp:2116:0
  1244. - null pointer dereference
  1245. ---
  1246. bug: anti-simplify
  1247. model: |
  1248. %268 = icmp eq %class.ON_Curve* %150, null, !dbg !6777
  1249. --> false
  1250. stack:
  1251. - brlcad/src/other/openNURBS/opennurbs_curve.cpp:2140:0
  1252. ncore: 1
  1253. core:
  1254. - brlcad/src/other/openNURBS/opennurbs_curve.cpp:2116:0
  1255. - null pointer dereference
  1256. ---
  1257. bug: anti-simplify
  1258. model: |
  1259. %339 = icmp eq %class.ON_Curve* %323, null, !dbg !6790
  1260. --> false
  1261. stack:
  1262. - brlcad/src/other/openNURBS/opennurbs_curve.cpp:2158:0
  1263. ncore: 1
  1264. core:
  1265. - brlcad/src/other/openNURBS/opennurbs_curve.cpp:2156:0
  1266. - null pointer dereference
  1267. ---
  1268. bug: anti-simplify
  1269. model: |
  1270. %170 = icmp eq %class.ON_Geometry* %155, null, !dbg !4418
  1271. --> false
  1272. stack:
  1273. - brlcad/src/other/openNURBS/opennurbs_objref.cpp:880:0
  1274. ncore: 1
  1275. core:
  1276. - brlcad/src/other/openNURBS/opennurbs_objref.cpp:878:0
  1277. - null pointer dereference
  1278. ---
  1279. bug: anti-simplify
  1280. model: |
  1281. %288 = icmp eq %class.ON_Brep* %273, null, !dbg !4465
  1282. --> false
  1283. stack:
  1284. - brlcad/src/other/openNURBS/opennurbs_objref.cpp:921:0
  1285. ncore: 1
  1286. core:
  1287. - brlcad/src/other/openNURBS/opennurbs_objref.cpp:919:0
  1288. - null pointer dereference
  1289. ---
  1290. bug: anti-simplify
  1291. model: |
  1292. %425 = icmp eq %class.ON_Mesh* %410, null, !dbg !4506
  1293. --> false
  1294. stack:
  1295. - brlcad/src/other/openNURBS/opennurbs_objref.cpp:955:0
  1296. ncore: 1
  1297. core:
  1298. - brlcad/src/other/openNURBS/opennurbs_objref.cpp:953:0
  1299. - null pointer dereference
  1300. ---
  1301. bug: anti-simplify
  1302. model: |
  1303. %444 = icmp eq %class.ON_Mesh* %410, null, !dbg !4512
  1304. --> false
  1305. stack:
  1306. - brlcad/src/other/openNURBS/opennurbs_objref.cpp:961:0
  1307. ncore: 1
  1308. core:
  1309. - brlcad/src/other/openNURBS/opennurbs_objref.cpp:953:0
  1310. - null pointer dereference
  1311. ---
  1312. bug: anti-simplify
  1313. model: |
  1314. %283 = icmp eq i8* null, %.0.i1, !dbg !10476
  1315. --> false
  1316. stack:
  1317. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:7115:0
  1318. ncore: 1
  1319. core:
  1320. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:7107:0
  1321. - pointer overflow
  1322. ---
  1323. bug: anti-simplify
  1324. model: |
  1325. %428 = icmp eq i8* null, %.0.i2, !dbg !10502
  1326. --> false
  1327. stack:
  1328. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:7127:0
  1329. ncore: 1
  1330. core:
  1331. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:7107:0
  1332. - pointer overflow
  1333. ---
  1334. bug: anti-simplify
  1335. model: |
  1336. %436 = icmp ne i8* null, %.0.i2, !dbg !10504
  1337. --> true
  1338. stack:
  1339. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:7129:0
  1340. ncore: 1
  1341. core:
  1342. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:7107:0
  1343. - pointer overflow
  1344. ---
  1345. bug: anti-simplify
  1346. model: |
  1347. %56 = icmp eq %class.ON_HatchPattern* %41, null, !dbg !10411
  1348. --> false
  1349. stack:
  1350. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:8390:0
  1351. ncore: 1
  1352. core:
  1353. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:8388:0
  1354. - null pointer dereference
  1355. ---
  1356. bug: anti-simplify
  1357. model: |
  1358. %434 = icmp eq %class.ON_NurbsCurve* %428, null, !dbg !10494
  1359. --> false
  1360. stack:
  1361. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:11275:0
  1362. ncore: 1
  1363. core:
  1364. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:11274:0
  1365. - null pointer dereference
  1366. ---
  1367. bug: anti-simplify
  1368. model: |
  1369. %953 = icmp eq %class.ON_NurbsSurface* %524, null, !dbg !10610
  1370. --> false
  1371. stack:
  1372. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:11181:0
  1373. ncore: 1
  1374. core:
  1375. - brlcad/src/other/openNURBS/opennurbs_archive.cpp:11149:0
  1376. - null pointer dereference
  1377. ---
  1378. bug: anti-simplify
  1379. model: |
  1380. %112 = icmp eq %class.ON_PolyCurve* %86, null, !dbg !4574
  1381. --> false
  1382. stack:
  1383. - brlcad/src/other/openNURBS/opennurbs_brep_io.cpp:998:0
  1384. ncore: 1
  1385. core:
  1386. - brlcad/src/other/openNURBS/opennurbs_brep_io.cpp:995:0
  1387. - null pointer dereference
  1388. ---
  1389. bug: anti-simplify
  1390. model: |
  1391. %190 = icmp eq %class.ON_PolyCurve* %164, null, !dbg !4594
  1392. --> false
  1393. stack:
  1394. - brlcad/src/other/openNURBS/opennurbs_brep_io.cpp:1012:0
  1395. ncore: 1
  1396. core:
  1397. - brlcad/src/other/openNURBS/opennurbs_brep_io.cpp:1009:0
  1398. - null pointer dereference
  1399. ---
  1400. bug: anti-simplify
  1401. model: |
  1402. %209 = icmp eq %class.ON_Buffer* %20, null, !dbg !3923
  1403. --> false
  1404. stack:
  1405. - brlcad/src/other/openNURBS/opennurbs_embedded_file.cpp:1127:0
  1406. ncore: 1
  1407. core:
  1408. - brlcad/src/other/openNURBS/opennurbs_embedded_file.cpp:315:0
  1409. - null pointer dereference
  1410. ---
  1411. bug: anti-simplify
  1412. model: |
  1413. %328 = icmp eq %class.ON_Buffer* %20, null, !dbg !3974
  1414. --> false
  1415. stack:
  1416. - brlcad/src/other/openNURBS/opennurbs_embedded_file.cpp:1151:0
  1417. ncore: 1
  1418. core:
  1419. - brlcad/src/other/openNURBS/opennurbs_embedded_file.cpp:1138:0
  1420. - null pointer dereference
  1421. ---
  1422. bug: anti-simplify
  1423. model: |
  1424. %209 = icmp eq %class.ON_Buffer* %20, null, !dbg !3923
  1425. --> false
  1426. stack:
  1427. - brlcad/src/other/openNURBS/opennurbs_embedded_file.cpp:1224:0
  1428. ncore: 1
  1429. core:
  1430. - brlcad/src/other/openNURBS/opennurbs_embedded_file.cpp:315:0
  1431. - null pointer dereference
  1432. ---
  1433. bug: anti-simplify
  1434. model: |
  1435. %328 = icmp eq %class.ON_Buffer* %20, null, !dbg !3974
  1436. --> false
  1437. stack:
  1438. - brlcad/src/other/openNURBS/opennurbs_embedded_file.cpp:1248:0
  1439. ncore: 1
  1440. core:
  1441. - brlcad/src/other/openNURBS/opennurbs_embedded_file.cpp:1235:0
  1442. - null pointer dereference
  1443. ---
  1444. bug: anti-algebra
  1445. model: |
  1446. %221 = icmp sgt i32 %216, %219, !dbg !5119
  1447. --> %220 = icmp sgt i32 %ki.3, 0, !dbg !5119
  1448. ************************************************************
  1449. (-2 + %210 + %ki.3) >s (-2 + %210)
  1450. --> %ki.3 >s 0
  1451. stack:
  1452. - brlcad/src/other/openNURBS/opennurbs_nurbscurve.cpp:1914:0
  1453. ncore: 1
  1454. core:
  1455. - brlcad/src/other/openNURBS/opennurbs_nurbscurve.cpp:1913:0
  1456. - signed addition overflow
  1457. ---
  1458. bug: anti-simplify
  1459. model: |
  1460. %641 = icmp eq %class.ON_BezierCurve* %189, null, !dbg !5140
  1461. --> false
  1462. stack:
  1463. - brlcad/src/other/openNURBS/opennurbs_nurbscurve.cpp:2485:0
  1464. ncore: 1
  1465. core:
  1466. - brlcad/src/other/openNURBS/opennurbs_nurbscurve.cpp:2463:0
  1467. - pointer overflow
  1468. ---
  1469. bug: anti-simplify
  1470. model: |
  1471. %16 = icmp eq %struct.pkg_conn* %12, null, !dbg !128
  1472. --> false
  1473. stack:
  1474. - brlcad/src/fbserv/fbserv.c:282:0
  1475. ncore: 1
  1476. core:
  1477. - brlcad/src/fbserv/fbserv.c:280:0
  1478. - null pointer dereference
  1479. ---
  1480. bug: anti-simplify
  1481. model: |
  1482. %54 = icmp ne %"class.TCLAP::SwitchArg"* %20, null, !dbg !4252
  1483. --> true
  1484. stack:
  1485. - brlcad/src/util/bu_arg_parse.cpp:200:0
  1486. ncore: 1
  1487. core:
  1488. - brlcad/src/util/../other/tclap/include/tclap/SwitchArg.h:143:0
  1489. - null pointer dereference
  1490. ---
  1491. bug: anti-simplify
  1492. model: |
  1493. %54 = icmp ne %"class.TCLAP::SwitchArg"* %20, null, !dbg !4252
  1494. --> true
  1495. stack:
  1496. - brlcad/src/util/bu_arg_parse.cpp:200:0
  1497. ncore: 1
  1498. core:
  1499. - brlcad/src/util/../other/tclap/include/tclap/SwitchArg.h:143:0
  1500. - null pointer dereference
  1501. ---
  1502. bug: anti-simplify
  1503. model: |
  1504. %44 = icmp ne %struct.bu_ptbl* %search_set, null, !dbg !1582
  1505. --> true
  1506. stack:
  1507. - brlcad/src/libged/search.c:78:0
  1508. ncore: 1
  1509. core:
  1510. - brlcad/src/libged/search.c:71:0
  1511. - null pointer dereference
  1512. ---
  1513. bug: anti-simplify
  1514. model: |
  1515. %77 = icmp eq i32 %i.0, 2, !dbg !1668
  1516. --> true
  1517. stack:
  1518. - brlcad/src/libged/analyze.c:165:0
  1519. ncore: 1
  1520. core:
  1521. - brlcad/src/libged/analyze.c:156:0
  1522. - buffer overflow
  1523. ---
  1524. bug: anti-simplify
  1525. model: |
  1526. %295 = icmp eq %class.ON_Curve* %.12, null, !dbg !11959
  1527. --> false
  1528. stack:
  1529. - brlcad/src/libbrep/intersect.cpp:214:0
  1530. ncore: 1
  1531. core:
  1532. - brlcad/src/libbrep/intersect.cpp:213:0
  1533. - null pointer dereference
  1534. ---
  1535. bug: anti-simplify
  1536. model: |
  1537. %593 = icmp eq %class.ON_Curve* %.12, null, !dbg !12036
  1538. --> false
  1539. stack:
  1540. - brlcad/src/libbrep/intersect.cpp:291:0
  1541. ncore: 1
  1542. core:
  1543. - brlcad/src/libbrep/intersect.cpp:271:0
  1544. - null pointer dereference
  1545. ---
  1546. bug: anti-simplify
  1547. model: |
  1548. %111 = icmp eq %class.Subcurve* %89, null, !dbg !11896
  1549. --> false
  1550. stack:
  1551. - brlcad/src/libbrep/intersect.cpp:431:0
  1552. ncore: 1
  1553. core:
  1554. - brlcad/include/brep.h:1753:0
  1555. - null pointer dereference
  1556. ---
  1557. bug: anti-simplify
  1558. model: |
  1559. %137 = icmp eq %class.Subsurface* %91, null, !dbg !11898
  1560. --> false
  1561. stack:
  1562. - brlcad/src/libbrep/intersect.cpp:607:0
  1563. ncore: 1
  1564. core:
  1565. - brlcad/include/brep.h:1849:0
  1566. - null pointer dereference
  1567. ---
  1568. bug: anti-dce
  1569. model: |
  1570. %681 = icmp eq %class.Subcurve* %659, null, !dbg !11994
  1571. --> false
  1572. ************************************************************
  1573. :
  1574. %682 = icmp eq %class.Subcurve* %treeA, null, !dbg !11996
  1575. br i1 %682, label %683, label %698, !dbg !11996
  1576. stack:
  1577. - brlcad/src/libbrep/intersect.cpp:883:0
  1578. ncore: 1
  1579. core:
  1580. - brlcad/include/brep.h:1753:0
  1581. - null pointer dereference
  1582. ---
  1583. bug: anti-simplify
  1584. model: |
  1585. %632 = icmp eq %class.Subcurve* %610, null, !dbg !11974
  1586. --> false
  1587. stack:
  1588. - brlcad/src/libbrep/intersect.cpp:871:0
  1589. ncore: 1
  1590. core:
  1591. - brlcad/include/brep.h:1753:0
  1592. - null pointer dereference
  1593. ---
  1594. bug: anti-simplify
  1595. model: |
  1596. %641 = icmp eq %class.Subcurve* %610, null, !dbg !11980
  1597. --> false
  1598. stack:
  1599. - brlcad/src/libbrep/intersect.cpp:874:0
  1600. ncore: 1
  1601. core:
  1602. - brlcad/include/brep.h:1753:0
  1603. - null pointer dereference
  1604. ---
  1605. bug: anti-simplify
  1606. model: |
  1607. %708 = icmp eq %class.Subcurve* %657, null, !dbg !12010
  1608. --> false
  1609. stack:
  1610. - brlcad/src/libbrep/intersect.cpp:888:0
  1611. ncore: 1
  1612. core:
  1613. - brlcad/include/brep.h:1753:0
  1614. - null pointer dereference
  1615. ---
  1616. bug: anti-simplify
  1617. model: |
  1618. %3616 = icmp eq %class.Subcurve* %rootA.0, null, !dbg !12641
  1619. --> false
  1620. stack:
  1621. - brlcad/src/libbrep/intersect.cpp:1185:0
  1622. ncore: 1
  1623. core:
  1624. - brlcad/src/libbrep/intersect.cpp:895:0
  1625. - null pointer dereference
  1626. ---
  1627. bug: anti-simplify
  1628. model: |
  1629. %3628 = icmp eq %class.Subcurve* %rootB.0, null, !dbg !12645
  1630. --> false
  1631. stack:
  1632. - brlcad/src/libbrep/intersect.cpp:1186:0
  1633. ncore: 1
  1634. core:
  1635. - brlcad/src/libbrep/intersect.cpp:899:0
  1636. - null pointer dereference
  1637. ---
  1638. bug: anti-dce
  1639. model: |
  1640. %1051 = icmp eq %class.Subsurface* %1005, null, !dbg !11990
  1641. --> false
  1642. ************************************************************
  1643. :
  1644. %1052 = icmp eq %class.Subcurve* %treeA, null, !dbg !11992
  1645. br i1 %1052, label %1053, label %1068, !dbg !11992
  1646. stack:
  1647. - brlcad/src/libbrep/intersect.cpp:1354:0
  1648. ncore: 1
  1649. core:
  1650. - brlcad/include/brep.h:1849:0
  1651. - null pointer dereference
  1652. ---
  1653. bug: anti-simplify
  1654. model: |
  1655. %703 = icmp eq %class.Subcurve* %681, null, !dbg !11969
  1656. --> false
  1657. stack:
  1658. - brlcad/src/libbrep/intersect.cpp:1342:0
  1659. ncore: 1
  1660. core:
  1661. - brlcad/include/brep.h:1753:0
  1662. - null pointer dereference
  1663. ---
  1664. bug: anti-simplify
  1665. model: |
  1666. %711 = icmp eq %class.Subcurve* %681, null, !dbg !11975
  1667. --> false
  1668. stack:
  1669. - brlcad/src/libbrep/intersect.cpp:1345:0
  1670. ncore: 1
  1671. core:
  1672. - brlcad/include/brep.h:1753:0
  1673. - null pointer dereference
  1674. ---
  1675. bug: anti-simplify
  1676. model: |
  1677. %1077 = icmp eq %class.Subsurface* %1003, null, !dbg !12006
  1678. --> false
  1679. stack:
  1680. - brlcad/src/libbrep/intersect.cpp:1359:0
  1681. ncore: 1
  1682. core:
  1683. - brlcad/include/brep.h:1849:0
  1684. - null pointer dereference
  1685. ---
  1686. bug: anti-simplify
  1687. model: |
  1688. %5555 = icmp eq %class.Subcurve* %rootA.0, null, !dbg !12976
  1689. --> false
  1690. stack:
  1691. - brlcad/src/libbrep/intersect.cpp:1786:0
  1692. ncore: 1
  1693. core:
  1694. - brlcad/src/libbrep/intersect.cpp:1366:0
  1695. - null pointer dereference
  1696. ---
  1697. bug: anti-simplify
  1698. model: |
  1699. %5567 = icmp eq %class.Subsurface* %rootB.0, null, !dbg !12980
  1700. --> false
  1701. stack:
  1702. - brlcad/src/libbrep/intersect.cpp:1787:0
  1703. ncore: 1
  1704. core:
  1705. - brlcad/src/libbrep/intersect.cpp:1370:0
  1706. - null pointer dereference
  1707. ---
  1708. bug: anti-dce
  1709. model: |
  1710. %436 = icmp eq %class.Subsurface* %390, null, !dbg !11934
  1711. --> false
  1712. ************************************************************
  1713. :
  1714. %437 = icmp eq %class.Subsurface* %treeA, null, !dbg !11936
  1715. br i1 %437, label %438, label %453, !dbg !11936
  1716. stack:
  1717. - brlcad/src/libbrep/intersect.cpp:2331:0
  1718. ncore: 1
  1719. core:
  1720. - brlcad/include/brep.h:1849:0
  1721. - null pointer dereference
  1722. ---
  1723. bug: anti-simplify
  1724. model: |
  1725. %337 = icmp eq %class.Subsurface* %291, null, !dbg !11915
  1726. --> false
  1727. stack:
  1728. - brlcad/src/libbrep/intersect.cpp:2321:0
  1729. ncore: 1
  1730. core:
  1731. - brlcad/include/brep.h:1849:0
  1732. - null pointer dereference
  1733. ---
  1734. bug: anti-simplify
  1735. model: |
  1736. %372 = icmp eq %class.Subsurface* %291, null, !dbg !11922
  1737. --> false
  1738. stack:
  1739. - brlcad/src/libbrep/intersect.cpp:2324:0
  1740. ncore: 1
  1741. core:
  1742. - brlcad/include/brep.h:1849:0
  1743. - null pointer dereference
  1744. ---
  1745. bug: anti-simplify
  1746. model: |
  1747. %463 = icmp eq %class.Subsurface* %388, null, !dbg !11950
  1748. --> false
  1749. stack:
  1750. - brlcad/src/libbrep/intersect.cpp:2336:0
  1751. ncore: 1
  1752. core:
  1753. - brlcad/include/brep.h:1849:0
  1754. - null pointer dereference
  1755. ---
  1756. bug: anti-simplify
  1757. model: |
  1758. %11980 = icmp eq %class.Subsurface* %rootA.0, null, !dbg !13762
  1759. --> false
  1760. stack:
  1761. - brlcad/src/libbrep/intersect.cpp:3091:0
  1762. ncore: 1
  1763. core:
  1764. - brlcad/src/libbrep/intersect.cpp:2354:0
  1765. - null pointer dereference
  1766. ---
  1767. bug: anti-simplify
  1768. model: |
  1769. %15863 = icmp eq %class.Subsurface* %rootA.0, null, !dbg !14523
  1770. --> false
  1771. stack:
  1772. - brlcad/src/libbrep/intersect.cpp:3443:0
  1773. ncore: 1
  1774. core:
  1775. - brlcad/src/libbrep/intersect.cpp:3105:0
  1776. - null pointer dereference
  1777. ---
  1778. bug: anti-simplify
  1779. model: |
  1780. %15875 = icmp eq %class.Subsurface* %rootB.0, null, !dbg !14527
  1781. --> false
  1782. stack:
  1783. - brlcad/src/libbrep/intersect.cpp:3444:0
  1784. ncore: 1
  1785. core:
  1786. - brlcad/src/libbrep/intersect.cpp:3105:0
  1787. - null pointer dereference
  1788. ---
  1789. bug: anti-simplify
  1790. model: |
  1791. %293 = icmp eq double* %262, null, !dbg !8634
  1792. --> false
  1793. stack:
  1794. - brlcad/src/libbrep/opennurbs_ext.cpp:932:0
  1795. ncore: 1
  1796. core:
  1797. - brlcad/src/libbrep/opennurbs_ext.cpp:931:0
  1798. - null pointer dereference
  1799. ---
  1800. bug: anti-simplify
  1801. model: |
  1802. %457 = icmp eq double* %426, null, !dbg !8642
  1803. --> false
  1804. stack:
  1805. - brlcad/src/libbrep/opennurbs_ext.cpp:939:0
  1806. ncore: 1
  1807. core:
  1808. - brlcad/src/libbrep/opennurbs_ext.cpp:938:0
  1809. - null pointer dereference
  1810. ---
  1811. bug: anti-simplify
  1812. model: |
  1813. %265 = icmp eq %"class.brlcad::SurfaceTree"* %a_tree.0, null, !dbg !8671
  1814. --> false
  1815. stack:
  1816. - brlcad/src/libbrep/opennurbs_ext.cpp:1633:0
  1817. ncore: 1
  1818. core:
  1819. - brlcad/src/libbrep/opennurbs_ext.cpp:663:0
  1820. - null pointer dereference
  1821. ---
  1822. bug: anti-simplify
  1823. model: |
  1824. %350 = icmp eq double* %49, null, !dbg !10427
  1825. --> false
  1826. stack:
  1827. - brlcad/src/libbrep/PullbackCurve.cpp:876:0
  1828. ncore: 1
  1829. core:
  1830. - brlcad/src/libbrep/PullbackCurve.cpp:832:0
  1831. - null pointer dereference
  1832. ---
  1833. bug: anti-simplify
  1834. model: |
  1835. %394 = icmp eq %struct.pbc_data* %58, null, !dbg !10463
  1836. --> false
  1837. stack:
  1838. - brlcad/src/libbrep/PullbackCurve.cpp:1288:0
  1839. ncore: 1
  1840. core:
  1841. - brlcad/src/libbrep/PullbackCurve.cpp:1256:0
  1842. - null pointer dereference
  1843. ---
  1844. bug: anti-simplify
  1845. model: |
  1846. %183 = icmp eq %class.ON_Brep* %6, null, !dbg !4444
  1847. --> false
  1848. stack:
  1849. - brlcad/src/libbrep/test_point_intersect.cpp:191:0
  1850. ncore: 1
  1851. core:
  1852. - brlcad/src/other/openNURBS/opennurbs_array_defs.h:175:0
  1853. - null pointer dereference
  1854. ---
  1855. bug: anti-dce
  1856. model: |
  1857. %1344 = icmp slt i32 %i.2, 100, !dbg !244
  1858. --> true
  1859. ************************************************************
  1860. :
  1861. %1364 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([20 x i8]* @.str23, i32 0, i32 0), i32 %i.2), !dbg !250
  1862. %1365 = load %struct._IO_FILE** @stdout, align 8, !dbg !252
  1863. %1366 = call i32 @fflush(%struct._IO_FILE* %1365), !dbg !252
  1864. br label %1367
  1865. stack:
  1866. - brlcad/src/shapes/wire.c:321:0
  1867. ncore: 2
  1868. core:
  1869. - brlcad/src/shapes/wire.c:305:0
  1870. - buffer overflow
  1871. - brlcad/src/shapes/wire.c:305:0
  1872. - buffer overflow
  1873. ---
  1874. bug: anti-dce
  1875. model: |
  1876. %1471 = icmp slt i32 %i.3, 100, !dbg !265
  1877. --> true
  1878. ************************************************************
  1879. :
  1880. %1491 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([20 x i8]* @.str23, i32 0, i32 0), i32 %i.3), !dbg !271
  1881. %1492 = load %struct._IO_FILE** @stdout, align 8, !dbg !273
  1882. %1493 = call i32 @fflush(%struct._IO_FILE* %1492), !dbg !273
  1883. br label %1494
  1884. stack:
  1885. - brlcad/src/shapes/wire.c:358:0
  1886. ncore: 2
  1887. core:
  1888. - brlcad/src/shapes/wire.c:342:0
  1889. - buffer overflow
  1890. - brlcad/src/shapes/wire.c:342:0
  1891. - buffer overflow
  1892. ---
  1893. bug: anti-dce
  1894. model: |
  1895. %1470 = icmp eq %union.cutter* %cutp.7, null, !dbg !1386
  1896. --> false
  1897. ************************************************************
  1898. :
  1899. call void @bu_bomb(i8* getelementptr inbounds ([39 x i8]* @.str16, i32 0, i32 0)), !dbg !1388
  1900. br label %1471, !dbg !1388
  1901. stack:
  1902. - brlcad/src/librt/shoot.c:464:0
  1903. ncore: 1
  1904. core:
  1905. - brlcad/src/librt/shoot.c:437:0
  1906. - null pointer dereference
  1907. ---
  1908. bug: anti-simplify
  1909. model: |
  1910. %2144 = icmp ne %struct.faceuse** %outfaceuses.0, null, !dbg !1546
  1911. --> true
  1912. stack:
  1913. - brlcad/src/librt/primitives/hyp/hyp.c:1124:0
  1914. ncore: 1
  1915. core:
  1916. - brlcad/src/librt/primitives/hyp/hyp.c:1077:0
  1917. - null pointer dereference
  1918. ---
  1919. bug: anti-simplify
  1920. model: |
  1921. %2163 = icmp ne %struct.vertex*** %861, null, !dbg !1555
  1922. --> true
  1923. stack:
  1924. - brlcad/src/librt/primitives/hyp/hyp.c:1129:0
  1925. ncore: 1
  1926. core:
  1927. - brlcad/src/librt/primitives/hyp/hyp.c:1073:0
  1928. - null pointer dereference
  1929. ---
  1930. bug: anti-simplify
  1931. model: |
  1932. %2183 = icmp ne %struct.vertex*** %861, null, !dbg !1561
  1933. --> true
  1934. stack:
  1935. - brlcad/src/librt/primitives/hyp/hyp.c:1134:0
  1936. ncore: 1
  1937. core:
  1938. - brlcad/src/librt/primitives/hyp/hyp.c:1073:0
  1939. - null pointer dereference
  1940. ---
  1941. bug: anti-simplify
  1942. model: |
  1943. %2504 = icmp ne %struct.hyp_specific* %41, null, !dbg !1636
  1944. --> true
  1945. stack:
  1946. - brlcad/src/librt/primitives/hyp/hyp.c:1182:0
  1947. ncore: 1
  1948. core:
  1949. - brlcad/src/librt/primitives/hyp/hyp.c:779:0
  1950. - null pointer dereference
  1951. ---
  1952. bug: anti-simplify
  1953. model: |
  1954. %2509 = icmp ne %struct.faceuse** %outfaceuses.0, null, !dbg !1640
  1955. --> true
  1956. stack:
  1957. - brlcad/src/librt/primitives/hyp/hyp.c:1184:0
  1958. ncore: 1
  1959. core:
  1960. - brlcad/src/librt/primitives/hyp/hyp.c:954:0
  1961. - null pointer dereference
  1962. ---
  1963. bug: anti-simplify
  1964. model: |
  1965. %2528 = icmp ne %struct.vertex*** %861, null, !dbg !1649
  1966. --> true
  1967. stack:
  1968. - brlcad/src/librt/primitives/hyp/hyp.c:1189:0
  1969. ncore: 1
  1970. core:
  1971. - brlcad/src/librt/primitives/hyp/hyp.c:954:0
  1972. - null pointer dereference
  1973. ---
  1974. bug: anti-simplify
  1975. model: |
  1976. %2548 = icmp ne %struct.vertex*** %861, null, !dbg !1655
  1977. --> true
  1978. stack:
  1979. - brlcad/src/librt/primitives/hyp/hyp.c:1194:0
  1980. ncore: 1
  1981. core:
  1982. - brlcad/src/librt/primitives/hyp/hyp.c:954:0
  1983. - null pointer dereference
  1984. ---
  1985. bug: anti-simplify
  1986. model: |
  1987. %623 = icmp eq %class.ON_NurbsCurve* %346, null, !dbg !4944
  1988. --> false
  1989. stack:
  1990. - brlcad/src/librt/primitives/hyp/hyp_brep.cpp:99:0
  1991. ncore: 1
  1992. core:
  1993. - brlcad/src/librt/primitives/hyp/hyp_brep.cpp:71:0
  1994. - null pointer dereference
  1995. ---
  1996. bug: anti-simplify
  1997. model: |
  1998. %835 = icmp eq %class.ON_NurbsCurve* %389, null, !dbg !4964
  1999. --> false
  2000. stack:
  2001. - brlcad/src/librt/primitives/hyp/hyp_brep.cpp:119:0
  2002. ncore: 1
  2003. core:
  2004. - brlcad/src/librt/primitives/hyp/hyp_brep.cpp:76:0
  2005. - null pointer dereference
  2006. ---
  2007. bug: anti-simplify
  2008. model: |
  2009. %1079 = icmp eq %class.ON_RevSurface* %1032, null, !dbg !4995
  2010. --> false
  2011. stack:
  2012. - brlcad/src/librt/primitives/hyp/hyp_brep.cpp:158:0
  2013. ncore: 1
  2014. core:
  2015. - brlcad/src/librt/primitives/hyp/hyp_brep.cpp:157:0
  2016. - null pointer dereference
  2017. ---
  2018. bug: bugon-null
  2019. model: |
  2020. %2034 = load %struct.vertex_g** getelementptr (%struct.vertex* null, i32 0, i32 2), align 8, !dbg !892
  2021. stack:
  2022. - brlcad/src/librt/primitives/nmg/nmg_inter.c:4354:0
  2023. ---
  2024. bug: bugon-bounds
  2025. model: |
  2026. %2601 = load %struct.vertex_g** getelementptr (%struct.vertex* null, i32 0, i32 2), align 8, !dbg !893
  2027. stack:
  2028. - brlcad/src/librt/primitives/nmg/nmg_inter.c:4354:0
  2029. ---
  2030. bug: bugon-bounds
  2031. model: |
  2032. %2634 = load %struct.vertex_g** getelementptr (%struct.vertex* null, i32 0, i32 2), align 8, !dbg !897
  2033. stack:
  2034. - brlcad/src/librt/primitives/nmg/nmg_inter.c:4358:0
  2035. ---
  2036. bug: bugon-bounds
  2037. model: |
  2038. %2644 = load %struct.vertex_g** getelementptr (%struct.vertex* null, i32 0, i32 2), align 8, !dbg !898
  2039. stack:
  2040. - brlcad/src/librt/primitives/nmg/nmg_inter.c:4359:0
  2041. ---
  2042. bug: anti-dce
  2043. model: |
  2044. %2702 = icmp slt i32 %1692, 0, !dbg !891
  2045. --> false
  2046. ************************************************************
  2047. :
  2048. call void (i8*, ...)* @bu_log(i8* getelementptr inbounds ([59 x i8]* @.str204, i32 0, i32 0), %struct.vertex* null), !dbg !893
  2049. call void @opt.bugon(i1 true), !dbg !895, !bug !490
  2050. call void @opt.bugon(i1 true), !dbg !895, !bug !896
  2051. %2703 = load %struct.vertex_g** getelementptr (%struct.vertex* null, i32 0, i32 2), align 8, !dbg !895
  2052. %2704 = getelementptr inbounds %struct.vertex_g* %2703, i32 0, i32 1, !dbg !895
  2053. %2705 = getelementptr inbounds [3 x double]* %2704, i32 0, i64 0, !dbg !895
  2054. %2706 = icmp eq %struct.vertex_g* %2703, null
  2055. call void @opt.bugon(i1 %2706), !dbg !895, !bug !490
  2056. %2707 = load double* %2705, align 8, !dbg !895
  2057. %2708 = getelementptr inbounds %struct.vertex_g* %2703, i32 0, i32 1, !dbg !895
  2058. %2709 = ptrtoint [3 x double]* %2708 to i65
  2059. %2710 = add i65 %2709, 8
  2060. %2711 = icmp sgt i65 %2710, 18446744073709551615
  2061. call void @opt.bugon(i1 %2711), !dbg !895, !bug !524
  2062. %2712 = icmp slt i65 %2710, 0
  2063. call void @opt.bugon(i1 %2712), !dbg !895, !bug !524
  2064. %2713 = getelementptr inbounds [3 x double]* %2708, i32 0, i64 1, !dbg !895
  2065. %2714 = load double* %2713, align 8, !dbg !895
  2066. %2715 = getelementptr inbounds %struct.vertex_g* %2703, i32 0, i32 1, !dbg !895
  2067. %2716 = ptrtoint [3 x double]* %2715 to i65
  2068. %2717 = add i65 %2716, 16
  2069. %2718 = icmp sgt i65 %2717, 18446744073709551615
  2070. call void @opt.bugon(i1 %2718), !dbg !895, !bug !524
  2071. %2719 = icmp slt i65 %2717, 0
  2072. call void @opt.bugon(i1 %2719), !dbg !895, !bug !524
  2073. %2720 = getelementptr inbounds [3 x double]* %2715, i32 0, i64 2, !dbg !895
  2074. %2721 = load double* %2720, align 8, !dbg !895
  2075. call void (i8*, ...)* @bu_log(i8* getelementptr inbounds ([17 x i8]* @.str48, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8]* @.str205, i32 0, i32 0), double %2707, double %2714, double %2721), !dbg !895
  2076. %2722 = icmp eq %struct.edge_g_lseg** %eg1.0, null
  2077. call void @opt.bugon(i1 %2722), !dbg !897, !bug !490
  2078. %2723 = load %struct.edge_g_lseg** %eg1.0, align 8, !dbg !897
  2079. %2724 = getelementptr inbounds %struct.edge_g_lseg* %2723, i32 0, i32 0, !dbg !897
  2080. %2725 = getelementptr inbounds %struct.bu_list* %2724, i32 0, i32 0, !dbg !897
  2081. call void @nmg_pr_eg(i32* %2725, i8* null), !dbg !897
  2082. %2726 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 12, !dbg !898
  2083. %2727 = icmp eq %struct.nmg_inter_struct* %is, null
  2084. call void @opt.bugon(i1 %2727), !dbg !898, !bug !490
  2085. %2728 = load %struct.edge_g_lseg** %2726, align 8, !dbg !898
  2086. %2729 = getelementptr inbounds %struct.edge_g_lseg* %2728, i32 0, i32 0, !dbg !898
  2087. %2730 = getelementptr inbounds %struct.bu_list* %2729, i32 0, i32 0, !dbg !898
  2088. call void @nmg_pr_eg(i32* %2730, i8* null), !dbg !898
  2089. %2731 = load %struct.edge_g_lseg** %eg1.0, align 8, !dbg !899
  2090. %2732 = getelementptr inbounds %struct.edge_g_lseg* %2731, i32 0, i32 2, !dbg !899
  2091. %2733 = getelementptr inbounds [3 x double]* %2732, i32 0, i32 0, !dbg !899
  2092. %2734 = getelementptr inbounds %struct.edge_g_lseg* %2731, i32 0, i32 3, !dbg !899
  2093. %2735 = getelementptr inbounds [3 x double]* %2734, i32 0, i32 0, !dbg !899
  2094. call void @opt.bugon(i1 true), !dbg !899, !bug !896
  2095. %2736 = load %struct.vertex_g** getelementptr (%struct.vertex* null, i32 0, i32 2), align 8, !dbg !899
  2096. %2737 = getelementptr inbounds %struct.vertex_g* %2736, i32 0, i32 1, !dbg !899
  2097. %2738 = getelementptr inbounds [3 x double]* %2737, i32 0, i32 0, !dbg !899
  2098. %2739 = call double @bn_dist_line3_pt3(double* %2733, double* %2735, double* %2738), !dbg !899
  2099. %2740 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 12, !dbg !900
  2100. %2741 = load %struct.edge_g_lseg** %2740, align 8, !dbg !900
  2101. %2742 = getelementptr inbounds %struct.edge_g_lseg* %2741, i32 0, i32 2, !dbg !900
  2102. %2743 = getelementptr inbounds [3 x double]* %2742, i32 0, i32 0, !dbg !900
  2103. %2744 = getelementptr inbounds %struct.edge_g_lseg* %2741, i32 0, i32 3, !dbg !900
  2104. %2745 = getelementptr inbounds [3 x double]* %2744, i32 0, i32 0, !dbg !900
  2105. call void @opt.bugon(i1 true), !dbg !900, !bug !896
  2106. %2746 = load %struct.vertex_g** getelementptr (%struct.vertex* null, i32 0, i32 2), align 8, !dbg !900
  2107. %2747 = getelementptr inbounds %struct.vertex_g* %2746, i32 0, i32 1, !dbg !900
  2108. %2748 = getelementptr inbounds [3 x double]* %2747, i32 0, i32 0, !dbg !900
  2109. %2749 = call double @bn_dist_line3_pt3(double* %2743, double* %2745, double* %2748), !dbg !900
  2110. call void (i8*, ...)* @bu_log(i8* getelementptr inbounds ([35 x i8]* @.str206, i32 0, i32 0), double %2739, double %2749), !dbg !901
  2111. %2750 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 15, !dbg !902
  2112. %2751 = getelementptr inbounds [3 x double]* %2750, i32 0, i64 0, !dbg !902
  2113. %2752 = load double* %2751, align 8, !dbg !902
  2114. %2753 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 15, !dbg !902
  2115. %2754 = ptrtoint [3 x double]* %2753 to i65
  2116. %2755 = add i65 %2754, 8
  2117. %2756 = icmp sgt i65 %2755, 18446744073709551615
  2118. call void @opt.bugon(i1 %2756), !dbg !902, !bug !524
  2119. %2757 = icmp slt i65 %2755, 0
  2120. call void @opt.bugon(i1 %2757), !dbg !902, !bug !524
  2121. %2758 = getelementptr inbounds [3 x double]* %2753, i32 0, i64 1, !dbg !902
  2122. %2759 = load double* %2758, align 8, !dbg !902
  2123. %2760 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 15, !dbg !902
  2124. %2761 = ptrtoint [3 x double]* %2760 to i65
  2125. %2762 = add i65 %2761, 16
  2126. %2763 = icmp sgt i65 %2762, 18446744073709551615
  2127. call void @opt.bugon(i1 %2763), !dbg !902, !bug !524
  2128. %2764 = icmp slt i65 %2762, 0
  2129. call void @opt.bugon(i1 %2764), !dbg !902, !bug !524
  2130. %2765 = getelementptr inbounds [3 x double]* %2760, i32 0, i64 2, !dbg !902
  2131. %2766 = load double* %2765, align 8, !dbg !902
  2132. call void (i8*, ...)* @bu_log(i8* getelementptr inbounds ([17 x i8]* @.str48, i32 0, i32 0), i8* getelementptr inbounds ([10 x i8]* @.str207, i32 0, i32 0), double %2752, double %2759, double %2766), !dbg !902
  2133. %2767 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 16, !dbg !903
  2134. %2768 = getelementptr inbounds [3 x double]* %2767, i32 0, i64 0, !dbg !903
  2135. %2769 = load double* %2768, align 8, !dbg !903
  2136. %2770 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 16, !dbg !903
  2137. %2771 = ptrtoint [3 x double]* %2770 to i65
  2138. %2772 = add i65 %2771, 8
  2139. %2773 = icmp sgt i65 %2772, 18446744073709551615
  2140. call void @opt.bugon(i1 %2773), !dbg !903, !bug !524
  2141. %2774 = icmp slt i65 %2772, 0
  2142. call void @opt.bugon(i1 %2774), !dbg !903, !bug !524
  2143. %2775 = getelementptr inbounds [3 x double]* %2770, i32 0, i64 1, !dbg !903
  2144. %2776 = load double* %2775, align 8, !dbg !903
  2145. %2777 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 16, !dbg !903
  2146. %2778 = ptrtoint [3 x double]* %2777 to i65
  2147. %2779 = add i65 %2778, 16
  2148. %2780 = icmp sgt i65 %2779, 18446744073709551615
  2149. call void @opt.bugon(i1 %2780), !dbg !903, !bug !524
  2150. %2781 = icmp slt i65 %2779, 0
  2151. call void @opt.bugon(i1 %2781), !dbg !903, !bug !524
  2152. %2782 = getelementptr inbounds [3 x double]* %2777, i32 0, i64 2, !dbg !903
  2153. %2783 = load double* %2782, align 8, !dbg !903
  2154. call void (i8*, ...)* @bu_log(i8* getelementptr inbounds ([17 x i8]* @.str48, i32 0, i32 0), i8* getelementptr inbounds ([10 x i8]* @.str208, i32 0, i32 0), double %2769, double %2776, double %2783), !dbg !903
  2155. %2784 = getelementptr inbounds [3 x double]* %eg_pt2d, i32 0, i64 0, !dbg !904
  2156. %2785 = load double* %2784, align 8, !dbg !904
  2157. %2786 = ptrtoint [3 x double]* %eg_pt2d to i65
  2158. %2787 = add i65 %2786, 8
  2159. %2788 = icmp sgt i65 %2787, 18446744073709551615
  2160. call void @opt.bugon(i1 %2788), !dbg !904, !bug !524
  2161. %2789 = icmp slt i65 %2787, 0
  2162. call void @opt.bugon(i1 %2789), !dbg !904, !bug !524
  2163. %2790 = getelementptr inbounds [3 x double]* %eg_pt2d, i32 0, i64 1, !dbg !904
  2164. %2791 = load double* %2790, align 8, !dbg !904
  2165. %2792 = ptrtoint [3 x double]* %eg_pt2d to i65
  2166. %2793 = add i65 %2792, 16
  2167. %2794 = icmp sgt i65 %2793, 18446744073709551615
  2168. call void @opt.bugon(i1 %2794), !dbg !904, !bug !524
  2169. %2795 = icmp slt i65 %2793, 0
  2170. call void @opt.bugon(i1 %2795), !dbg !904, !bug !524
  2171. %2796 = getelementptr inbounds [3 x double]* %eg_pt2d, i32 0, i64 2, !dbg !904
  2172. %2797 = load double* %2796, align 8, !dbg !904
  2173. call void (i8*, ...)* @bu_log(i8* getelementptr inbounds ([17 x i8]* @.str48, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8]* @.str209, i32 0, i32 0), double %2785, double %2791, double %2797), !dbg !904
  2174. %2798 = getelementptr inbounds [3 x double]* %eg_dir2d, i32 0, i64 0, !dbg !905
  2175. %2799 = load double* %2798, align 8, !dbg !905
  2176. %2800 = ptrtoint [3 x double]* %eg_dir2d to i65
  2177. %2801 = add i65 %2800, 8
  2178. %2802 = icmp sgt i65 %2801, 18446744073709551615
  2179. call void @opt.bugon(i1 %2802), !dbg !905, !bug !524
  2180. %2803 = icmp slt i65 %2801, 0
  2181. call void @opt.bugon(i1 %2803), !dbg !905, !bug !524
  2182. %2804 = getelementptr inbounds [3 x double]* %eg_dir2d, i32 0, i64 1, !dbg !905
  2183. %2805 = load double* %2804, align 8, !dbg !905
  2184. %2806 = ptrtoint [3 x double]* %eg_dir2d to i65
  2185. %2807 = add i65 %2806, 16
  2186. %2808 = icmp sgt i65 %2807, 18446744073709551615
  2187. call void @opt.bugon(i1 %2808), !dbg !905, !bug !524
  2188. %2809 = icmp slt i65 %2807, 0
  2189. call void @opt.bugon(i1 %2809), !dbg !905, !bug !524
  2190. %2810 = getelementptr inbounds [3 x double]* %eg_dir2d, i32 0, i64 2, !dbg !905
  2191. %2811 = load double* %2810, align 8, !dbg !905
  2192. call void (i8*, ...)* @bu_log(i8* getelementptr inbounds ([17 x i8]* @.str48, i32 0, i32 0), i8* getelementptr inbounds ([10 x i8]* @.str210, i32 0, i32 0), double %2799, double %2805, double %2811), !dbg !905
  2193. %2812 = getelementptr inbounds [2 x double]* %dist, i32 0, i64 0, !dbg !906
  2194. %2813 = ptrtoint [2 x double]* %dist to i65
  2195. %2814 = add i65 %2813, 8
  2196. %2815 = icmp sgt i65 %2814, 18446744073709551615
  2197. call void @opt.bugon(i1 %2815), !dbg !906, !bug !524
  2198. %2816 = icmp slt i65 %2814, 0
  2199. call void @opt.bugon(i1 %2816), !dbg !906, !bug !524
  2200. %2817 = getelementptr inbounds [2 x double]* %dist, i32 0, i64 1, !dbg !906
  2201. %2818 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 13, !dbg !906
  2202. %2819 = getelementptr inbounds [3 x double]* %2818, i32 0, i32 0, !dbg !906
  2203. %2820 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 14, !dbg !906
  2204. %2821 = getelementptr inbounds [3 x double]* %2820, i32 0, i32 0, !dbg !906
  2205. %2822 = load %struct.edge_g_lseg** %eg1.0, align 8, !dbg !906
  2206. %2823 = getelementptr inbounds %struct.edge_g_lseg* %2822, i32 0, i32 2, !dbg !906
  2207. %2824 = getelementptr inbounds [3 x double]* %2823, i32 0, i32 0, !dbg !906
  2208. %2825 = getelementptr inbounds %struct.edge_g_lseg* %2822, i32 0, i32 3, !dbg !906
  2209. %2826 = getelementptr inbounds [3 x double]* %2825, i32 0, i32 0, !dbg !906
  2210. %2827 = getelementptr inbounds %struct.nmg_inter_struct* %is, i32 0, i32 10, !dbg !906
  2211. %2828 = call i32 @bn_isect_line3_line3(double* %2812, double* %2817, double* %2819, double* %2821, double* %2824, double* %2826, %struct.bn_tol* %2827), !dbg !906
  2212. call void (i8*, ...)* @bu_log(i8* getelementptr inbounds ([25 x i8]* @.str211, i32 0, i32 0), i32 %2828), !dbg !907
  2213. br label %3151, !dbg !908
  2214. stack:
  2215. - brlcad/src/librt/primitives/nmg/nmg_inter.c:4353:0
  2216. ncore: 1
  2217. core:
  2218. - brlcad/src/librt/primitives/nmg/nmg_inter.c:4359:0
  2219. - buffer overflow
  2220. ---
  2221. bug: anti-simplify
  2222. model: |
  2223. %326 = icmp ne %struct.faceuse* %fu2, null, !dbg !619
  2224. --> true
  2225. stack:
  2226. - brlcad/src/librt/primitives/nmg/nmg_inter.c:2265:0
  2227. ncore: 1
  2228. core:
  2229. - brlcad/src/librt/primitives/nmg/nmg_inter.c:2196:0
  2230. - null pointer dereference
  2231. ---
  2232. bug: anti-simplify
  2233. model: |
  2234. %6385 = icmp eq %class.ON_BezierSurface* %5970, null, !dbg !5368
  2235. --> false
  2236. stack:
  2237. - brlcad/src/librt/primitives/dsp/dsp_brep.cpp:471:0
  2238. ncore: 1
  2239. core:
  2240. - brlcad/src/librt/primitives/dsp/dsp_brep.cpp:461:0
  2241. - null pointer dereference
  2242. ---
  2243. bug: anti-simplify
  2244. model: |
  2245. %696 = icmp eq %class.ON_NurbsCurve* %477, null, !dbg !4965
  2246. --> false
  2247. stack:
  2248. - brlcad/src/librt/primitives/ehy/ehy_brep.cpp:113:0
  2249. ncore: 1
  2250. core:
  2251. - brlcad/src/librt/primitives/ehy/ehy_brep.cpp:92:0
  2252. - null pointer dereference
  2253. ---
  2254. bug: anti-simplify
  2255. model: |
  2256. %972 = icmp eq %class.ON_RevSurface* %925, null, !dbg !5006
  2257. --> false
  2258. stack:
  2259. - brlcad/src/librt/primitives/ehy/ehy_brep.cpp:165:0
  2260. ncore: 1
  2261. core:
  2262. - brlcad/src/librt/primitives/ehy/ehy_brep.cpp:163:0
  2263. - null pointer dereference
  2264. ---
  2265. bug: anti-simplify
  2266. model: |
  2267. %985 = icmp eq %class.ON_NurbsCurve* %879, null, !dbg !5007
  2268. --> false
  2269. stack:
  2270. - brlcad/src/librt/primitives/ehy/ehy_brep.cpp:166:0
  2271. ncore: 1
  2272. core:
  2273. - brlcad/src/librt/primitives/ehy/ehy_brep.cpp:145:0
  2274. - null pointer dereference
  2275. ---
  2276. bug: anti-simplify
  2277. model: |
  2278. %118 = icmp eq %struct.tie_s* %117, null, !dbg !1218
  2279. --> false
  2280. stack:
  2281. - brlcad/src/librt/primitives/bot/btg.c:86:0
  2282. ncore: 1
  2283. core:
  2284. - brlcad/src/librt/primitives/bot/tie.c:142:0
  2285. - null pointer dereference
  2286. ---
  2287. bug: anti-simplify
  2288. model: |
  2289. %655 = icmp eq %class.ON_RevSurface* %608, null, !dbg !3210
  2290. --> false
  2291. stack:
  2292. - brlcad/src/librt/primitives/part/part_brep.cpp:76:0
  2293. ncore: 1
  2294. core:
  2295. - brlcad/src/librt/primitives/part/part_brep.cpp:75:0
  2296. - null pointer dereference
  2297. ---
  2298. bug: anti-simplify
  2299. model: |
  2300. %840 = icmp eq %class.ON_RevSurface* %793, null, !dbg !3242
  2301. --> false
  2302. stack:
  2303. - brlcad/src/librt/primitives/part/part_brep.cpp:103:0
  2304. ncore: 1
  2305. core:
  2306. - brlcad/src/librt/primitives/part/part_brep.cpp:102:0
  2307. - null pointer dereference
  2308. ---
  2309. bug: anti-simplify
  2310. model: |
  2311. %1000 = icmp eq %class.ON_RevSurface* %953, null, !dbg !3268
  2312. --> false
  2313. stack:
  2314. - brlcad/src/librt/primitives/part/part_brep.cpp:128:0
  2315. ncore: 1
  2316. core:
  2317. - brlcad/src/librt/primitives/part/part_brep.cpp:127:0
  2318. - null pointer dereference
  2319. ---
  2320. bug: anti-simplify
  2321. model: |
  2322. %5927 = icmp eq %"class.std::map.97"* %156, null, !dbg !15653
  2323. --> false
  2324. stack:
  2325. - brlcad/src/librt/primitives/brep/brep.cpp:2899:0
  2326. ncore: 1
  2327. core:
  2328. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_tree.h:659:0
  2329. - null pointer dereference
  2330. ---
  2331. bug: anti-simplify
  2332. model: |
  2333. %6043 = icmp eq %"class.std::map"* %5964, null, !dbg !15709
  2334. --> false
  2335. stack:
  2336. - brlcad/src/librt/primitives/brep/brep.cpp:2916:0
  2337. ncore: 1
  2338. core:
  2339. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_tree.h:500:0
  2340. - null pointer dereference
  2341. ---
  2342. bug: anti-simplify
  2343. model: |
  2344. %311 = icmp eq %"class.std::map"* %237, null, !dbg !14179
  2345. --> false
  2346. stack:
  2347. - brlcad/src/librt/primitives/brep/brep.cpp:3287:0
  2348. ncore: 1
  2349. core:
  2350. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_tree.h:500:0
  2351. - null pointer dereference
  2352. ---
  2353. bug: anti-simplify
  2354. model: |
  2355. %147 = icmp eq %class.ON_NurbsSurface* %118, null, !dbg !8200
  2356. --> false
  2357. stack:
  2358. - brlcad/src/librt/primitives/brep/brep_debug.cpp:876:0
  2359. ncore: 1
  2360. core:
  2361. - brlcad/src/librt/primitives/brep/brep_debug.cpp:872:0
  2362. - null pointer dereference
  2363. ---
  2364. bug: anti-simplify
  2365. model: |
  2366. %360 = icmp eq %class.ON_NurbsSurface* %121, null, !dbg !8228
  2367. --> false
  2368. stack:
  2369. - brlcad/src/librt/primitives/brep/brep_debug.cpp:944:0
  2370. ncore: 1
  2371. core:
  2372. - brlcad/src/librt/primitives/brep/brep_debug.cpp:916:0
  2373. - null pointer dereference
  2374. ---
  2375. bug: anti-dce
  2376. model: |
  2377. %281 = icmp ne %class.ON_Curve* %207, null, !dbg !8251
  2378. --> true
  2379. ************************************************************
  2380. :
  2381. %391 = bitcast %class.ON_BrepTrim* %206 to %class.ON_CurveProxy*, !dbg !8267
  2382. %392 = bitcast %class.ON_CurveProxy* %391 to void (%class.ON_Interval*, %class.ON_CurveProxy*)***, !dbg !8267
  2383. %393 = icmp eq %class.ON_BrepTrim* %200, null
  2384. call void @opt.bugon(i1 %393), !dbg !8267, !bug !8161
  2385. %394 = load void (%class.ON_Interval*, %class.ON_CurveProxy*)*** %392, !dbg !8267
  2386. %395 = ptrtoint void (%class.ON_Interval*, %class.ON_CurveProxy*)** %394 to i65
  2387. %396 = add i65 %395, 216
  2388. %397 = icmp sgt i65 %396, 18446744073709551615
  2389. call void @opt.bugon(i1 %397), !dbg !8267, !bug !8169
  2390. %398 = icmp slt i65 %396, 0
  2391. call void @opt.bugon(i1 %398), !dbg !8267, !bug !8169
  2392. %399 = getelementptr inbounds void (%class.ON_Interval*, %class.ON_CurveProxy*)** %394, i64 27, !dbg !8267
  2393. %400 = icmp eq void (%class.ON_Interval*, %class.ON_CurveProxy*)** %394, null
  2394. call void @opt.bugon(i1 %400), !dbg !8267, !bug !8161
  2395. %401 = load void (%class.ON_Interval*, %class.ON_CurveProxy*)** %399, !dbg !8267
  2396. invoke void %401(%class.ON_Interval* sret %5, %class.ON_CurveProxy* %391)
  2397. to label %402 unwind label %33, !dbg !8267
  2398. stack:
  2399. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1082:0
  2400. ncore: 1
  2401. core:
  2402. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1018:0
  2403. - null pointer dereference
  2404. ---
  2405. bug: anti-dce
  2406. model: |
  2407. %174 = icmp ne %class.ON_Curve* %91, null, !dbg !8212
  2408. --> true
  2409. ************************************************************
  2410. :
  2411. %284 = bitcast %class.ON_BrepTrim* %59 to %class.ON_CurveProxy*, !dbg !8228
  2412. %285 = bitcast %class.ON_CurveProxy* %284 to void (%class.ON_Interval*, %class.ON_CurveProxy*)***, !dbg !8228
  2413. %286 = icmp eq %class.ON_BrepTrim* %53, null
  2414. call void @opt.bugon(i1 %286), !dbg !8228, !bug !8159
  2415. %287 = load void (%class.ON_Interval*, %class.ON_CurveProxy*)*** %285, !dbg !8228
  2416. %288 = ptrtoint void (%class.ON_Interval*, %class.ON_CurveProxy*)** %287 to i65
  2417. %289 = add i65 %288, 216
  2418. %290 = icmp sgt i65 %289, 18446744073709551615
  2419. call void @opt.bugon(i1 %290), !dbg !8228, !bug !8169
  2420. %291 = icmp slt i65 %289, 0
  2421. call void @opt.bugon(i1 %291), !dbg !8228, !bug !8169
  2422. %292 = getelementptr inbounds void (%class.ON_Interval*, %class.ON_CurveProxy*)** %287, i64 27, !dbg !8228
  2423. %293 = icmp eq void (%class.ON_Interval*, %class.ON_CurveProxy*)** %287, null
  2424. call void @opt.bugon(i1 %293), !dbg !8228, !bug !8159
  2425. %294 = load void (%class.ON_Interval*, %class.ON_CurveProxy*)** %292, !dbg !8228
  2426. invoke void %294(%class.ON_Interval* sret %5, %class.ON_CurveProxy* %284)
  2427. to label %295 unwind label %33, !dbg !8228
  2428. stack:
  2429. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1185:0
  2430. ncore: 1
  2431. core:
  2432. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1120:0
  2433. - null pointer dereference
  2434. ---
  2435. bug: anti-simplify
  2436. model: |
  2437. %314 = icmp eq %class.ON_NurbsCurve* %93, null, !dbg !8234
  2438. --> false
  2439. stack:
  2440. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1190:0
  2441. ncore: 1
  2442. core:
  2443. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1189:0
  2444. - null pointer dereference
  2445. ---
  2446. bug: anti-simplify
  2447. model: |
  2448. %236 = icmp eq %class.ON_NurbsCurve* %60, null, !dbg !8206
  2449. --> false
  2450. stack:
  2451. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1235:0
  2452. ncore: 1
  2453. core:
  2454. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1220:0
  2455. - null pointer dereference
  2456. ---
  2457. bug: anti-simplify
  2458. model: |
  2459. %66 = icmp eq %class.ON_NurbsCurve* %40, null, !dbg !8179
  2460. --> false
  2461. stack:
  2462. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1258:0
  2463. ncore: 1
  2464. core:
  2465. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1257:0
  2466. - null pointer dereference
  2467. ---
  2468. bug: anti-dce
  2469. model: |
  2470. %122 = icmp ne %class.ON_Curve* %64, null, !dbg !8198
  2471. --> true
  2472. ************************************************************
  2473. :
  2474. %210 = bitcast %class.ON_BrepEdge* %59 to %class.ON_CurveProxy*, !dbg !8207
  2475. %211 = bitcast %class.ON_CurveProxy* %210 to void (%class.ON_Interval*, %class.ON_CurveProxy*)***, !dbg !8207
  2476. %212 = icmp eq %class.ON_BrepEdge* %53, null
  2477. call void @opt.bugon(i1 %212), !dbg !8207, !bug !8159
  2478. %213 = load void (%class.ON_Interval*, %class.ON_CurveProxy*)*** %211, !dbg !8207
  2479. %214 = ptrtoint void (%class.ON_Interval*, %class.ON_CurveProxy*)** %213 to i65
  2480. %215 = add i65 %214, 216
  2481. %216 = icmp sgt i65 %215, 18446744073709551615
  2482. call void @opt.bugon(i1 %216), !dbg !8207, !bug !8169
  2483. %217 = icmp slt i65 %215, 0
  2484. call void @opt.bugon(i1 %217), !dbg !8207, !bug !8169
  2485. %218 = getelementptr inbounds void (%class.ON_Interval*, %class.ON_CurveProxy*)** %213, i64 27, !dbg !8207
  2486. %219 = icmp eq void (%class.ON_Interval*, %class.ON_CurveProxy*)** %213, null
  2487. call void @opt.bugon(i1 %219), !dbg !8207, !bug !8159
  2488. %220 = load void (%class.ON_Interval*, %class.ON_CurveProxy*)** %218, !dbg !8207
  2489. invoke void %220(%class.ON_Interval* sret %5, %class.ON_CurveProxy* %210)
  2490. to label %221 unwind label %33, !dbg !8207
  2491. stack:
  2492. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1300:0
  2493. ncore: 1
  2494. core:
  2495. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1286:0
  2496. - null pointer dereference
  2497. ---
  2498. bug: anti-simplify
  2499. model: |
  2500. %240 = icmp eq %class.ON_NurbsCurve* %66, null, !dbg !8213
  2501. --> false
  2502. stack:
  2503. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1305:0
  2504. ncore: 1
  2505. core:
  2506. - brlcad/src/librt/primitives/brep/brep_debug.cpp:1304:0
  2507. - null pointer dereference
  2508. ---
  2509. bug: anti-dce
  2510. model: |
  2511. %36 = icmp ne %struct.mater* %mp.0, null, !dbg !1101
  2512. --> true
  2513. ************************************************************
  2514. :
  2515. call void (i8*, ...)* @bu_log(i8* getelementptr inbounds ([97 x i8]* @.str10, i32 0, i32 0)), !dbg !1163
  2516. %277 = getelementptr inbounds %struct.mater* %newp, i32 0, i32 6, !dbg !1164
  2517. %278 = icmp eq %struct.mater* %newp, null
  2518. call void @opt.bugon(i1 %278), !dbg !1164, !bug !1089
  2519. store %struct.mater* null, %struct.mater** %277, align 8, !dbg !1164
  2520. %279 = getelementptr inbounds %struct.mater* %mp.0, i32 0, i32 6, !dbg !1165
  2521. %280 = icmp eq %struct.mater* %mp.0, null
  2522. call void @opt.bugon(i1 %280), !dbg !1165, !bug !1089
  2523. store %struct.mater* %newp, %struct.mater** %279, align 8, !dbg !1165
  2524. br label %281, !dbg !1166
  2525. stack:
  2526. - brlcad/src/librt/mater.c:168:0
  2527. ncore: 1
  2528. core:
  2529. - brlcad/src/librt/mater.c:171:0
  2530. - null pointer dereference
  2531. ---
  2532. bug: anti-simplify
  2533. model: |
  2534. %79 = icmp ult i64 %76, 8, !dbg !911
  2535. --> true
  2536. stack:
  2537. - brlcad/src/libfb/if_X24.c:497:0
  2538. ncore: 1
  2539. core:
  2540. - brlcad/src/libfb/if_X24.c:493:0
  2541. - buffer overflow
  2542. ---
  2543. bug: anti-simplify
  2544. model: |
  2545. %91 = icmp ne %struct.ged* %71, null, !dbg !68
  2546. --> true
  2547. stack:
  2548. - brlcad/src/gtools/g_qa.c:111:0
  2549. ncore: 1
  2550. core:
  2551. - brlcad/src/gtools/g_qa.c:108:0
  2552. - null pointer dereference
  2553. ---
  2554. bug: anti-simplify
  2555. model: |
  2556. %368 = icmp ne %struct.ged* %208, null, !dbg !1266
  2557. --> true
  2558. stack:
  2559. - brlcad/src/conv/g-dot.c:373:0
  2560. ncore: 1
  2561. core:
  2562. - brlcad/src/conv/g-dot.c:313:0
  2563. - null pointer dereference
  2564. ---
  2565. bug: anti-dce
  2566. model: |
  2567. %447 = icmp sgt i32 %446, 10000, !dbg !1357
  2568. --> false
  2569. ************************************************************
  2570. :
  2571. call void (i32, i8*, ...)* @bu_exit(i32 1, i8* getelementptr inbounds ([39 x i8]* @.str26, i32 0, i32 0)), !dbg !1359
  2572. br label %448, !dbg !1359
  2573. stack:
  2574. - brlcad/src/conv/nmg/asc-nmg.c:329:0
  2575. ncore: 2
  2576. core:
  2577. - brlcad/src/conv/nmg/asc-nmg.c:327:0
  2578. - buffer overflow
  2579. - brlcad/src/conv/nmg/asc-nmg.c:327:0
  2580. - buffer overflow
  2581. ---
  2582. bug: anti-dce
  2583. model: |
  2584. %470 = icmp sgt i32 %469, 10000, !dbg !1362
  2585. --> false
  2586. ************************************************************
  2587. :
  2588. call void (i32, i8*, ...)* @bu_exit(i32 1, i8* getelementptr inbounds ([39 x i8]* @.str26, i32 0, i32 0)), !dbg !1364
  2589. br label %471, !dbg !1364
  2590. stack:
  2591. - brlcad/src/conv/nmg/asc-nmg.c:338:0
  2592. ncore: 2
  2593. core:
  2594. - brlcad/src/conv/nmg/asc-nmg.c:336:0
  2595. - buffer overflow
  2596. - brlcad/src/conv/nmg/asc-nmg.c:336:0
  2597. - buffer overflow
  2598. ---
  2599. bug: anti-simplify
  2600. model: |
  2601. %93 = icmp ne %struct.ged* %74, null, !dbg !66
  2602. --> true
  2603. stack:
  2604. - brlcad/src/conv/bot_dump.c:92:0
  2605. ncore: 1
  2606. core:
  2607. - brlcad/src/conv/bot_dump.c:89:0
  2608. - null pointer dereference
  2609. Global timeout: self 1018.596564, child 0.000000
  2610. ---
  2611. bug: anti-simplify
  2612. model: |
  2613. %557 = icmp eq %class.STEPfile* %324, null, !dbg !2826
  2614. --> false
  2615. stack:
  2616. - brlcad/src/conv/step/g-step/g-step.cpp:206:0
  2617. ncore: 1
  2618. core:
  2619. - brlcad/src/other/stepcode/src/cleditor/STEPfile.h:104:0
  2620. - null pointer dereference
  2621. ---
  2622. bug: anti-simplify
  2623. model: |
  2624. %93 = icmp eq %class.LuminousIntensityUnit* %6, null, !dbg !628
  2625. --> false
  2626. stack:
  2627. - brlcad/src/conv/step/step-g/LuminousIntensityUnit.cpp:84:0
  2628. ncore: 1
  2629. core:
  2630. - brlcad/src/conv/step/step-g/LuminousIntensityUnit.cpp:43:0
  2631. - null pointer dereference
  2632. ---
  2633. bug: anti-simplify
  2634. model: |
  2635. %93 = icmp eq %class.TopologicalRepresentationItem* %6, null, !dbg !676
  2636. --> false
  2637. stack:
  2638. - brlcad/src/conv/step/step-g/TopologicalRepresentationItem.cpp:83:0
  2639. ncore: 1
  2640. core:
  2641. - brlcad/src/conv/step/step-g/TopologicalRepresentationItem.cpp:43:0
  2642. - null pointer dereference
  2643. ---
  2644. bug: anti-simplify
  2645. model: |
  2646. %114 = icmp eq %class.OrientedEdge* %6, null, !dbg !692
  2647. --> false
  2648. stack:
  2649. - brlcad/src/conv/step/step-g/OrientedEdge.cpp:122:0
  2650. ncore: 1
  2651. core:
  2652. - brlcad/src/conv/step/step-g/OrientedEdge.cpp:46:0
  2653. - null pointer dereference
  2654. ---
  2655. bug: anti-simplify
  2656. model: |
  2657. %114 = icmp eq %class.SurfaceReplica* %6, null, !dbg !3483
  2658. --> false
  2659. stack:
  2660. - brlcad/src/conv/step/step-g/SurfaceReplica.cpp:120:0
  2661. ncore: 1
  2662. core:
  2663. - brlcad/src/conv/step/step-g/SurfaceReplica.cpp:46:0
  2664. - null pointer dereference
  2665. ---
  2666. bug: anti-simplify
  2667. model: |
  2668. %331 = icmp eq %"class.std::list.38"* %115, null, !dbg !1582
  2669. --> false
  2670. stack:
  2671. - brlcad/src/conv/step/step-g/BrepWithVoids.cpp:81:0
  2672. ncore: 1
  2673. core:
  2674. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  2675. - null pointer dereference
  2676. ---
  2677. bug: anti-simplify
  2678. model: |
  2679. %395 = icmp eq %"class.std::list.38"* %115, null, !dbg !1614
  2680. --> false
  2681. stack:
  2682. - brlcad/src/conv/step/step-g/BrepWithVoids.cpp:87:0
  2683. ncore: 1
  2684. core:
  2685. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  2686. - null pointer dereference
  2687. ---
  2688. bug: anti-simplify
  2689. model: |
  2690. %456 = icmp eq %"class.std::list.38"* %115, null, !dbg !1641
  2691. --> false
  2692. stack:
  2693. - brlcad/src/conv/step/step-g/BrepWithVoids.cpp:92:0
  2694. ncore: 1
  2695. core:
  2696. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  2697. - null pointer dereference
  2698. ---
  2699. bug: anti-simplify
  2700. model: |
  2701. %114 = icmp eq %class.ConversionBasedUnit* %6, null, !dbg !643
  2702. --> false
  2703. stack:
  2704. - brlcad/src/conv/step/step-g/ConversionBasedUnit.cpp:133:0
  2705. ncore: 1
  2706. core:
  2707. - brlcad/src/conv/step/step-g/ConversionBasedUnit.cpp:49:0
  2708. - null pointer dereference
  2709. ---
  2710. bug: anti-simplify
  2711. model: |
  2712. %80 = icmp eq %class.ParametricRepresentationContext* %6, null, !dbg !600
  2713. --> false
  2714. stack:
  2715. - brlcad/src/conv/step/step-g/ParametricRepresentationContext.cpp:85:0
  2716. ncore: 1
  2717. core:
  2718. - brlcad/src/conv/step/step-g/ParametricRepresentationContext.cpp:43:0
  2719. - null pointer dereference
  2720. ---
  2721. bug: anti-simplify
  2722. model: |
  2723. %119 = icmp eq %class.AdvancedFace* %6, null, !dbg !3834
  2724. --> false
  2725. stack:
  2726. - brlcad/src/conv/step/step-g/AdvancedFace.cpp:83:0
  2727. ncore: 1
  2728. core:
  2729. - brlcad/src/conv/step/step-g/AdvancedFace.cpp:45:0
  2730. - null pointer dereference
  2731. ---
  2732. bug: anti-simplify
  2733. model: |
  2734. %115 = icmp eq %class.OffsetSurface* %6, null, !dbg !3488
  2735. --> false
  2736. stack:
  2737. - brlcad/src/conv/step/step-g/OffsetSurface.cpp:115:0
  2738. ncore: 1
  2739. core:
  2740. - brlcad/src/conv/step/step-g/OffsetSurface.cpp:46:0
  2741. - null pointer dereference
  2742. ---
  2743. bug: anti-simplify
  2744. model: |
  2745. %93 = icmp eq %class.SolidAngleUnit* %6, null, !dbg !628
  2746. --> false
  2747. stack:
  2748. - brlcad/src/conv/step/step-g/SolidAngleUnit.cpp:85:0
  2749. ncore: 1
  2750. core:
  2751. - brlcad/src/conv/step/step-g/SolidAngleUnit.cpp:43:0
  2752. - null pointer dereference
  2753. ---
  2754. bug: anti-simplify
  2755. model: |
  2756. %93 = icmp eq %class.MassUnit* %6, null, !dbg !628
  2757. --> false
  2758. stack:
  2759. - brlcad/src/conv/step/step-g/MassUnit.cpp:87:0
  2760. ncore: 1
  2761. core:
  2762. - brlcad/src/conv/step/step-g/MassUnit.cpp:43:0
  2763. - null pointer dereference
  2764. ---
  2765. bug: anti-simplify
  2766. model: |
  2767. %127 = icmp eq %class.CartesianPoint* %6, null, !dbg !1065
  2768. --> false
  2769. stack:
  2770. - brlcad/src/conv/step/step-g/CartesianPoint.cpp:111:0
  2771. ncore: 1
  2772. core:
  2773. - brlcad/src/conv/step/step-g/CartesianPoint.cpp:44:0
  2774. - null pointer dereference
  2775. ---
  2776. bug: anti-simplify
  2777. model: |
  2778. %114 = icmp eq %class.OrientedClosedShell* %6, null, !dbg !1052
  2779. --> false
  2780. stack:
  2781. - brlcad/src/conv/step/step-g/OrientedClosedShell.cpp:114:0
  2782. ncore: 1
  2783. core:
  2784. - brlcad/src/conv/step/step-g/OrientedClosedShell.cpp:44:0
  2785. - null pointer dereference
  2786. ---
  2787. bug: anti-simplify
  2788. model: |
  2789. %113 = icmp eq %class.Placement* %6, null, !dbg !657
  2790. --> false
  2791. stack:
  2792. - brlcad/src/conv/step/step-g/Placement.cpp:120:0
  2793. ncore: 1
  2794. core:
  2795. - brlcad/src/conv/step/step-g/Placement.cpp:45:0
  2796. - null pointer dereference
  2797. ---
  2798. bug: anti-simplify
  2799. model: |
  2800. %80 = icmp eq %class.LengthMeasureWithUnit* %6, null, !dbg !611
  2801. --> false
  2802. stack:
  2803. - brlcad/src/conv/step/step-g/LengthMeasureWithUnit.cpp:88:0
  2804. ncore: 1
  2805. core:
  2806. - brlcad/src/conv/step/step-g/LengthMeasureWithUnit.cpp:47:0
  2807. - null pointer dereference
  2808. ---
  2809. bug: anti-simplify
  2810. model: |
  2811. %93 = icmp eq %class.RatioUnit* %6, null, !dbg !628
  2812. --> false
  2813. stack:
  2814. - brlcad/src/conv/step/step-g/RatioUnit.cpp:85:0
  2815. ncore: 1
  2816. core:
  2817. - brlcad/src/conv/step/step-g/RatioUnit.cpp:43:0
  2818. - null pointer dereference
  2819. ---
  2820. bug: anti-simplify
  2821. model: |
  2822. %126 = icmp eq %class.Direction* %6, null, !dbg !1088
  2823. --> false
  2824. stack:
  2825. - brlcad/src/conv/step/step-g/Direction.cpp:111:0
  2826. ncore: 1
  2827. core:
  2828. - brlcad/src/conv/step/step-g/Direction.cpp:46:0
  2829. - null pointer dereference
  2830. ---
  2831. bug: anti-simplify
  2832. model: |
  2833. %93 = icmp eq %class.LengthUnit* %6, null, !dbg !628
  2834. --> false
  2835. stack:
  2836. - brlcad/src/conv/step/step-g/LengthUnit.cpp:85:0
  2837. ncore: 1
  2838. core:
  2839. - brlcad/src/conv/step/step-g/LengthUnit.cpp:43:0
  2840. - null pointer dereference
  2841. ---
  2842. bug: anti-simplify
  2843. model: |
  2844. %80 = icmp eq %class.ProductDefinitionShape* %6, null, !dbg !675
  2845. --> false
  2846. stack:
  2847. - brlcad/src/conv/step/step-g/ProductDefinitionShape.cpp:85:0
  2848. ncore: 1
  2849. core:
  2850. - brlcad/src/conv/step/step-g/ProductDefinitionShape.cpp:43:0
  2851. - null pointer dereference
  2852. ---
  2853. bug: anti-simplify
  2854. model: |
  2855. %347 = icmp eq %"class.std::list.33"* %113, null, !dbg !1481
  2856. --> false
  2857. stack:
  2858. - brlcad/src/conv/step/step-g/DerivedUnit.cpp:79:0
  2859. ncore: 1
  2860. core:
  2861. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  2862. - null pointer dereference
  2863. ---
  2864. bug: anti-simplify
  2865. model: |
  2866. %413 = icmp eq %"class.std::list.33"* %113, null, !dbg !1512
  2867. --> false
  2868. stack:
  2869. - brlcad/src/conv/step/step-g/DerivedUnit.cpp:84:0
  2870. ncore: 1
  2871. core:
  2872. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  2873. - null pointer dereference
  2874. ---
  2875. bug: anti-simplify
  2876. model: |
  2877. %95 = icmp eq %class.DerivedUnit* %6, null, !dbg !1426
  2878. --> false
  2879. stack:
  2880. - brlcad/src/conv/step/step-g/DerivedUnit.cpp:115:0
  2881. ncore: 1
  2882. core:
  2883. - brlcad/src/conv/step/step-g/DerivedUnit.cpp:45:0
  2884. - null pointer dereference
  2885. ---
  2886. bug: anti-simplify
  2887. model: |
  2888. %113 = icmp eq %class.SurfaceOfLinearExtrusion* %6, null, !dbg !3453
  2889. --> false
  2890. stack:
  2891. - brlcad/src/conv/step/step-g/SurfaceOfLinearExtrusion.cpp:100:0
  2892. ncore: 1
  2893. core:
  2894. - brlcad/src/conv/step/step-g/SurfaceOfLinearExtrusion.cpp:44:0
  2895. - null pointer dereference
  2896. ---
  2897. bug: anti-simplify
  2898. model: |
  2899. %300 = icmp eq %"class.std::list.33"* %97, null, !dbg !1486
  2900. --> false
  2901. stack:
  2902. - brlcad/src/conv/step/step-g/GlobalUncertaintyAssignedContext.cpp:92:0
  2903. ncore: 1
  2904. core:
  2905. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  2906. - null pointer dereference
  2907. ---
  2908. bug: anti-simplify
  2909. model: |
  2910. %361 = icmp eq %"class.std::list.33"* %97, null, !dbg !1516
  2911. --> false
  2912. stack:
  2913. - brlcad/src/conv/step/step-g/GlobalUncertaintyAssignedContext.cpp:97:0
  2914. ncore: 1
  2915. core:
  2916. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  2917. - null pointer dereference
  2918. ---
  2919. bug: anti-simplify
  2920. model: |
  2921. %95 = icmp eq %class.GlobalUncertaintyAssignedContext* %6, null, !dbg !1428
  2922. --> false
  2923. stack:
  2924. - brlcad/src/conv/step/step-g/GlobalUncertaintyAssignedContext.cpp:128:0
  2925. ncore: 1
  2926. core:
  2927. - brlcad/src/conv/step/step-g/GlobalUncertaintyAssignedContext.cpp:46:0
  2928. - null pointer dereference
  2929. ---
  2930. bug: anti-simplify
  2931. model: |
  2932. %82 = icmp eq %class.MeasureWithUnit* %6, null, !dbg !601
  2933. --> false
  2934. stack:
  2935. - brlcad/src/conv/step/step-g/MeasureWithUnit.cpp:170:0
  2936. ncore: 1
  2937. core:
  2938. - brlcad/src/conv/step/step-g/MeasureWithUnit.cpp:49:0
  2939. - null pointer dereference
  2940. ---
  2941. bug: anti-simplify
  2942. model: |
  2943. %80 = icmp eq %class.ShapeRepresentation* %6, null, !dbg !1265
  2944. --> false
  2945. stack:
  2946. - brlcad/src/conv/step/step-g/ShapeRepresentation.cpp:92:0
  2947. ncore: 1
  2948. core:
  2949. - brlcad/src/conv/step/step-g/ShapeRepresentation.cpp:52:0
  2950. - null pointer dereference
  2951. ---
  2952. bug: anti-simplify
  2953. model: |
  2954. %93 = icmp eq %class.PlaneAngleUnit* %6, null, !dbg !628
  2955. --> false
  2956. stack:
  2957. - brlcad/src/conv/step/step-g/PlaneAngleUnit.cpp:85:0
  2958. ncore: 1
  2959. core:
  2960. - brlcad/src/conv/step/step-g/PlaneAngleUnit.cpp:43:0
  2961. - null pointer dereference
  2962. ---
  2963. bug: anti-simplify
  2964. model: |
  2965. %73 = icmp eq %class.DimensionalExponents* %6, null, !dbg !592
  2966. --> false
  2967. stack:
  2968. - brlcad/src/conv/step/step-g/DimensionalExponents.cpp:116:0
  2969. ncore: 1
  2970. core:
  2971. - brlcad/src/conv/step/step-g/DimensionalExponents.cpp:50:0
  2972. - null pointer dereference
  2973. ---
  2974. bug: anti-simplify
  2975. model: |
  2976. %112 = icmp eq %class.Vertex* %6, null, !dbg !1224
  2977. --> false
  2978. stack:
  2979. - brlcad/src/conv/step/step-g/Vertex.cpp:83:0
  2980. ncore: 1
  2981. core:
  2982. - brlcad/src/conv/step/step-g/Vertex.cpp:45:0
  2983. - null pointer dereference
  2984. ---
  2985. bug: anti-simplify
  2986. model: |
  2987. %80 = icmp eq %class.DefinitionalRepresentation* %6, null, !dbg !1263
  2988. --> false
  2989. stack:
  2990. - brlcad/src/conv/step/step-g/DefinitionalRepresentation.cpp:82:0
  2991. ncore: 1
  2992. core:
  2993. - brlcad/src/conv/step/step-g/DefinitionalRepresentation.cpp:43:0
  2994. - null pointer dereference
  2995. ---
  2996. bug: anti-simplify
  2997. model: |
  2998. %321 = icmp eq %"class.std::list.33"* %113, null, !dbg !1560
  2999. --> false
  3000. stack:
  3001. - brlcad/src/conv/step/step-g/ProductRelatedProductCategory.cpp:84:0
  3002. ncore: 1
  3003. core:
  3004. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3005. - null pointer dereference
  3006. ---
  3007. bug: anti-simplify
  3008. model: |
  3009. %382 = icmp eq %"class.std::list.33"* %113, null, !dbg !1590
  3010. --> false
  3011. stack:
  3012. - brlcad/src/conv/step/step-g/ProductRelatedProductCategory.cpp:89:0
  3013. ncore: 1
  3014. core:
  3015. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3016. - null pointer dereference
  3017. ---
  3018. bug: anti-simplify
  3019. model: |
  3020. %95 = icmp eq %class.ProductRelatedProductCategory* %6, null, !dbg !1501
  3021. --> false
  3022. stack:
  3023. - brlcad/src/conv/step/step-g/ProductRelatedProductCategory.cpp:118:0
  3024. ncore: 1
  3025. core:
  3026. - brlcad/src/conv/step/step-g/ProductRelatedProductCategory.cpp:44:0
  3027. - null pointer dereference
  3028. ---
  3029. bug: anti-simplify
  3030. model: |
  3031. %114 = icmp eq %class.SweptSurface* %6, null, !dbg !3429
  3032. --> false
  3033. stack:
  3034. - brlcad/src/conv/step/step-g/SweptSurface.cpp:100:0
  3035. ncore: 1
  3036. core:
  3037. - brlcad/src/conv/step/step-g/SweptSurface.cpp:45:0
  3038. - null pointer dereference
  3039. ---
  3040. bug: anti-simplify
  3041. model: |
  3042. %112 = icmp eq %class.Plane* %6, null, !dbg !3455
  3043. --> false
  3044. stack:
  3045. - brlcad/src/conv/step/step-g/Plane.cpp:104:0
  3046. ncore: 1
  3047. core:
  3048. - brlcad/src/conv/step/step-g/Plane.cpp:43:0
  3049. - null pointer dereference
  3050. ---
  3051. bug: anti-simplify
  3052. model: |
  3053. %321 = icmp eq %"class.std::list.33"* %113, null, !dbg !1532
  3054. --> false
  3055. stack:
  3056. - brlcad/src/conv/step/step-g/ConnectedFaceSet.cpp:88:0
  3057. ncore: 1
  3058. core:
  3059. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3060. - null pointer dereference
  3061. ---
  3062. bug: anti-simplify
  3063. model: |
  3064. %382 = icmp eq %"class.std::list.33"* %113, null, !dbg !1562
  3065. --> false
  3066. stack:
  3067. - brlcad/src/conv/step/step-g/ConnectedFaceSet.cpp:93:0
  3068. ncore: 1
  3069. core:
  3070. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3071. - null pointer dereference
  3072. ---
  3073. bug: anti-simplify
  3074. model: |
  3075. %149 = icmp eq %class.AdvancedBrepShapeRepresentation* %99, null, !dbg !4837
  3076. --> false
  3077. stack:
  3078. - brlcad/src/conv/step/STEPWrapper.cpp:104:0
  3079. ncore: 1
  3080. core:
  3081. - brlcad/src/conv/step/STEPWrapper.cpp:91:0
  3082. - null pointer dereference
  3083. ---
  3084. bug: anti-simplify
  3085. model: |
  3086. %225 = icmp eq %class.AdvancedBrepShapeRepresentation* %99, null, !dbg !4855
  3087. --> false
  3088. stack:
  3089. - brlcad/src/conv/step/STEPWrapper.cpp:120:0
  3090. ncore: 1
  3091. core:
  3092. - brlcad/src/conv/step/STEPWrapper.cpp:91:0
  3093. - null pointer dereference
  3094. ---
  3095. bug: anti-simplify
  3096. model: |
  3097. %239 = icmp eq %class.AdvancedBrepShapeRepresentation* %99, null, !dbg !4857
  3098. --> false
  3099. stack:
  3100. - brlcad/src/conv/step/STEPWrapper.cpp:122:0
  3101. ncore: 1
  3102. core:
  3103. - brlcad/src/conv/step/STEPWrapper.cpp:91:0
  3104. - null pointer dereference
  3105. ---
  3106. bug: anti-simplify
  3107. model: |
  3108. %137 = icmp eq %class.EntityAggregate* %35, null, !dbg !4835
  3109. --> false
  3110. stack:
  3111. - brlcad/src/conv/step/STEPWrapper.cpp:1083:0
  3112. ncore: 1
  3113. core:
  3114. - brlcad/src/conv/step/STEPWrapper.cpp:1070:0
  3115. - null pointer dereference
  3116. ---
  3117. bug: anti-simplify
  3118. model: |
  3119. %137 = icmp eq %class.EntityAggregate* %35, null, !dbg !4835
  3120. --> false
  3121. stack:
  3122. - brlcad/src/conv/step/STEPWrapper.cpp:1110:0
  3123. ncore: 1
  3124. core:
  3125. - brlcad/src/conv/step/STEPWrapper.cpp:1097:0
  3126. - null pointer dereference
  3127. ---
  3128. bug: anti-simplify
  3129. model: |
  3130. %117 = icmp eq %class.RealAggregate* %35, null, !dbg !4827
  3131. --> false
  3132. stack:
  3133. - brlcad/src/conv/step/STEPWrapper.cpp:1056:0
  3134. ncore: 1
  3135. core:
  3136. - brlcad/src/conv/step/STEPWrapper.cpp:1037:0
  3137. - null pointer dereference
  3138. ---
  3139. bug: anti-simplify
  3140. model: |
  3141. %66 = icmp eq %class.Unit* %6, null, !dbg !577
  3142. --> false
  3143. stack:
  3144. - brlcad/src/conv/step/step-g/Unit.cpp:73:0
  3145. ncore: 1
  3146. core:
  3147. - brlcad/src/conv/step/step-g/Unit.cpp:43:0
  3148. - null pointer dereference
  3149. ---
  3150. bug: anti-simplify
  3151. model: |
  3152. %321 = icmp eq %"class.std::list.33"* %113, null, !dbg !1712
  3153. --> false
  3154. stack:
  3155. - brlcad/src/conv/step/step-g/Polyline.cpp:89:0
  3156. ncore: 1
  3157. core:
  3158. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3159. - null pointer dereference
  3160. ---
  3161. bug: anti-simplify
  3162. model: |
  3163. %382 = icmp eq %"class.std::list.33"* %113, null, !dbg !1742
  3164. --> false
  3165. stack:
  3166. - brlcad/src/conv/step/step-g/Polyline.cpp:94:0
  3167. ncore: 1
  3168. core:
  3169. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3170. - null pointer dereference
  3171. ---
  3172. bug: anti-simplify
  3173. model: |
  3174. %69 = icmp eq %class.ProductDefinitionContextAssociation* %6, null, !dbg !659
  3175. --> false
  3176. stack:
  3177. - brlcad/src/conv/step/step-g/ProductDefinitionContextAssociation.cpp:132:0
  3178. ncore: 1
  3179. core:
  3180. - brlcad/src/conv/step/step-g/ProductDefinitionContextAssociation.cpp:49:0
  3181. - null pointer dereference
  3182. ---
  3183. bug: anti-simplify
  3184. model: |
  3185. %81 = icmp eq %class.GeometricRepresentationContext* %6, null, !dbg !602
  3186. --> false
  3187. stack:
  3188. - brlcad/src/conv/step/step-g/GeometricRepresentationContext.cpp:96:0
  3189. ncore: 1
  3190. core:
  3191. - brlcad/src/conv/step/step-g/GeometricRepresentationContext.cpp:44:0
  3192. - null pointer dereference
  3193. ---
  3194. bug: anti-simplify
  3195. model: |
  3196. %306 = icmp eq %"class.std::list.33"* %98, null, !dbg !1521
  3197. --> false
  3198. stack:
  3199. - brlcad/src/conv/step/step-g/GlobalUnitAssignedContext.cpp:198:0
  3200. ncore: 1
  3201. core:
  3202. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3203. - null pointer dereference
  3204. ---
  3205. bug: anti-simplify
  3206. model: |
  3207. %370 = icmp eq %"class.std::list.33"* %98, null, !dbg !1552
  3208. --> false
  3209. stack:
  3210. - brlcad/src/conv/step/step-g/GlobalUnitAssignedContext.cpp:205:0
  3211. ncore: 1
  3212. core:
  3213. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3214. - null pointer dereference
  3215. ---
  3216. bug: anti-simplify
  3217. model: |
  3218. %95 = icmp eq %class.GlobalUnitAssignedContext* %6, null, !dbg !1463
  3219. --> false
  3220. stack:
  3221. - brlcad/src/conv/step/step-g/GlobalUnitAssignedContext.cpp:236:0
  3222. ncore: 1
  3223. core:
  3224. - brlcad/src/conv/step/step-g/GlobalUnitAssignedContext.cpp:63:0
  3225. - null pointer dereference
  3226. ---
  3227. bug: anti-simplify
  3228. model: |
  3229. %94 = icmp eq %class.RepresentationItem* %6, null, !dbg !649
  3230. --> false
  3231. stack:
  3232. - brlcad/src/conv/step/step-g/RepresentationItem.cpp:103:0
  3233. ncore: 1
  3234. core:
  3235. - brlcad/src/conv/step/step-g/RepresentationItem.cpp:45:0
  3236. - null pointer dereference
  3237. ---
  3238. bug: anti-simplify
  3239. model: |
  3240. %68 = icmp eq %class.Axis2Placement* %6, null, !dbg !619
  3241. --> false
  3242. stack:
  3243. - brlcad/src/conv/step/step-g/Axis2Placement.cpp:141:0
  3244. ncore: 1
  3245. core:
  3246. - brlcad/src/conv/step/step-g/Axis2Placement.cpp:55:0
  3247. - null pointer dereference
  3248. ---
  3249. bug: anti-simplify
  3250. model: |
  3251. %321 = icmp eq %"class.std::list.33"* %113, null, !dbg !1652
  3252. --> false
  3253. stack:
  3254. - brlcad/src/conv/step/step-g/BSplineCurve.cpp:109:0
  3255. ncore: 1
  3256. core:
  3257. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3258. - null pointer dereference
  3259. ---
  3260. bug: anti-simplify
  3261. model: |
  3262. %382 = icmp eq %"class.std::list.33"* %113, null, !dbg !1682
  3263. --> false
  3264. stack:
  3265. - brlcad/src/conv/step/step-g/BSplineCurve.cpp:114:0
  3266. ncore: 1
  3267. core:
  3268. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3269. - null pointer dereference
  3270. ---
  3271. bug: anti-simplify
  3272. model: |
  3273. %1161 = icmp eq %struct.pbc_data* %1093, null, !dbg !11569
  3274. --> false
  3275. stack:
  3276. - brlcad/src/conv/step/step-g/OpenNurbsInterfaces.cpp:1621:0
  3277. ncore: 1
  3278. core:
  3279. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:850:0
  3280. - null pointer dereference
  3281. ---
  3282. bug: anti-simplify
  3283. model: |
  3284. %365 = icmp eq %"class.std::list.33"* %154, null, !dbg !4405
  3285. --> false
  3286. stack:
  3287. - brlcad/src/conv/step/step-g/CurveBoundedSurface.cpp:96:0
  3288. ncore: 1
  3289. core:
  3290. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3291. - null pointer dereference
  3292. ---
  3293. bug: anti-simplify
  3294. model: |
  3295. %426 = icmp eq %"class.std::list.33"* %154, null, !dbg !4435
  3296. --> false
  3297. stack:
  3298. - brlcad/src/conv/step/step-g/CurveBoundedSurface.cpp:101:0
  3299. ncore: 1
  3300. core:
  3301. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3302. - null pointer dereference
  3303. ---
  3304. bug: anti-simplify
  3305. model: |
  3306. %81 = icmp eq %class.ProductDefinitionFormationWithSpecifiedSource* %6, null, !dbg !689
  3307. --> false
  3308. stack:
  3309. - brlcad/src/conv/step/step-g/ProductDefinitionFormationWithSpecifiedSource.cpp:122:0
  3310. ncore: 1
  3311. core:
  3312. - brlcad/src/conv/step/step-g/ProductDefinitionFormationWithSpecifiedSource.cpp:45:0
  3313. - null pointer dereference
  3314. ---
  3315. bug: anti-simplify
  3316. model: |
  3317. %69 = icmp eq %class.TrimmingSelect* %6, null, !dbg !622
  3318. --> false
  3319. stack:
  3320. - brlcad/src/conv/step/step-g/TrimmingSelect.cpp:126:0
  3321. ncore: 1
  3322. core:
  3323. - brlcad/src/conv/step/step-g/TrimmingSelect.cpp:54:0
  3324. - null pointer dereference
  3325. ---
  3326. bug: anti-simplify
  3327. model: |
  3328. %139 = icmp eq %class.ElectricCurrentUnit* %49, null, !dbg !1232
  3329. --> false
  3330. stack:
  3331. - brlcad/src/conv/step/step-g/ElectricCurrentUnit.cpp:87:0
  3332. ncore: 1
  3333. core:
  3334. - brlcad/src/conv/step/step-g/ElectricCurrentUnit.cpp:43:0
  3335. - null pointer dereference
  3336. ---
  3337. bug: anti-simplify
  3338. model: |
  3339. %172 = icmp eq %class.ElectricCurrentUnit* %49, null, !dbg !1237
  3340. --> false
  3341. stack:
  3342. - brlcad/src/conv/step/step-g/ElectricCurrentUnit.cpp:91:0
  3343. ncore: 1
  3344. core:
  3345. - brlcad/src/conv/step/step-g/ElectricCurrentUnit.cpp:89:0
  3346. - null pointer dereference
  3347. ---
  3348. bug: anti-simplify
  3349. model: |
  3350. %191 = icmp eq %class.ElectricCurrentUnit* %49, null, !dbg !1240
  3351. --> false
  3352. stack:
  3353. - brlcad/src/conv/step/step-g/ElectricCurrentUnit.cpp:94:0
  3354. ncore: 1
  3355. core:
  3356. - brlcad/src/conv/step/step-g/ElectricCurrentUnit.cpp:89:0
  3357. - null pointer dereference
  3358. ---
  3359. bug: anti-simplify
  3360. model: |
  3361. %81 = icmp eq %class.NamedUnit* %6, null, !dbg !603
  3362. --> false
  3363. stack:
  3364. - brlcad/src/conv/step/step-g/NamedUnit.cpp:115:0
  3365. ncore: 1
  3366. core:
  3367. - brlcad/src/conv/step/step-g/NamedUnit.cpp:46:0
  3368. - null pointer dereference
  3369. ---
  3370. bug: anti-simplify
  3371. model: |
  3372. %114 = icmp eq %class.Axis2Placement3D* %6, null, !dbg !737
  3373. --> false
  3374. stack:
  3375. - brlcad/src/conv/step/step-g/Axis2Placement3D.cpp:278:0
  3376. ncore: 1
  3377. core:
  3378. - brlcad/src/conv/step/step-g/Axis2Placement3D.cpp:48:0
  3379. - null pointer dereference
  3380. ---
  3381. bug: anti-simplify
  3382. model: |
  3383. %114 = icmp eq %class.ConicalSurface* %6, null, !dbg !3459
  3384. --> false
  3385. stack:
  3386. - brlcad/src/conv/step/step-g/ConicalSurface.cpp:120:0
  3387. ncore: 1
  3388. core:
  3389. - brlcad/src/conv/step/step-g/ConicalSurface.cpp:45:0
  3390. - null pointer dereference
  3391. ---
  3392. bug: anti-simplify
  3393. model: |
  3394. %113 = icmp eq %class.SurfaceOfRevolution* %6, null, !dbg !3453
  3395. --> false
  3396. stack:
  3397. - brlcad/src/conv/step/step-g/SurfaceOfRevolution.cpp:100:0
  3398. ncore: 1
  3399. core:
  3400. - brlcad/src/conv/step/step-g/SurfaceOfRevolution.cpp:44:0
  3401. - null pointer dereference
  3402. ---
  3403. bug: anti-simplify
  3404. model: |
  3405. %94 = icmp eq %class.ApplicationContext* %6, null, !dbg !649
  3406. --> false
  3407. stack:
  3408. - brlcad/src/conv/step/step-g/ApplicationContext.cpp:94:0
  3409. ncore: 1
  3410. core:
  3411. - brlcad/src/conv/step/step-g/ApplicationContext.cpp:45:0
  3412. - null pointer dereference
  3413. ---
  3414. bug: anti-simplify
  3415. model: |
  3416. %321 = icmp eq %"class.std::list.33"* %113, null, !dbg !4283
  3417. --> false
  3418. stack:
  3419. - brlcad/src/conv/step/step-g/Face.cpp:92:0
  3420. ncore: 1
  3421. core:
  3422. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3423. - null pointer dereference
  3424. ---
  3425. bug: anti-simplify
  3426. model: |
  3427. %382 = icmp eq %"class.std::list.33"* %113, null, !dbg !4313
  3428. --> false
  3429. stack:
  3430. - brlcad/src/conv/step/step-g/Face.cpp:97:0
  3431. ncore: 1
  3432. core:
  3433. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3434. - null pointer dereference
  3435. ---
  3436. bug: anti-simplify
  3437. model: |
  3438. %96 = icmp eq %class.ApplicationContextElement* %6, null, !dbg !655
  3439. --> false
  3440. stack:
  3441. - brlcad/src/conv/step/step-g/ApplicationContextElement.cpp:110:0
  3442. ncore: 1
  3443. core:
  3444. - brlcad/src/conv/step/step-g/ApplicationContextElement.cpp:50:0
  3445. - null pointer dereference
  3446. ---
  3447. bug: anti-simplify
  3448. model: |
  3449. %112 = icmp eq %class.FaceOuterBound* %6, null, !dbg !3439
  3450. --> false
  3451. stack:
  3452. - brlcad/src/conv/step/step-g/FaceOuterBound.cpp:84:0
  3453. ncore: 1
  3454. core:
  3455. - brlcad/src/conv/step/step-g/FaceOuterBound.cpp:44:0
  3456. - null pointer dereference
  3457. ---
  3458. bug: anti-simplify
  3459. model: |
  3460. %113 = icmp eq %class.Loop* %6, null, !dbg !3456
  3461. --> false
  3462. stack:
  3463. - brlcad/src/conv/step/step-g/Loop.cpp:85:0
  3464. ncore: 1
  3465. core:
  3466. - brlcad/src/conv/step/step-g/Loop.cpp:44:0
  3467. - null pointer dereference
  3468. ---
  3469. bug: anti-simplify
  3470. model: |
  3471. %93 = icmp eq %class.RepresentationContext* %6, null, !dbg !579
  3472. --> false
  3473. stack:
  3474. - brlcad/src/conv/step/step-g/RepresentationContext.cpp:84:0
  3475. ncore: 1
  3476. core:
  3477. - brlcad/src/conv/step/step-g/RepresentationContext.cpp:44:0
  3478. - null pointer dereference
  3479. ---
  3480. bug: anti-simplify
  3481. model: |
  3482. %125 = icmp eq %class.QuasiUniformSurface* %6, null, !dbg !3507
  3483. --> false
  3484. stack:
  3485. - brlcad/src/conv/step/step-g/QuasiUniformSurface.cpp:82:0
  3486. ncore: 1
  3487. core:
  3488. - brlcad/src/conv/step/step-g/QuasiUniformSurface.cpp:43:0
  3489. - null pointer dereference
  3490. ---
  3491. bug: anti-simplify
  3492. model: |
  3493. %112 = icmp eq %class.SolidModel* %6, null, !dbg !639
  3494. --> false
  3495. stack:
  3496. - brlcad/src/conv/step/step-g/SolidModel.cpp:79:0
  3497. ncore: 1
  3498. core:
  3499. - brlcad/src/conv/step/step-g/SolidModel.cpp:43:0
  3500. - null pointer dereference
  3501. ---
  3502. bug: anti-simplify
  3503. model: |
  3504. %113 = icmp eq %class.ManifoldSolidBrep* %6, null, !dbg !670
  3505. --> false
  3506. stack:
  3507. - brlcad/src/conv/step/step-g/ManifoldSolidBrep.cpp:107:0
  3508. ncore: 1
  3509. core:
  3510. - brlcad/src/conv/step/step-g/ManifoldSolidBrep.cpp:45:0
  3511. - null pointer dereference
  3512. ---
  3513. bug: anti-simplify
  3514. model: |
  3515. %93 = icmp eq %class.GeometricRepresentationItem* %6, null, !dbg !676
  3516. --> false
  3517. stack:
  3518. - brlcad/src/conv/step/step-g/GeometricRepresentationItem.cpp:84:0
  3519. ncore: 1
  3520. core:
  3521. - brlcad/src/conv/step/step-g/GeometricRepresentationItem.cpp:43:0
  3522. - null pointer dereference
  3523. ---
  3524. bug: anti-simplify
  3525. model: |
  3526. %113 = icmp eq %class.Surface* %6, null, !dbg !3393
  3527. --> false
  3528. stack:
  3529. - brlcad/src/conv/step/step-g/Surface.cpp:78:0
  3530. ncore: 1
  3531. core:
  3532. - brlcad/src/conv/step/step-g/Surface.cpp:43:0
  3533. - null pointer dereference
  3534. ---
  3535. bug: anti-simplify
  3536. model: |
  3537. %83 = icmp eq %class.CompositeCurveSegment* %6, null, !dbg !625
  3538. --> false
  3539. stack:
  3540. - brlcad/src/conv/step/step-g/CompositeCurveSegment.cpp:129:0
  3541. ncore: 1
  3542. core:
  3543. - brlcad/src/conv/step/step-g/CompositeCurveSegment.cpp:56:0
  3544. - null pointer dereference
  3545. ---
  3546. bug: anti-simplify
  3547. model: |
  3548. %360 = icmp eq %"class.std::list.33"* %131, null, !dbg !1533
  3549. --> false
  3550. stack:
  3551. - brlcad/src/conv/step/step-g/Product.cpp:96:0
  3552. ncore: 1
  3553. core:
  3554. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3555. - null pointer dereference
  3556. ---
  3557. bug: anti-simplify
  3558. model: |
  3559. %421 = icmp eq %"class.std::list.33"* %131, null, !dbg !1563
  3560. --> false
  3561. stack:
  3562. - brlcad/src/conv/step/step-g/Product.cpp:101:0
  3563. ncore: 1
  3564. core:
  3565. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3566. - null pointer dereference
  3567. ---
  3568. bug: anti-simplify
  3569. model: |
  3570. %93 = icmp eq %class.AmountOfSubstanceUnit* %6, null, !dbg !628
  3571. --> false
  3572. stack:
  3573. - brlcad/src/conv/step/step-g/AmountOfSubstanceUnit.cpp:85:0
  3574. ncore: 1
  3575. core:
  3576. - brlcad/src/conv/step/step-g/AmountOfSubstanceUnit.cpp:43:0
  3577. - null pointer dereference
  3578. ---
  3579. bug: anti-simplify
  3580. model: |
  3581. %373 = icmp eq %"class.std::list.43"* %124, null, !dbg !1956
  3582. --> false
  3583. stack:
  3584. - brlcad/src/conv/step/step-g/Representation.cpp:165:0
  3585. ncore: 1
  3586. core:
  3587. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3588. - null pointer dereference
  3589. ---
  3590. bug: anti-simplify
  3591. model: |
  3592. %434 = icmp eq %"class.std::list.43"* %124, null, !dbg !1986
  3593. --> false
  3594. stack:
  3595. - brlcad/src/conv/step/step-g/Representation.cpp:170:0
  3596. ncore: 1
  3597. core:
  3598. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3599. - null pointer dereference
  3600. ---
  3601. bug: anti-simplify
  3602. model: |
  3603. %111 = icmp eq %class.Representation* %6, null, !dbg !1908
  3604. --> false
  3605. stack:
  3606. - brlcad/src/conv/step/step-g/Representation.cpp:267:0
  3607. ncore: 1
  3608. core:
  3609. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3610. - null pointer dereference
  3611. ---
  3612. bug: anti-simplify
  3613. model: |
  3614. %113 = icmp eq %class.SphericalSurface* %6, null, !dbg !3457
  3615. --> false
  3616. stack:
  3617. - brlcad/src/conv/step/step-g/SphericalSurface.cpp:116:0
  3618. ncore: 1
  3619. core:
  3620. - brlcad/src/conv/step/step-g/SphericalSurface.cpp:44:0
  3621. - null pointer dereference
  3622. ---
  3623. bug: anti-simplify
  3624. model: |
  3625. %113 = icmp eq %class.CylindricalSurface* %6, null, !dbg !3457
  3626. --> false
  3627. stack:
  3628. - brlcad/src/conv/step/step-g/CylindricalSurface.cpp:115:0
  3629. ncore: 1
  3630. core:
  3631. - brlcad/src/conv/step/step-g/CylindricalSurface.cpp:44:0
  3632. - null pointer dereference
  3633. ---
  3634. bug: anti-simplify
  3635. model: |
  3636. %113 = icmp eq %class.ElementarySurface* %6, null, !dbg !3480
  3637. --> false
  3638. stack:
  3639. - brlcad/src/conv/step/step-g/ElementarySurface.cpp:98:0
  3640. ncore: 1
  3641. core:
  3642. - brlcad/src/conv/step/step-g/ElementarySurface.cpp:44:0
  3643. - null pointer dereference
  3644. ---
  3645. bug: anti-simplify
  3646. model: |
  3647. %125 = icmp eq %class.BezierSurface* %6, null, !dbg !3507
  3648. --> false
  3649. stack:
  3650. - brlcad/src/conv/step/step-g/BezierSurface.cpp:84:0
  3651. ncore: 1
  3652. core:
  3653. - brlcad/src/conv/step/step-g/BezierSurface.cpp:44:0
  3654. - null pointer dereference
  3655. ---
  3656. bug: anti-simplify
  3657. model: |
  3658. %113 = icmp eq %class.ContextDependentUnit* %6, null, !dbg !629
  3659. --> false
  3660. stack:
  3661. - brlcad/src/conv/step/step-g/ContextDependentUnit.cpp:96:0
  3662. ncore: 1
  3663. core:
  3664. - brlcad/src/conv/step/step-g/ContextDependentUnit.cpp:44:0
  3665. - null pointer dereference
  3666. ---
  3667. bug: anti-simplify
  3668. model: |
  3669. %80 = icmp eq %class.ShapeRepresentationRelationship* %6, null, !dbg !685
  3670. --> false
  3671. stack:
  3672. - brlcad/src/conv/step/step-g/ShapeRepresentationRelationship.cpp:85:0
  3673. ncore: 1
  3674. core:
  3675. - brlcad/src/conv/step/step-g/ShapeRepresentationRelationship.cpp:43:0
  3676. - null pointer dereference
  3677. ---
  3678. bug: anti-simplify
  3679. model: |
  3680. %112 = icmp eq %class.Point* %6, null, !dbg !649
  3681. --> false
  3682. stack:
  3683. - brlcad/src/conv/step/step-g/Point.cpp:82:0
  3684. ncore: 1
  3685. core:
  3686. - brlcad/src/conv/step/step-g/Point.cpp:44:0
  3687. - null pointer dereference
  3688. ---
  3689. bug: anti-simplify
  3690. model: |
  3691. %114 = icmp eq %class.Edge* %6, null, !dbg !711
  3692. --> false
  3693. stack:
  3694. - brlcad/src/conv/step/step-g/Edge.cpp:125:0
  3695. ncore: 1
  3696. core:
  3697. - brlcad/src/conv/step/step-g/Edge.cpp:46:0
  3698. - null pointer dereference
  3699. ---
  3700. bug: anti-simplify
  3701. model: |
  3702. %93 = icmp eq %class.TimeUnit* %6, null, !dbg !628
  3703. --> false
  3704. stack:
  3705. - brlcad/src/conv/step/step-g/TimeUnit.cpp:85:0
  3706. ncore: 1
  3707. core:
  3708. - brlcad/src/conv/step/step-g/TimeUnit.cpp:43:0
  3709. - null pointer dereference
  3710. Global timeout: self 1018.893231, child 0.000000
  3711. ---
  3712. bug: anti-simplify
  3713. model: |
  3714. %66 = icmp eq %class.Transformation* %6, null, !dbg !577
  3715. --> false
  3716. stack:
  3717. - brlcad/src/conv/step/step-g/Transformation.cpp:71:0
  3718. ncore: 1
  3719. core:
  3720. - brlcad/src/conv/step/step-g/Transformation.cpp:43:0
  3721. - null pointer dereference
  3722. ---
  3723. bug: anti-simplify
  3724. model: |
  3725. %113 = icmp eq %class.Axis2Placement2D* %6, null, !dbg !784
  3726. --> false
  3727. stack:
  3728. - brlcad/src/conv/step/step-g/Axis2Placement2D.cpp:176:0
  3729. ncore: 1
  3730. core:
  3731. - brlcad/src/conv/step/step-g/Axis2Placement2D.cpp:47:0
  3732. - null pointer dereference
  3733. ---
  3734. bug: anti-simplify
  3735. model: |
  3736. %39 = icmp eq %class.STEPEntity* %23, null, !dbg !733
  3737. --> false
  3738. stack:
  3739. - brlcad/src/conv/step/step-g/STEPEntity.cpp:71:0
  3740. ncore: 1
  3741. core:
  3742. - brlcad/src/conv/step/step-g/STEPEntity.cpp:69:0
  3743. - null pointer dereference
  3744. ---
  3745. bug: anti-simplify
  3746. model: |
  3747. %114 = icmp eq %class.Vector* %6, null, !dbg !664
  3748. --> false
  3749. stack:
  3750. - brlcad/src/conv/step/step-g/Vector.cpp:119:0
  3751. ncore: 1
  3752. core:
  3753. - brlcad/src/conv/step/step-g/Vector.cpp:46:0
  3754. - null pointer dereference
  3755. ---
  3756. bug: anti-simplify
  3757. model: |
  3758. %84 = icmp eq %class.MeasureValue* %6, null, !dbg !779
  3759. --> false
  3760. stack:
  3761. - brlcad/src/conv/step/step-g/MeasureValue.cpp:219:0
  3762. ncore: 1
  3763. core:
  3764. - brlcad/src/conv/step/step-g/MeasureValue.cpp:73:0
  3765. - null pointer dereference
  3766. ---
  3767. bug: anti-simplify
  3768. model: |
  3769. %120 = icmp eq %class.CartesianTransformationOperator3D* %6, null, !dbg !787
  3770. --> false
  3771. stack:
  3772. - brlcad/src/conv/step/step-g/CartesianTransformationOperator3D.cpp:105:0
  3773. ncore: 1
  3774. core:
  3775. - brlcad/src/conv/step/step-g/CartesianTransformationOperator3D.cpp:46:0
  3776. - null pointer dereference
  3777. ---
  3778. bug: anti-simplify
  3779. model: |
  3780. %113 = icmp eq %class.RectangularCompositeSurface* %6, null, !dbg !4295
  3781. --> false
  3782. stack:
  3783. - brlcad/src/conv/step/step-g/RectangularCompositeSurface.cpp:119:0
  3784. ncore: 1
  3785. core:
  3786. - brlcad/src/conv/step/step-g/RectangularCompositeSurface.cpp:45:0
  3787. - null pointer dereference
  3788. ---
  3789. bug: anti-simplify
  3790. model: |
  3791. %80 = icmp eq %class.MechanicalContext* %6, null, !dbg !704
  3792. --> false
  3793. stack:
  3794. - brlcad/src/conv/step/step-g/MechanicalContext.cpp:82:0
  3795. ncore: 1
  3796. core:
  3797. - brlcad/src/conv/step/step-g/MechanicalContext.cpp:42:0
  3798. - null pointer dereference
  3799. ---
  3800. bug: anti-simplify
  3801. model: |
  3802. %95 = icmp eq %class.SiUnit* %6, null, !dbg !704
  3803. --> false
  3804. stack:
  3805. - brlcad/src/conv/step/step-g/SiUnit.cpp:235:0
  3806. ncore: 1
  3807. core:
  3808. - brlcad/src/conv/step/step-g/SiUnit.cpp:99:0
  3809. - null pointer dereference
  3810. ---
  3811. bug: anti-simplify
  3812. model: |
  3813. %93 = icmp eq %class.ThermodynamicTemperatureUnit* %6, null, !dbg !628
  3814. --> false
  3815. stack:
  3816. - brlcad/src/conv/step/step-g/ThermodynamicTemperatureUnit.cpp:85:0
  3817. ncore: 1
  3818. core:
  3819. - brlcad/src/conv/step/step-g/ThermodynamicTemperatureUnit.cpp:43:0
  3820. - null pointer dereference
  3821. ---
  3822. bug: anti-simplify
  3823. model: |
  3824. %119 = icmp eq %class.CartesianTransformationOperator2D* %6, null, !dbg !784
  3825. --> false
  3826. stack:
  3827. - brlcad/src/conv/step/step-g/CartesianTransformationOperator2D.cpp:82:0
  3828. ncore: 1
  3829. core:
  3830. - brlcad/src/conv/step/step-g/CartesianTransformationOperator2D.cpp:43:0
  3831. - null pointer dereference
  3832. ---
  3833. bug: anti-simplify
  3834. model: |
  3835. %116 = icmp eq %class.FaceBound* %6, null, !dbg !3420
  3836. --> false
  3837. stack:
  3838. - brlcad/src/conv/step/step-g/FaceBound.cpp:127:0
  3839. ncore: 1
  3840. core:
  3841. - brlcad/src/conv/step/step-g/FaceBound.cpp:49:0
  3842. - null pointer dereference
  3843. ---
  3844. bug: anti-simplify
  3845. model: |
  3846. %112 = icmp eq %class.BoundedSurface* %6, null, !dbg !3475
  3847. --> false
  3848. stack:
  3849. - brlcad/src/conv/step/step-g/BoundedSurface.cpp:81:0
  3850. ncore: 1
  3851. core:
  3852. - brlcad/src/conv/step/step-g/BoundedSurface.cpp:42:0
  3853. - null pointer dereference
  3854. ---
  3855. bug: anti-simplify
  3856. model: |
  3857. %93 = icmp eq %class.AreaUnit* %6, null, !dbg !628
  3858. --> false
  3859. stack:
  3860. - brlcad/src/conv/step/step-g/AreaUnit.cpp:85:0
  3861. ncore: 1
  3862. core:
  3863. - brlcad/src/conv/step/step-g/AreaUnit.cpp:43:0
  3864. - null pointer dereference
  3865. ---
  3866. bug: anti-simplify
  3867. model: |
  3868. %93 = icmp eq %class.VolumeUnit* %6, null, !dbg !628
  3869. --> false
  3870. stack:
  3871. - brlcad/src/conv/step/step-g/VolumeUnit.cpp:85:0
  3872. ncore: 1
  3873. core:
  3874. - brlcad/src/conv/step/step-g/VolumeUnit.cpp:43:0
  3875. - null pointer dereference
  3876. ---
  3877. bug: anti-simplify
  3878. model: |
  3879. %69 = icmp eq %class.PCurveOrSurface* %6, null, !dbg !611
  3880. --> false
  3881. stack:
  3882. - brlcad/src/conv/step/step-g/PCurveOrSurface.cpp:113:0
  3883. ncore: 1
  3884. core:
  3885. - brlcad/src/conv/step/step-g/PCurveOrSurface.cpp:58:0
  3886. - null pointer dereference
  3887. ---
  3888. bug: anti-simplify
  3889. model: |
  3890. %321 = icmp eq %"class.std::list.33"* %113, null, !dbg !1635
  3891. --> false
  3892. stack:
  3893. - brlcad/src/conv/step/step-g/CompositeCurve.cpp:92:0
  3894. ncore: 1
  3895. core:
  3896. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3897. - null pointer dereference
  3898. ---
  3899. bug: anti-simplify
  3900. model: |
  3901. %382 = icmp eq %"class.std::list.33"* %113, null, !dbg !1665
  3902. --> false
  3903. stack:
  3904. - brlcad/src/conv/step/step-g/CompositeCurve.cpp:97:0
  3905. ncore: 1
  3906. core:
  3907. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  3908. - null pointer dereference
  3909. ---
  3910. bug: anti-simplify
  3911. model: |
  3912. %66 = icmp eq %class.FoundedItem* %6, null, !dbg !577
  3913. --> false
  3914. stack:
  3915. - brlcad/src/conv/step/step-g/FoundedItem.cpp:73:0
  3916. ncore: 1
  3917. core:
  3918. - brlcad/src/conv/step/step-g/FoundedItem.cpp:43:0
  3919. - null pointer dereference
  3920. ---
  3921. bug: anti-simplify
  3922. model: |
  3923. %112 = icmp eq %class.ClosedShell* %6, null, !dbg !1013
  3924. --> false
  3925. stack:
  3926. - brlcad/src/conv/step/step-g/ClosedShell.cpp:87:0
  3927. ncore: 1
  3928. core:
  3929. - brlcad/src/conv/step/step-g/ClosedShell.cpp:43:0
  3930. - null pointer dereference
  3931. ---
  3932. bug: anti-simplify
  3933. model: |
  3934. %68 = icmp eq %class.DerivedUnitElement* %6, null, !dbg !585
  3935. --> false
  3936. stack:
  3937. - brlcad/src/conv/step/step-g/DerivedUnitElement.cpp:107:0
  3938. ncore: 1
  3939. core:
  3940. - brlcad/src/conv/step/step-g/DerivedUnitElement.cpp:46:0
  3941. - null pointer dereference
  3942. ---
  3943. bug: anti-simplify
  3944. model: |
  3945. %81 = icmp eq %class.RepresentationRelationshipWithTransformation* %6, null, !dbg !696
  3946. --> false
  3947. stack:
  3948. - brlcad/src/conv/step/step-g/RepresentationRelationshipWithTransformation.cpp:115:0
  3949. ncore: 1
  3950. core:
  3951. - brlcad/src/conv/step/step-g/RepresentationRelationshipWithTransformation.cpp:46:0
  3952. - null pointer dereference
  3953. ---
  3954. bug: anti-simplify
  3955. model: |
  3956. %82 = icmp eq %class.ContextDependentShapeRepresentation* %6, null, !dbg !1170
  3957. --> false
  3958. stack:
  3959. - brlcad/src/conv/step/step-g/ContextDependentShapeRepresentation.cpp:166:0
  3960. ncore: 1
  3961. core:
  3962. - brlcad/src/conv/step/step-g/ContextDependentShapeRepresentation.cpp:48:0
  3963. - null pointer dereference
  3964. ---
  3965. bug: anti-simplify
  3966. model: |
  3967. %125 = icmp eq %class.UniformSurface* %6, null, !dbg !3507
  3968. --> false
  3969. stack:
  3970. - brlcad/src/conv/step/step-g/UniformSurface.cpp:84:0
  3971. ncore: 1
  3972. core:
  3973. - brlcad/src/conv/step/step-g/UniformSurface.cpp:44:0
  3974. - null pointer dereference
  3975. ---
  3976. bug: anti-simplify
  3977. model: |
  3978. %127 = icmp eq %class.Axis1Placement* %6, null, !dbg !780
  3979. --> false
  3980. stack:
  3981. - brlcad/src/conv/step/step-g/Axis1Placement.cpp:155:0
  3982. ncore: 1
  3983. core:
  3984. - brlcad/src/conv/step/step-g/Axis1Placement.cpp:48:0
  3985. - null pointer dereference
  3986. ---
  3987. bug: anti-simplify
  3988. model: |
  3989. %114 = icmp eq %class.ToroidalSurface* %6, null, !dbg !3459
  3990. --> false
  3991. stack:
  3992. - brlcad/src/conv/step/step-g/ToroidalSurface.cpp:120:0
  3993. ncore: 1
  3994. core:
  3995. - brlcad/src/conv/step/step-g/ToroidalSurface.cpp:45:0
  3996. - null pointer dereference
  3997. ---
  3998. bug: anti-simplify
  3999. model: |
  4000. %80 = icmp eq %class.DesignContext* %6, null, !dbg !704
  4001. --> false
  4002. stack:
  4003. - brlcad/src/conv/step/step-g/DesignContext.cpp:82:0
  4004. ncore: 1
  4005. core:
  4006. - brlcad/src/conv/step/step-g/DesignContext.cpp:42:0
  4007. - null pointer dereference
  4008. ---
  4009. bug: anti-simplify
  4010. model: |
  4011. %80 = icmp eq %class.PlaneAngleMeasureWithUnit* %6, null, !dbg !611
  4012. --> false
  4013. stack:
  4014. - brlcad/src/conv/step/step-g/PlaneAngleMeasureWithUnit.cpp:88:0
  4015. ncore: 1
  4016. core:
  4017. - brlcad/src/conv/step/step-g/PlaneAngleMeasureWithUnit.cpp:47:0
  4018. - null pointer dereference
  4019. ---
  4020. bug: anti-simplify
  4021. model: |
  4022. %324 = icmp eq %"class.std::list.38"* %113, null, !dbg !4661
  4023. --> false
  4024. stack:
  4025. - brlcad/src/conv/step/step-g/Path.cpp:129:0
  4026. ncore: 1
  4027. core:
  4028. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  4029. - null pointer dereference
  4030. ---
  4031. bug: anti-simplify
  4032. model: |
  4033. %385 = icmp eq %"class.std::list.38"* %113, null, !dbg !4691
  4034. --> false
  4035. stack:
  4036. - brlcad/src/conv/step/step-g/Path.cpp:134:0
  4037. ncore: 1
  4038. core:
  4039. - /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/4.7.3/include/g++-v4/bits/stl_list.h:387:0
  4040. - null pointer dereference
  4041. ---
  4042. bug: anti-simplify
  4043. model: |
  4044. %113 = icmp eq %class.VertexLoop* %6, null, !dbg !3425
  4045. --> false
  4046. stack:
  4047. - brlcad/src/conv/step/step-g/VertexLoop.cpp:103:0
  4048. ncore: 1
  4049. core:
  4050. - brlcad/src/conv/step/step-g/VertexLoop.cpp:45:0
  4051. - null pointer dereference
  4052. ---
  4053. bug: anti-simplify
  4054. model: |
  4055. %85 = icmp eq %class.SurfacePatch* %6, null, !dbg !691
  4056. --> false
  4057. stack:
  4058. - brlcad/src/conv/step/step-g/SurfacePatch.cpp:142:0
  4059. ncore: 1
  4060. core:
  4061. - brlcad/src/conv/step/step-g/SurfacePatch.cpp:58:0
  4062. - null pointer dereference
  4063. ---
  4064. bug: anti-simplify
  4065. model: |
  4066. %63 = icmp ne %struct.dm_list* %5, null, !dbg !1762
  4067. --> true
  4068. stack:
  4069. - brlcad/src/mged/mged.c:2485:0
  4070. ncore: 1
  4071. core:
  4072. - brlcad/src/mged/mged.c:2484:0
  4073. - null pointer dereference
Advertisement
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!