diff --git a/CompilerOptimizations.md b/CompilerOptimizations.md
index 3ac4798..95d09db 100644
--- a/CompilerOptimizations.md
+++ b/CompilerOptimizations.md
@@ -36,12 +36,14 @@
 
 ### Escape analysis
 
+Gc compiler does global escape analysis across function and package boundaries. However, there are lots of cases where it gives up. For example, anything assigned to any indirection (`*p = ...`; `a[i] = ...`) is considered escaped. Other things that can inhibit analysis are: function calls, package boundaries, slice literals, subslicing and indexing, etc. Full rules are too complex to describe, so check the `-m` output.
+
 * **gc:** 1.0+
 * **gccgo:** not yet.
 
 ### Function Inlining
 
-Only short and simple functions are inlined. To be inlined a function must contain less than ~40 expressions and does not contain complex things like loops, labels, closures, panic's, recover's, select's, switch'es, etc.
+Only short and simple functions are inlined. To be inlined a function must contain less than ~40 expressions and does not contain complex things like function calls, loops, labels, closures, panic's, recover's, select's, switch'es, etc.
 
 * **gc:** 1.0+
 * **gccgo:** -O1 and above.