Ignore:
Timestamp:
Dec 28, 2016, 7:21:28 PM (3 years ago)
Author:
nmedfort
Message:

Cleaned up memory leaks + some warning messages.

Location:
icGREP/icgrep-devel/icgrep/pablo
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/pablo/optimizers/booleanreassociationpass.cpp

    r5233 r5240  
    164164 * @brief printGraph
    165165 ** ------------------------------------------------------------------------------------------------------------- */
    166 static void printGraph(const Graph & G, const std::string name) {
     166static void printGraph(const Graph & G, const std::string & name) {
    167167    raw_os_ostream out(std::cerr);
    168168
     
    17491749 ** ------------------------------------------------------------------------------------------------------------- */
    17501750inline BooleanReassociationPass::BooleanReassociationPass(Z3_context ctx, Z3_params params, Z3_tactic tactic, PabloFunction & f)
    1751 : mContext(ctx)
     1751: mBlock(nullptr)
     1752, mContext(ctx)
    17521753, mParams(params)
    17531754, mTactic(tactic)
  • icGREP/icgrep-devel/icgrep/pablo/pabloAST.h

    r5238 r5240  
    3939
    4040    using Allocator = SlabAllocator<PabloAST *>;
    41     using Users = std::vector<PabloAST *, Allocator>;
     41    using UserAllocator = ProxyAllocator<PabloAST *>;
     42    using Users = std::vector<PabloAST *, UserAllocator>;
    4243    using user_iterator = Users::iterator;
    4344    using const_user_iterator = Users::const_iterator;
  • icGREP/icgrep-devel/icgrep/pablo/pablo_kernel.cpp

    r5238 r5240  
    141141PabloKernel::~PabloKernel() {
    142142    delete mPabloCompiler;
    143     delete mSymbolTable;
     143    delete mSymbolTable; 
    144144}
    145145
  • icGREP/icgrep-devel/icgrep/pablo/pablo_kernel.h

    r5233 r5240  
    3535public:
    3636
    37     using Allocator = PabloAST::Allocator;
     37    using Allocator = SlabAllocator<PabloAST *>;
    3838
    3939    PabloKernel(IDISA::IDISA_Builder * builder, const std::string & kernelName);
Note: See TracChangeset for help on using the changeset viewer.