| 1 | #ifndef LLVM_CLANG_LIB_ANALYSIS_FORMATSTRINGPARSING_H |
| 2 | #define LLVM_CLANG_LIB_ANALYSIS_FORMATSTRINGPARSING_H |
| 3 | |
| 4 | #include "clang/AST/ASTContext.h" |
| 5 | #include "clang/AST/Type.h" |
| 6 | #include "clang/AST/FormatString.h" |
| 7 | |
| 8 | namespace clang { |
| 9 | |
| 10 | class LangOptions; |
| 11 | |
| 12 | template <typename T> |
| 13 | class UpdateOnReturn { |
| 14 | T &ValueToUpdate; |
| 15 | const T &ValueToCopy; |
| 16 | public: |
| 17 | UpdateOnReturn(T &valueToUpdate, const T &valueToCopy) |
| 18 | : ValueToUpdate(valueToUpdate), ValueToCopy(valueToCopy) {} |
| 19 | |
| 20 | ~UpdateOnReturn() { |
| 21 | ValueToUpdate = ValueToCopy; |
| 22 | } |
| 23 | }; |
| 24 | |
| 25 | namespace analyze_format_string { |
| 26 | |
| 27 | OptionalAmount ParseAmount(const char *&Beg, const char *E); |
| 28 | OptionalAmount ParseNonPositionAmount(const char *&Beg, const char *E, |
| 29 | unsigned &argIndex); |
| 30 | |
| 31 | OptionalAmount ParsePositionAmount(FormatStringHandler &H, |
| 32 | const char *Start, const char *&Beg, |
| 33 | const char *E, PositionContext p); |
| 34 | |
| 35 | bool ParseFieldWidth(FormatStringHandler &H, |
| 36 | FormatSpecifier &CS, |
| 37 | const char *Start, const char *&Beg, const char *E, |
| 38 | unsigned *argIndex); |
| 39 | |
| 40 | bool ParseArgPosition(FormatStringHandler &H, |
| 41 | FormatSpecifier &CS, const char *Start, |
| 42 | const char *&Beg, const char *E); |
| 43 | |
| 44 | bool ParseVectorModifier(FormatStringHandler &H, |
| 45 | FormatSpecifier &FS, const char *&Beg, const char *E, |
| 46 | const LangOptions &LO); |
| 47 | |
| 48 | |
| 49 | |
| 50 | bool ParseLengthModifier(FormatSpecifier &FS, const char *&Beg, const char *E, |
| 51 | const LangOptions &LO, bool IsScanf = false); |
| 52 | |
| 53 | |
| 54 | |
| 55 | |
| 56 | bool ParseUTF8InvalidSpecifier(const char *SpecifierBegin, |
| 57 | const char *FmtStrEnd, unsigned &Len); |
| 58 | |
| 59 | template <typename T> class SpecifierResult { |
| 60 | T FS; |
| 61 | const char *Start; |
| 62 | bool Stop; |
| 63 | public: |
| 64 | SpecifierResult(bool stop = false) |
| 65 | : Start(nullptr), Stop(stop) {} |
| 66 | SpecifierResult(const char *start, |
| 67 | const T &fs) |
| 68 | : FS(fs), Start(start), Stop(false) {} |
| 69 | |
| 70 | const char *getStart() const { return Start; } |
| 71 | bool shouldStop() const { return Stop; } |
| 72 | bool hasValue() const { return Start != nullptr; } |
| 73 | const T &getValue() const { |
| 74 | assert(hasValue()); |
| 75 | return FS; |
| 76 | } |
| 77 | const T &getValue() { return FS; } |
| 78 | }; |
| 79 | |
| 80 | } |
| 81 | } |
| 82 | |
| 83 | #endif |
| 84 | |