File: ReplaceCallExpr.h

package info (click to toggle)
creduce 2.6.0-1
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 4,328 kB
  • ctags: 4,312
  • sloc: cpp: 23,740; ansic: 6,970; sh: 4,827; perl: 2,680; lex: 441; makefile: 426
file content (113 lines) | stat: -rw-r--r-- 3,127 bytes parent folder | download | duplicates (11)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
//===----------------------------------------------------------------------===//
//
// Copyright (c) 2012 The University of Utah
// All rights reserved.
//
// This file is distributed under the University of Illinois Open Source
// License.  See the file COPYING for details.
//
//===----------------------------------------------------------------------===//

#ifndef REPLACE_CALL_EXPR_H
#define REPLACE_CALL_EXPR_H

#include <string>
#include <vector>
#include <utility>
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/DenseMap.h"
#include "Transformation.h"

namespace clang {
  class DeclGroupRef;
  class ASTContext;
  class FunctionDecl;
  class CallExpr;
  class DeclRefExpr;
  class ReturnStmt;
  class Expr;
  class ParmVarDecl;
}

class ReplaceCallExprVisitor;

class ReplaceCallExpr : public Transformation {
friend class ReplaceCallExprVisitor;

public:

  ReplaceCallExpr(const char *TransName, const char *Desc)
    : Transformation(TransName, Desc),
      CollectionVisitor(NULL),
      TheCallExpr(NULL),
      TheReturnStmt(NULL),
      CurrentFD(NULL)
  { }

  ~ReplaceCallExpr(void);

private:
  
  typedef llvm::SmallVector<clang::ReturnStmt *, 5> ReturnStmtsVector;

  typedef llvm::SmallVector<const clang::DeclRefExpr *, 5> ParmRefsVector;

  typedef llvm::SmallVector<unsigned int, 10> ParameterPosVector;

  virtual void Initialize(clang::ASTContext &context);

  virtual void HandleTranslationUnit(clang::ASTContext &Ctx);

  void addOneReturnStmt(clang::ReturnStmt *RS);

  void addOneParmRef(clang::ReturnStmt *RS, const clang::DeclRefExpr *DE);

  void replaceCallExpr(void);

  void getNewParmRefStr(const clang::DeclRefExpr *DE, 
                        std::string &ParmRefStr);

  void replaceParmRefs(std::string &RetStr, const clang::Expr *RetE,
    llvm::DenseMap<const clang::DeclRefExpr *, std::string> &ParmRefToStrMap);

  void insertParmRef(
    std::vector< std::pair<const clang::DeclRefExpr *, int> > &SortedParmRefs,
    const clang::DeclRefExpr *ParmRef, int Off);

  void sortParmRefsByOffs(const char *StartBuf, 
     llvm::DenseMap<const clang::DeclRefExpr *, std::string> &ParmRefToStrMap,
     std::vector<std::pair<const clang::DeclRefExpr *, int> > &SortedParmRefs);

  void doAnalysis(void);

  void getParmPosVector(ParameterPosVector &PosVector,
                        clang::ReturnStmt *RS, clang::CallExpr *CE);

  bool hasBadEffect(const ParameterPosVector &PosVector,
                    clang::ReturnStmt *RS, clang::CallExpr *CE);

  bool hasUnmatchedParmArg(const ParameterPosVector &PosVector, 
                           clang::CallExpr *CE);

  ReplaceCallExprVisitor *CollectionVisitor;

  llvm::DenseMap<clang::FunctionDecl *, ReturnStmtsVector *> FuncToReturnStmts;

  llvm::DenseMap<clang::ReturnStmt *, ParmRefsVector *> ReturnStmtToParmRefs;

  llvm::SmallVector<clang::CallExpr *, 10> AllCallExprs;

  clang::CallExpr *TheCallExpr;

  clang::ReturnStmt *TheReturnStmt;

  clang::FunctionDecl *CurrentFD;

  // Unimplemented
  ReplaceCallExpr(void);

  ReplaceCallExpr(const ReplaceCallExpr &);

  void operator=(const ReplaceCallExpr &);
};
#endif