//===----------------------------------------------------------------------===//
/// UndefValue - 'undef' values are things that do not have specified contents.
//===----------------------------------------------------------------------===//
/// UndefValue - 'undef' values are things that do not have specified contents.