hphp/test/quick/class_torture.hhas

   1 .hh_file 1;
   2 # tests various ways poorly defined classes should fail the verifier
   3
   4 .main {
   5   .declvars $x;
   6
   7
   8   Int 1
   9   RetC
  10 }
  11
  12 .class [final interface] iface {
  13
  14 }
  15
  16 .class A extends A {
  17 }
  18
  19 .class B {
  20
  21 }
  22
  23 .class C {
  24 }
  25
  26
  27 .class [final] D {
  28   .method [public no_injection] __construct() {
  29     Null
  30     RetC
  31   }
  32 }
  33
  34 .class E extends D {
  35
  36 }
  37
  38 .class [abstract] F {
  39 }
  40
  41 .class G extends F{
  42
  43 }
  44
  45 .function ["__EntryPoint"("""y:0:{}""")] main() {
  46   .declvars $x;
  47
  48   NewObjD "A"
  49   Dup
  50   NullUninit
  51   NullUninit
  52   String "foo"
  53   FCallCtor <LockWhileUnwinding> 1 1 "" - "" ""
  54   PopC
  55   LockObj
  56   PopC
  57
  58   NewObjD "B"
  59   Dup
  60   NullUninit
  61   NullUninit
  62   String "foo"
  63   FCallCtor <LockWhileUnwinding> 1 1 "" - "" ""
  64   PopC
  65   LockObj
  66   PopC
  67
  68   NewObjD "C"
  69   Dup
  70   NullUninit
  71   NullUninit
  72   String "foo"
  73   FCallCtor <LockWhileUnwinding> 1 1 "" - "" ""
  74   PopC
  75   LockObj
  76   PopC
  77
  78   NewObjD "E"
  79   Dup
  80   NullUninit
  81   NullUninit
  82   String "foo"
  83   FCallCtor <LockWhileUnwinding> 1 1 "" - "" ""
  84   PopC
  85   LockObj
  86   PopC
  87
  88   NewObjD "G"
  89   Dup
  90   NullUninit
  91   NullUninit
  92   String "foo"
  93   FCallCtor <LockWhileUnwinding> 1 1 "" - "" ""
  94   PopC
  95   LockObj
  96   PopC
  97
  98   Int 1
  99   RetC
 100 }