Project

General

Profile

« Previous | Next » 

Revision 3b2bd83d

Added by Teme Kahsai about 8 years ago

updating to onera version 30f766a:2016-12-04

View differences:

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