for analyzing a function.

The initial state for GRConstants now assigns symbolic values to parameters.

llvm-svn: 46517