Revision 3b2bd83d
Added by Teme Kahsai about 8 years ago
src/liveness.ml | ||
---|---|---|
115 | 115 |
(* checks whether a variable is aliasable, |
116 | 116 |
depending on its (address) type *) |
117 | 117 |
let is_aliasable var = |
118 |
Types.is_address_type var.var_type |
|
118 |
(not (!Options.mpfr && Types.is_real_type var.var_type)) && Types.is_address_type var.var_type
|
|
119 | 119 |
|
120 | 120 |
(* checks whether a variable [v] is an input of the [var] equation, with an address type. |
121 | 121 |
if so, [var] could not safely reuse/alias [v], should [v] be dead in the caller node, |
Also available in: Unified diff
updating to onera version 30f766a:2016-12-04