A number of standard analyses ensure that scalar variables do not limit the parallelism available in a loop. These analyses locate scalar dependences, locate opportunities for scalar reduction transformations and determine privatizable scalars. We apply these analyses interprocedurally. A simple flow-insensitive mod-ref analysis[1] detects scalar dependences and, with a straightforward extension, provides the necessary information to locate scalar reductions. A flow-sensitive live-variable analysis, discussed below, allows detection of privatizable scalar variables. The flow-sensitive symbolic analysis of Section 4.1 also finds induction and loop-invariant integer variables, which can then be privatized.