X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Firmemory.h;h=f18a0a09693e6b5cc392ed12d3a6dfb1a0bb3dbc;hb=68655b9de256aa8d96434774b042cd30f352c5e7;hp=9dd703e2354ecf63cd7d851f4cac0501f33f41bd;hpb=1ce363f80e6a204d4011f85813362d9bd1d0e7e4;p=libfirm

diff --git a/include/libfirm/irmemory.h b/include/libfirm/irmemory.h
index 9dd703e23..f18a0a096 100644
--- a/include/libfirm/irmemory.h
+++ b/include/libfirm/irmemory.h
@@ -77,11 +77,17 @@ const char *get_ir_alias_relation_name(ir_alias_relation rel);
  * The memory disambiguator tries to determine the alias state between
  * two memory addresses. The following rules are used:
  *
- * - variables from different segments never alias (R1)
+ * - different variable from the same segment never alias (R1 a)
+ * - variables from different segments never alias when:
  *   - a global variable and a local one never alias (R1 b)
  *   - a global variable and a TLS one never alias (R1 c)
  *   - a local variable and a TLS one never alias (R1 d)
  *   - a local variable and a parameter never alias (R1 e)
+ *   - 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)
  * - two different variables never alias (R2)
  * - if one is a variable whose address has never been taken
  *   there is no alias (R3)