29.10.2012, 12:23, "Konstantin Tokarev" <annu...@yandex.ru>: > 29.10.2012, 01:24, "John Regehr" <reg...@cs.utah.edu>: > >> A pass for eliminating references sounds extremely useful for reducing >> general C++ code! > > Does convertion of references to pointers sound useful too? > > Conversion of reference to pass by value is not always valid because it > requires > definition of type to be placed above. On the other hand, creduce already has > passes dealing with pointers. > > It's also possible to convert built-in types to values and other types to > pointers. > Any thoughts?
Ping -- Regards, Konstantin
