diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2018-12-05 18:13:17 +0100 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2018-12-05 18:13:17 +0100 |
| commit | a827a8ad5a7b2ffdd83c0eeba82ec7468df321f9 (patch) | |
| tree | 81c978083b385b9b93b654ffc18b98a15e76de6b /src/arch/posix | |
| parent | d0157ffa16adaf59d56148e39f9397b348e72f8e (diff) | |
support static analysis of stack usage
Diffstat (limited to 'src/arch/posix')
| -rw-r--r-- | src/arch/posix/Makefile.inc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/arch/posix/Makefile.inc b/src/arch/posix/Makefile.inc index 1300012..e901aeb 100644 --- a/src/arch/posix/Makefile.inc +++ b/src/arch/posix/Makefile.inc @@ -4,6 +4,10 @@ COMMON_FLAGS += -DMULTIPASS_ARCH_posix CC = gcc CXX = g++ +OBJDUMP = objdump + +# For each function call, the 8-Byte return address is pushed onto the stack. +ARCH_CALL_COST = 8 ifeq (${aspectc}, 1) CXX = ag++ -r build/repo.acp -v 0 -p . --Xcompiler |