[PATCH]: Remove some unconditional SMT usage updates

[Diego Novillo]

On 03/03/06 11:36, Daniel Berlin wrote:

> @@ -2194,6 +2196,7 @@ tree_sra (void)
>        scan_function ();
>        decide_instantiations ();
>        scalarize_function ();
> +      todoflags = TODO_update_smt_usage;
>
I would rather do this in either decide_instantiations.  If any var in
sra_candidates is an array, then flip TODO_update_smt_usage on todoflags
(and make todoflags a file static).

I don't think we SRA structures with arrays, but if we do then the
flipping could be done in the scalarize_* functions.

The rest is fine.