You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Josh Berdine 229ca26c8b Optimize normalization, substitution, renaming of array types ... Summary: Array types where the length is not statically known were represented using fresh variables. This diff: - Makes array type length optional, reducing the amount of work needed for renaming, substitution, and normalization. - Revises uses of array length so that the length component of a Tarray type represents only the statically determined constant length of an array type, and the length component of a Sizeof expression represents the dynamically determined length of an array value. - Restricts the type of static lengths from a general expression (Sil.exp) to an integer (Sil.Int.t), enforcing that static types are constant. This in particular ensures that types contain no variables, and so are invariant under operations such as renaming and substitution. - Removes the type substitution and renaming functions typ_sub, typ_normalize, and typ_captured_ren. Now that array type lengths are constant integers, all of these functions are the identity. Reviewed By: cristianoc Differential Revision: D3387343 fbshipit-source-id: b5db768		10 years ago
..
src	Optimize normalization, substitution, renaming of array types	10 years ago
Makefile	move all config variables to Makefile.config.in	10 years ago