From 8b31156b5a179195d54c910a8512e043246be135 Mon Sep 17 00:00:00 2001
From: Ruben Ayrapetyan <r.ayrapetyan@samsung.com>
Date: Wed, 28 Jan 2015 17:43:04 +0300
Subject: [PATCH] Forbidding use of rbp for register allocation on x86-64
 platform.

It is necessary because of bug in gcc / g++:
 Pointers allocated on rbp can be (are?) supposed to be aligned indepedently of what they actually contain.

Turning off allocation on rbp is not critical for now, because, currently, x86-64 is just development platform.
---
 Makefile.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.mk b/Makefile.mk
index 740d10c32..7da6f08b3 100644
--- a/Makefile.mk
+++ b/Makefile.mk
@@ -356,6 +356,7 @@ endif
 ifeq ($(OPTION_MCU),disable)
  MACHINE_TYPE=$(shell uname -m)
  ifeq ($(MACHINE_TYPE),x86_64)
+   CFLAGS_COMMON += -ffixed-rbp
    DEFINES_JERRY += -D__TARGET_HOST_x64
  else
   ifeq ($(MACHINE_TYPE),armv7l)