前述所定义，内建函数也适用于常数，以下列描述为例：传播x变数将会变成：持续传播，则会变成：（还可以再进一步的消除无用程式码x及y来进行最佳化）常数传播在编译器中使用定义可达性（Reaching definition）分析实作，如果一个变数的所有定义可达性，都是赋予相同的数值，那么这个变数将会是一个常数，而且会被常数取代。常数传播也可能导致使状态的分支简化，或是变成更复杂，当状态表示式在编译时期可以被计算为TRUE或是FALSE时，就可以决定他唯一的一种可能。
最佳化的行为.