callgraph: ordered call graph: reduced for nothrow MALLOC LATTICE Initial: MALLOC LATTICE after propagation: callgraph: ordered call graph: reduced