From ad53fa2a8a496448d58ef9137959b4a1e86b14d7 Mon Sep 17 00:00:00 2001
From: vub <Vitalik Buterin>
Date: Fri, 14 Apr 2017 05:53:40 -0400
Subject: [PATCH] Made calls more static-analysis friendly

---
 rewriter.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/rewriter.cpp b/rewriter.cpp
index 5a11ec8..47ffe80 100644
--- a/rewriter.cpp
+++ b/rewriter.cpp
@@ -259,7 +259,7 @@ std::string macros[][2] = {
     },
     {
         "(_sha256 $arr $sz)",
-        "(with $0 $sz (with $1 (alloc 32) (seq (pop (~call (add 72 $0) 2 0 $arr $0 (get $1) 32)) (mload (get $1)))))"
+        "(with $0 $sz (with $1 (alloc 32) (with $gas (add 72 $0) (seq (pop (~call $gas 2 0 $arr $0 (get $1) 32)) (mload (get $1))))))"
     },
     {
         "(sha256 $arr $sz)",
@@ -283,7 +283,7 @@ std::string macros[][2] = {
     },
     {
         "(_ripemd160 $arr $sz)",
-        "(with $0 $sz (with $1 (alloc 32) (seq (pop (~call (add 720 (mul 4 $0)) 3 0 $arr $0 (get $1) 32)) (mload (get $1)))))"
+        "(with $0 $sz (with $1 (alloc 32) (with $gas (add 720 (mul 4 $0)) (seq (pop (~call $gas 3 0 $arr $0 (get $1) 32)) (mload (get $1))))))"
     },
     {
         "(ripemd160 $arr $sz)",
@@ -343,7 +343,7 @@ std::string macros[][2] = {
     },
     {
         "(mcopy $to $from $sz)",
-        "(with _sz $sz (safe_call (+ 18 (/ _sz 10)) 4 0 $from _sz $to _sz))"
+        "(with _sz $sz (with $gas (+ 18 (/ _sz 10)) (safe_call $gas 4 0 $from _sz $to _sz)))"
     },
     {
         "(waste $n)",