Scalar data-flow analysis is crucial for parallelizing loops. Analyses of scalar variables in a loop are necessary both to detect and eliminate scalar dependences and to support precise analysis of array accesses. Array analysis support is provided by an interprocedural symbolic analysis and a separate inequality constraint propagation.