hphp/test/slow/gvn-crash-13368505.php

   1 <?hh
   2
   3 class XDate extends DateTime
   4 {
   5   public function myFormat()
   6 :mixed  {
   7
   8     $return = parent::format("Y-m-d H:i:s");
   9     parent::setTimezone(GvnCrash13368505Php::$gmt);
  10   }
  11 }
  12
  13 function main() :mixed{
  14
  15
  16   $date = new XDate('now', GvnCrash13368505Php::$gmt);
  17   $date->myFormat();
  18
  19   $date = new XDate('now', GvnCrash13368505Php::$gmt);
  20   $date->myFormat();
  21 }
  22
  23 abstract final class GvnCrash13368505Php {
  24   public static $gmt;
  25 }
  26 <<__EntryPoint>>
  27 function entrypoint_gvncrash13368505(): void {
  28   // Copyright 2004-present Facebook. All Rights Reserved.
  29
  30   GvnCrash13368505Php::$gmt = new DateTimeZone('GMT');
  31
  32   main();
  33   echo "DONE\n";
  34 }