DSNodes for main() neither complete nor global?


I'm noticing that there are some DSNodes in main() that are neither complete nor global. Specifically, a heap DSNode that is used but not free()d in main() is not marked complete. This is not the only case I'm noticing, but it's the only case I'm noticing for nodes that are actually used by instructions in the function.

Is this expected behavior? If so, is there an option to DSA that would mark these nodes complete in main()?


Do you have indirect calls to free? If you do, you need to call the
-indmemrem pass before hand.