"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "src/Rose/BinaryAnalysis/ModelChecker/NullDerefTag.h" between
rose-0.11.35.0.tar.gz and rose-0.11.36.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.

NullDerefTag.h  (rose-0.11.35.0):NullDerefTag.h  (rose-0.11.36.0)
#ifndef ROSE_BinaryAnalysis_ModelChecker_NullDerefTag_H #ifndef ROSE_BinaryAnalysis_ModelChecker_NullDerefTag_H
#define ROSE_BinaryAnalysis_ModelChecker_NullDerefTag_H #define ROSE_BinaryAnalysis_ModelChecker_NullDerefTag_H
#include <featureTests.h> #include <featureTests.h>
#ifdef ROSE_ENABLE_BINARY_ANALYSIS #ifdef ROSE_ENABLE_BINARY_ANALYSIS
#include <Rose/BinaryAnalysis/ModelChecker/Tag.h> #include <Rose/BinaryAnalysis/ModelChecker/Tag.h>
#include <Rose/BinaryAnalysis/InstructionSemantics2/BaseSemanticsTypes.h> #include <Rose/BinaryAnalysis/InstructionSemantics2/BaseSemantics/Types.h>
namespace Rose { namespace Rose {
namespace BinaryAnalysis { namespace BinaryAnalysis {
namespace ModelChecker { namespace ModelChecker {
/** Tag that describes a null pointer dereference. */ /** Tag that describes a null pointer dereference. */
class NullDerefTag: public Tag { class NullDerefTag: public Tag {
public: public:
using Ptr = NullDerefTagPtr; using Ptr = NullDerefTagPtr;
skipping to change at line 40 skipping to change at line 40
/** Allocating constructor. /** Allocating constructor.
* *
* Thread safety: This constructor is thread safe. */ * Thread safety: This constructor is thread safe. */
static Ptr instance(size_t nodeStep, TestMode, IoMode, SgAsmInstruction*, static Ptr instance(size_t nodeStep, TestMode, IoMode, SgAsmInstruction*,
const InstructionSemantics2::BaseSemantics::SValuePtr &a ddr); const InstructionSemantics2::BaseSemantics::SValuePtr &a ddr);
public: public:
virtual std::string printableName() const override; virtual std::string printableName() const override;
virtual void print(std::ostream&, const std::string &prefix) const override; virtual void print(std::ostream&, const std::string &prefix) const override;
virtual void toYaml(std::ostream&, const std::string &prefix) const override ;
}; };
} // namespace } // namespace
} // namespace } // namespace
} // namespace } // namespace
#endif #endif
#endif #endif
 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)