Does that mean that I have to traverse the control flow graph in order to capture labels (if there are any) too. Lets suppose if I want to count the number of gimple statements within the body of the loop, then definitely I need the reference of that target label for any conditional goto statement. Regards Abdul On Tue, Jun 7, 2011 at 9:57 PM, Ian Lance Taylor <iant@xxxxxxxxxx> wrote: > Abdul Wahid Memon <engrwahidmemon@xxxxxxxxx> writes: > >> By the way, if I want to traverse through all the GIMPLE statements, >> then from where should I start? I mean what should be the reference >> point to capture those labels in the cfg. > > As far as I know, the way you were traversing GIMPLE was fine. The > labels you see in the dump, from the CFG, are not GIMPLE statements. > They are basic_block structs connected by edge structs. > > Ian >