Lines Matching refs:LLVM_NODISCARD
916 LLVM_NODISCARD static inline EquivalenceClass find(ProgramStateRef State,
920 LLVM_NODISCARD static inline ProgramStateRef merge(RangeSet::Factory &F,
925 LLVM_NODISCARD inline ProgramStateRef
929 LLVM_NODISCARD inline SymbolSet getClassMembers(ProgramStateRef State) const;
942 LLVM_NODISCARD inline bool isTrivial(ProgramStateRef State) const;
945 LLVM_NODISCARD inline bool isTriviallyDead(ProgramStateRef State,
948 LLVM_NODISCARD static inline ProgramStateRef
951 LLVM_NODISCARD static inline ProgramStateRef
954 LLVM_NODISCARD inline ProgramStateRef
957 LLVM_NODISCARD static inline ClassSet
959 LLVM_NODISCARD inline ClassSet
961 LLVM_NODISCARD inline ClassSet
964 LLVM_NODISCARD static inline Optional<bool> areEqual(ProgramStateRef State,
967 LLVM_NODISCARD static inline Optional<bool>
971 LLVM_NODISCARD ProgramStateRef removeMember(ProgramStateRef State,
975 LLVM_NODISCARD static inline ProgramStateRef simplify(SValBuilder &SVB,
986 LLVM_NODISCARD LLVM_ATTRIBUTE_UNUSED static bool
989 LLVM_NODISCARD QualType getType() const { in getType()
1044 LLVM_NODISCARD LLVM_ATTRIBUTE_UNUSED bool
1053 LLVM_NODISCARD inline const RangeSet *getConstraint(ProgramStateRef State, in getConstraint()
1058 LLVM_NODISCARD inline const RangeSet *getConstraint(ProgramStateRef State, in getConstraint()
1063 LLVM_NODISCARD ProgramStateRef setConstraint(ProgramStateRef State, in setConstraint()
1069 LLVM_NODISCARD ProgramStateRef setConstraints(ProgramStateRef State, in setConstraints()
1108 LLVM_NODISCARD inline RangeSet intersect(RangeSet::Factory &F, RangeSet Head,
1131 LLVM_NODISCARD inline EndTy intersect(RangeSet::Factory &F, EndTy End) { in intersect()
1137 LLVM_NODISCARD LLVM_ATTRIBUTE_UNUSED inline Optional<RangeSet>
1147 LLVM_NODISCARD inline RangeSet intersect(RangeSet::Factory &F, RangeSet Head, in intersect()
1155 LLVM_NODISCARD inline RangeSet intersect(RangeSet::Factory &F, RangeSet Head, in intersect()
1186 LLVM_NODISCARD inline
1998 LLVM_NODISCARD static ProgramStateRef
2040 LLVM_NODISCARD ProgramStateRef assign(SymbolRef Sym, RangeSet NewConstraint) { in assign()
2054 LLVM_NODISCARD ProgramStateRef assign(EquivalenceClass Class, in assign()
2101 LLVM_NODISCARD Optional<bool> interpreteAsBool(RangeSet Constraint) { in interpreteAsBool()
2530 LLVM_NODISCARD ProgramStateRef
2559 LLVM_NODISCARD ProgramStateRef reAssume(ProgramStateRef State, in reAssume()
2590 LLVM_NODISCARD ProgramStateRef