Bug fixes
authorbdemsky <bdemsky@uci.edu>
Sat, 26 Aug 2017 02:33:11 +0000 (19:33 -0700)
committerbdemsky <bdemsky@uci.edu>
Sat, 26 Aug 2017 02:33:11 +0000 (19:33 -0700)
src/AST/function.h
src/Encoders/functionencoding.cc

index afa713f0e800cd9c3838336b4c1b970643b50c42..9b6f2547ec1a3c7cd02436227ed1bafbc215522d 100644 (file)
@@ -12,6 +12,7 @@ class Function {
   Function(FunctionType _type) : type(_type) {}
        FunctionType type;
        MEMALLOC;
+       virtual ~Function() {}
 };
 
 class FunctionOperator : public Function {
index 7086f5f75e7e30676bc28daefd509c58e6468314..a0475c6985593a25f146dcf9926d12d6d19e8135 100644 (file)
@@ -1,13 +1,15 @@
 #include "functionencoding.h"
 
 FunctionEncoding::FunctionEncoding(Element *function) :
-       type(FUNC_UNASSIGNED)
+       type(FUNC_UNASSIGNED),
+       isFunction(true)
 {
        op.function = function;
 }
 
 FunctionEncoding::FunctionEncoding(Boolean *predicate) :
-       type(FUNC_UNASSIGNED)
+       type(FUNC_UNASSIGNED),
+       isFunction(false)
 {
        op.predicate = predicate;
 }