From b8c135d4a134d76ae0ffb2dab8c9f53dacf5c14b Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Mon, 20 Jul 2015 19:08:52 +0300
Subject: Improve call function handling.

---
 src/analysis/expression.cpp | 55 +++++++++++++++++++++++++++------------------
 src/analysis/expression.h   |  1 +
 2 files changed, 34 insertions(+), 22 deletions(-)

(limited to 'src')

diff --git a/src/analysis/expression.cpp b/src/analysis/expression.cpp
index 2ea26e6..ebc12a1 100644
--- a/src/analysis/expression.cpp
+++ b/src/analysis/expression.cpp
@@ -175,15 +175,7 @@ void analyseModifyExpr(ModifyExprNode *node, const WalkItem &wi, WalkItem &wo)
                 wo.stopWalking = true;
 
                 bool handled(false);
-                if (arg1 == CALL_EXPR && isPointerArg(arg))
-                {
-                    handled = handleSetVarToFunction(var1, arg1, wo);
-                }
-                else if (arg1 == INTEGER_CST && arg1->label == "0")
-                {
-                    addNullVar(wo, var1);
-                    handled = true;
-                }
+                handled = handleSetVarToFunction(var1, arg, arg1, wo);
                 // have var1 only (var1 = UNKNOWN)
                 if (!handled)
                     removeVar(wo, var1);
@@ -753,32 +745,54 @@ void handleSetVarDecl(Node *node,
     }
 }
 
+bool handleSetVarToFunctionBack(const std::string &var,
+                                Node *node2,
+                                WalkItem &wo)
+{
+    if (node2 == INTEGER_CST && node2->label == "0")
+    {
+        addNullVar(wo, var);
+        return true;
+    }
+    return false;
+}
+
 bool handleSetVarToFunction(const std::string &var,
+                            Node *node1,
                             Node *node2,
                             WalkItem &wo)
 {
+    node1 = skipNop(node1);
+    node2 = skipNop(node2);
+    if (!isPointerArg(node1))
+        return handleSetVarToFunctionBack(var, node2, wo);
+
+    if (node2 != CALL_EXPR)
+        return handleSetVarToFunctionBack(var, node2, wo);
+
     CallExprNode *call = static_cast<CallExprNode*>(node2);
-    if (call->function != ADDR_EXPR)
-        return false;
-    AddrExprNode *addr = static_cast<AddrExprNode*>(call->function);
+    if (!call || skipNop(call->function) != ADDR_EXPR)
+        return handleSetVarToFunctionBack(var, node2, wo);
+    AddrExprNode *addr = static_cast<AddrExprNode*>(skipNop(call->function));
     if (!addr ||
         addr->args.empty() ||
-        addr->args[0] != FUNCTION_DECL)
+        skipNop(addr->args[0]) != FUNCTION_DECL)
     {
         return false;
     }
-    FunctionDeclNode *func = static_cast<FunctionDeclNode*>(addr->args[0]);
+    FunctionDeclNode *func = static_cast<FunctionDeclNode*>(skipNop(addr->args[0]));
     removeVar(wo, var);
     if (!func->functionType)
         return false;
 
     Node *returnType;
-    if (func->functionType == FUNCTION_TYPE)
-        returnType = static_cast<FunctionTypeNode*>(func->functionType)->returnType;
-    else if (func->functionType == METHOD_TYPE)
-        returnType = static_cast<MethodTypeNode*>(func->functionType)->returnType;
+    if (skipNop(func->functionType) == FUNCTION_TYPE)
+        returnType = static_cast<FunctionTypeNode*>(skipNop(func->functionType))->returnType;
+    else if (skipNop(func->functionType) == METHOD_TYPE)
+        returnType = static_cast<MethodTypeNode*>(skipNop(func->functionType))->returnType;
     else
         return false;
+    returnType = skipNop(returnType);
     if (returnType != POINTER_TYPE)
         return false;
 
@@ -809,10 +823,7 @@ void handleSetVar(Node *node1,
     if (var2.empty())
     {
         node2 = skipNop(node2);
-        if (node2 == CALL_EXPR && isPointerArg(node1))
-            handleSetVarToFunction(var1, node2, wo);
-        else if (node2 == INTEGER_CST && node2->label == "0")
-            addNullVar(wo, var1);
+        handleSetVarToFunction(var1, node1, node2, wo);
         return;
     }
     else
diff --git a/src/analysis/expression.h b/src/analysis/expression.h
index 8d8bb8c..9c42bd2 100644
--- a/src/analysis/expression.h
+++ b/src/analysis/expression.h
@@ -96,6 +96,7 @@ namespace Analysis
     std::string getComponentRefVariable(Node *node);
 
     bool handleSetVarToFunction(const std::string &var,
+                                Node *node1,
                                 Node *node2,
                                 WalkItem &wo);
 }
-- 
cgit v1.2.3-70-g09d2