+ * - a global variable and the result of a malloc routine never alias (R1 f)
+ * - a local variable and the result of a malloc routine never alias (R1 g)
+ * - a TLS variable and the result of a malloc routine never alias (R1 h)
+ * - a parameter and the result of a malloc routine (obtained in the
+ * same routine as the parameter) never alias (R1 i)