hphp/runtime/vm/debug/jit_symbol.cpp

   1 /*
   2    +----------------------------------------------------------------------+
   3    | HipHop for PHP                                                       |
   4    +----------------------------------------------------------------------+
   5    | Copyright (c) 2010-2013 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    +----------------------------------------------------------------------+
  15 */
  16
  17 #include "hphp/runtime/vm/debug/gdb-jit.h"
  18
  19 /* __jit_debug_regiser_code() needs to be defined in a separate file
  20  * from the one it is called from. Otherwise gcc notices that it is empty,
  21  * and optimizes away the call. This prevents gdb from trapping updates to
  22  * the DWARF files emitted by HHVM */
  23
  24 void __attribute__((noinline)) __jit_debug_register_code() { };