gistfile1.txt

  enum Mode {
    PHP_INI_NONE = 0,
    PHP_INI_ONLY = 1,
    PHP_INI_SYSTEM = 2,
    PHP_INI_PERDIR = 4,
    PHP_INI_USER = 8,
    PHP_INI_ALL = 16,
  };

some_function(Mode mode) {
}

other_function() {
  some_function(static_cast<Mode>(PHP_INI_USER | PHP_INI_ALL));
}

(gdb) p mode
HPHP::IniSetting::PHP_INI_ONLY | HPHP::IniSetting::PHP_INI_SYSTEM | HPHP::IniSetting::PHP_INI_PERDIR