2 +----------------------------------------------------------------------+
4 +----------------------------------------------------------------------+
5 | Copyright (c) 2010-2014 Facebook, Inc. (http://www.facebook.com) |
6 +----------------------------------------------------------------------+
7 | This source file is subject to version 3.01 of the PHP license, |
8 | that is bundled with this package in the file LICENSE, and is |
9 | available through the world-wide-web at the following url: |
10 | http://www.php.net/license/3_01.txt |
11 | If you did not receive a copy of the PHP license and are unable to |
12 | obtain it through the world-wide-web, please send a note to |
13 | license@php.net so we can mail you a copy immediately. |
14 +----------------------------------------------------------------------+
16 #ifndef incl_HPHP_JIT_DEBUG_GUARDS_H
17 #define incl_HPHP_JIT_DEBUG_GUARDS_H
19 #include "hphp/runtime/vm/srckey.h"
21 namespace HPHP
{ namespace jit
{
23 void addDbgGuardImpl(SrcKey sk
, SrcRec
* srcRec
);