forked from OSchip/llvm-project
[ptr-traits] Move a class definition up to the top of this header so it
can be referenced as part of a PointerIntPair. This is part of a series of patches to allow LLVM to check for complete pointee types when computing its pointer traits. This is absolutely necessary to get correct (or reproducible) results for things like how many low bits are guaranteed to be zero. llvm-svn: 256613
This commit is contained in:
parent
21c9060e61
commit
b9518f8f86
|
@ -33,8 +33,31 @@ namespace clang {
|
|||
class AnalysisDeclContext;
|
||||
class FunctionDecl;
|
||||
class LocationContext;
|
||||
class ProgramPointTag;
|
||||
|
||||
/// ProgramPoints can be "tagged" as representing points specific to a given
|
||||
/// analysis entity. Tags are abstract annotations, with an associated
|
||||
/// description and potentially other information.
|
||||
class ProgramPointTag {
|
||||
public:
|
||||
ProgramPointTag(void *tagKind = nullptr) : TagKind(tagKind) {}
|
||||
virtual ~ProgramPointTag();
|
||||
virtual StringRef getTagDescription() const = 0;
|
||||
|
||||
protected:
|
||||
/// Used to implement 'isKind' in subclasses.
|
||||
const void *getTagKind() { return TagKind; }
|
||||
|
||||
private:
|
||||
const void *TagKind;
|
||||
};
|
||||
|
||||
class SimpleProgramPointTag : public ProgramPointTag {
|
||||
std::string Desc;
|
||||
public:
|
||||
SimpleProgramPointTag(StringRef MsgProvider, StringRef Msg);
|
||||
StringRef getTagDescription() const override;
|
||||
};
|
||||
|
||||
class ProgramPoint {
|
||||
public:
|
||||
enum Kind { BlockEdgeKind,
|
||||
|
@ -643,30 +666,6 @@ private:
|
|||
}
|
||||
};
|
||||
|
||||
/// ProgramPoints can be "tagged" as representing points specific to a given
|
||||
/// analysis entity. Tags are abstract annotations, with an associated
|
||||
/// description and potentially other information.
|
||||
class ProgramPointTag {
|
||||
public:
|
||||
ProgramPointTag(void *tagKind = nullptr) : TagKind(tagKind) {}
|
||||
virtual ~ProgramPointTag();
|
||||
virtual StringRef getTagDescription() const = 0;
|
||||
|
||||
protected:
|
||||
/// Used to implement 'isKind' in subclasses.
|
||||
const void *getTagKind() { return TagKind; }
|
||||
|
||||
private:
|
||||
const void *TagKind;
|
||||
};
|
||||
|
||||
class SimpleProgramPointTag : public ProgramPointTag {
|
||||
std::string Desc;
|
||||
public:
|
||||
SimpleProgramPointTag(StringRef MsgProvider, StringRef Msg);
|
||||
StringRef getTagDescription() const override;
|
||||
};
|
||||
|
||||
} // end namespace clang
|
||||
|
||||
|
||||
|
|
Loading…
Reference in New Issue