Hello,<br/>I'm trying to do something which involves changing the flow graph of the function, so as to include a newly created basic block which comprises of instructions that have a couple of manually created memory operands, which have no tags assigned yet. So to assign tags, I create a lattice analyzer, and run it manually using: myLatticeAnalyzer.Run(), after setting myLatticeAnalyzer.DoApplyCallSummaries to true. When I run the lattice analyzer, I get the following errors:<br/><br/>Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\lattices\alias-lattice.cpp, Line 193<br/>  !lattice-&gt;SsaInfo-&gt;DoIncludeAliasedVariables<br/>  in (Function number 0) ?mallocIndirectToInt@@YAXPAPAH@Z [line 0] during CustomLatticePhase<br/>  in (Module) testipo2.cpp<br/><br/>Can somebody please help me and tell me what should be done in such a situation.<br/><br/>Regards,<br/>If If© 2009 Microsoft Corporation. All rights reserved.Thu, 09 Jul 2009 14:11:17 Z8354c445-6ac2-4a96-afe5-4b292ad77efdhttp://social.msdn.microsoft.com/Forums/en-US/phoenix/thread/8354c445-6ac2-4a96-afe5-4b292ad77efd#8354c445-6ac2-4a96-afe5-4b292ad77efdhttp://social.msdn.microsoft.com/Forums/en-US/phoenix/thread/8354c445-6ac2-4a96-afe5-4b292ad77efd#8354c445-6ac2-4a96-afe5-4b292ad77efdif ifhttp://social.msdn.microsoft.com/Profile/en-US/?user=if%20ifHello,<br/>I'm trying to do something which involves changing the flow graph of the function, so as to include a newly created basic block which comprises of instructions that have a couple of manually created memory operands, which have no tags assigned yet. So to assign tags, I create a lattice analyzer, and run it manually using: myLatticeAnalyzer.Run(), after setting myLatticeAnalyzer.DoApplyCallSummaries to true. When I run the lattice analyzer, I get the following errors:<br/><br/>Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\lattices\alias-lattice.cpp, Line 193<br/>  !lattice-&gt;SsaInfo-&gt;DoIncludeAliasedVariables<br/>  in (Function number 0) ?mallocIndirectToInt@@YAXPAPAH@Z [line 0] during CustomLatticePhase<br/>  in (Module) testipo2.cpp<br/><br/>Can somebody please help me and tell me what should be done in such a situation.<br/><br/>Regards,<br/>If IfFri, 03 Jul 2009 05:10:54 Z2009-07-03T05:10:54Zhttp://social.msdn.microsoft.com/Forums/en-US/phoenix/thread/8354c445-6ac2-4a96-afe5-4b292ad77efd#3be4ae50-70db-4f01-9c6f-7623a6a41241http://social.msdn.microsoft.com/Forums/en-US/phoenix/thread/8354c445-6ac2-4a96-afe5-4b292ad77efd#3be4ae50-70db-4f01-9c6f-7623a6a41241Andy Ayers - MSFThttp://social.msdn.microsoft.com/Profile/en-US/?user=Andy%20Ayers%20-%20MSFTThe alias lattice needs to run over unaliased SSA. If you are building SSA as prerequisite for running the alias lattice, check the configuration flags. If you are using an existing SSA you'll need to remove it and rebuild with unaliased SSA.<br/><br/>You should assign (possibly conservative) tags when you create the memory operands.<hr class="sig">Architect - Microsoft Phoenix ProjectThu, 09 Jul 2009 14:11:17 Z2009-07-09T14:11:17Z