Commits

Ted Kremenek committed 69b4919554aM
Merge pull request #1937 from eeckstein/fix_side_effect_analysis SideEffectAnalysis: fix handling of indirect parameters to partial_apply
Merge pull request #1937 from eeckstein/fix_side_effect_analysis SideEffectAnalysis: fix handling of indirect parameters to partial_apply