"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/AbstractValue.h" between
rose-0.11.53.0.tar.gz and rose-0.11.54.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

AbstractValue.h  (rose-0.11.53.0):AbstractValue.h  (rose-0.11.54.0)
skipping to change at line 110 skipping to change at line 110
bool isFunctionPtr() const; bool isFunctionPtr() const;
bool isRef() const; bool isRef() const;
bool isNullPtr() const; bool isNullPtr() const;
// if the type is AV_SET it determines whether the set contains a null pointer (zero) // if the type is AV_SET it determines whether the set contains a null pointer (zero)
bool ptrSetContainsNullPtr() const; bool ptrSetContainsNullPtr() const;
// deprecated // deprecated
size_t getPtrSetSize() const; size_t getPtrSetSize() const;
size_t getAVSetSize() const; size_t getAVSetSize() const;
enum Operator { UnaryMinus, Not, BitwiseComplement, Add, Sub, Mul, Div, Mod, O r, And, Eq, NotEq, Less, LessOrEq, More, MoreOrEq, BitwiseAnd, BitwiseOr, Bitwis eXor, BitwiseShiftLeft, BitwiseShiftRight}; enum Operator { UnaryMinus, Not, BitwiseComplement, Add, Sub, Mul, Div, Mod, O r, And, Eq, NotEq, Less, LessOrEq, More, MoreOrEq, BitwiseAnd, BitwiseOr, Bitwis eXor, BitwiseShiftLeft, BitwiseShiftRight};
static uint32_t arrayAbstractionIndex; //static int32_t arrayAbstractionIndex;
static AbstractValue applyOperator(AbstractValue::Operator op, AbstractValue& v1, AbstractValue& v2); static AbstractValue applyOperator(AbstractValue::Operator op, AbstractValue& v1, AbstractValue& v2);
static AbstractValue operatorAdd(AbstractValue& a,AbstractValue& b, AbstractVa lue elemSize); static AbstractValue operatorAdd(AbstractValue& a,AbstractValue& b, AbstractVa lue elemSize);
static AbstractValue operatorAdd(AbstractValue& a,AbstractValue& b); static AbstractValue operatorAdd(AbstractValue& a,AbstractValue& b);
static AbstractValue operatorSub(AbstractValue& a,AbstractValue& b, AbstractVa lue elemSize); static AbstractValue operatorSub(AbstractValue& a,AbstractValue& b, AbstractVa lue elemSize);
static AbstractValue operatorSub(AbstractValue& a,AbstractValue& b); static AbstractValue operatorSub(AbstractValue& a,AbstractValue& b);
static AbstractValue operatorMul(AbstractValue& a,AbstractValue& b); static AbstractValue operatorMul(AbstractValue& a,AbstractValue& b);
static AbstractValue operatorDiv(AbstractValue& a,AbstractValue& b); static AbstractValue operatorDiv(AbstractValue& a,AbstractValue& b);
static AbstractValue operatorMod(AbstractValue& a,AbstractValue& b); static AbstractValue operatorMod(AbstractValue& a,AbstractValue& b);
skipping to change at line 224 skipping to change at line 224
//void setTypeSize(CodeThorn::TypeSize valueSize); //void setTypeSize(CodeThorn::TypeSize valueSize);
//CodeThorn::TypeSize getElementTypeSize() const; //CodeThorn::TypeSize getElementTypeSize() const;
//void setElementTypeSize(CodeThorn::TypeSize valueSize); //void setElementTypeSize(CodeThorn::TypeSize valueSize);
static void setVariableIdMapping(CodeThorn::VariableIdMappingExtended* varIdMa pping); static void setVariableIdMapping(CodeThorn::VariableIdMappingExtended* varIdMa pping);
static CodeThorn::VariableIdMappingExtended* getVariableIdMapping(); static CodeThorn::VariableIdMappingExtended* getVariableIdMapping();
static bool approximatedBy(AbstractValue val1, AbstractValue val2); static bool approximatedBy(AbstractValue val1, AbstractValue val2);
static AbstractValue combine(AbstractValue val1, AbstractValue val2); static AbstractValue combine(AbstractValue val1, AbstractValue val2);
static bool strictChecking; // if turned off, some error conditions are not ac tive, but the result remains sound. static bool strictChecking; // if turned off, some error conditions are not ac tive, but the result remains sound.
static AbstractValue convertPtrToPtrSet(AbstractValue val); // requires val to be PTR static AbstractValue convertPtrToPtrSet(AbstractValue val); // requires val to be PTR
static AbstractValue conditionallyApplyArrayAbstraction(AbstractValue val);
bool isSummary() const; bool isSummary() const;
// forces abstract value to be handled as a summary // forces abstract value to be handled as a summary
void setSummaryFlag(bool flag); void setSummaryFlag(bool flag);
private: private:
// functions used for (de)allocating additional memory for some abstractions // functions used for (de)allocating additional memory for some abstractions
AbstractValueSet* abstractValueSetCopy() const; AbstractValueSet* abstractValueSetCopy() const;
void copy(const AbstractValue& other); void copy(const AbstractValue& other);
void allocateExtension(ValueType); void allocateExtension(ValueType);
void deallocateExtension(); void deallocateExtension();
void addSetElement(AbstractValue av); // requires this to be AV_SET, adds av t o AV_SET void addSetElement(AbstractValue av); // requires this to be AV_SET, adds av t o AV_SET
 End of changes. 2 change blocks. 
1 lines changed or deleted 2 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)