13.1 Annotations

优化器需要在优化过程中将属性和变量关联起来。例如，我们需要知道一条语句属于哪个基本块，或者一个变量是否具有别名。所有这些属性被存储在叫做注解（annotation）的数据结构中，并被连接到 struct tree_common 的 ann 域中。

目前，我们定义了变量的注解 (var_ann_t) 。注解在 tree-flow.h 中有定义和文档描述。