Hello, In 'SSA Operands' node, tree-ssa.texi, the original text are
" For instance, given @smallexample @{ int a, b; a = b @} @end smallexample Since @code{a} and @code{b} are non-aliased locals, the statement @code{a = b} will have one real definition and one real use because variable @code{b} is completely modified with the contents of variable @code{a}. Real definition are also known as @dfn{killing definitions}. Similarly, the use of @code{a} reads all its bits. " I think it's a mistake between a and b. It should be, " variable @code{a} is completely modified with the contents of variable @code{b}. Real definition are also known as @dfn{killing definitions}. Similarly, the use of @code{b} reads all its bits. " Eric Fisher May 15, 2009