> The CFG doesn't have any declarations. In effect all declarations are > moved to the outer-most block of a function, renamed as necessary. Truth. The CFC of GCC does not have the statements. =( I know that declarations is not in a block of the CFG in fact. But if we analyze the code, a declaration always is a "part" of a block too. So, there is no way to see in which block a declaration was made? Thanks, Harry 2011/10/25 Ian Lance Taylor <iant@xxxxxxxxxx>: > Harry Trinta <harrytpc@xxxxxxxxx> writes: > >> A program can be represented by a CFG (Control Flow Graph). >> Within source file Profile.c, for example, is easy to navigate within >> CFG and obtain certain information. >> However, I would like some more specific information, for example, >> what are the the declarations and what are the uses of variables >> within a given node of the CFG. >> >> Can I get this information somewhere in the building? >> >> The goal is to calculate the viability of creating a "module" for >> software testing based on the data flow. > > The CFG doesn't have any declarations. In effect all declarations are > moved to the outer-most block of a function, renamed as necessary. > > You can indeed find the uses of variables within a block of the CFG, by > scanning the instructions in the block. > > Ian >
