5.7.7.44 Tree-vrp Option

The -ftree-vrp option controls Value Range Propagation (VRP), which determines what subranges a variable can contain and uses that information to eliminate unnecessary range checks, like array bound checks and null pointer checks. This in turn makes programs smaller and run faster.

This option is automatically enabled at optimization levels -O2, -O3, and -Os.

The -fno-tree-vrp form of this option does not perform VRP.