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 | |