annotate llvm/lib/Support/SpecialCaseList.cpp @ 181:df311c476dd5

CreateIdentifierInfo in ParseCbC (not yet worked)
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 31 May 2020 12:30:11 +0900
parents 1d019706d866
children 2e18cbf3894f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===-- SpecialCaseList.cpp - special case list for sanitizers ------------===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8 //
anatofuz
parents:
diff changeset
9 // This is a utility class for instrumentation passes (like AddressSanitizer
anatofuz
parents:
diff changeset
10 // or ThreadSanitizer) to avoid instrumenting some functions or global
anatofuz
parents:
diff changeset
11 // variables, or to instrument some functions or global variables in a specific
anatofuz
parents:
diff changeset
12 // way, based on a user-supplied list.
anatofuz
parents:
diff changeset
13 //
anatofuz
parents:
diff changeset
14 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 #include "llvm/Support/SpecialCaseList.h"
anatofuz
parents:
diff changeset
17 #include "llvm/ADT/SmallVector.h"
anatofuz
parents:
diff changeset
18 #include "llvm/ADT/StringExtras.h"
anatofuz
parents:
diff changeset
19 #include "llvm/Support/MemoryBuffer.h"
anatofuz
parents:
diff changeset
20 #include "llvm/Support/Regex.h"
anatofuz
parents:
diff changeset
21 #include "llvm/Support/VirtualFileSystem.h"
anatofuz
parents:
diff changeset
22 #include <string>
anatofuz
parents:
diff changeset
23 #include <system_error>
anatofuz
parents:
diff changeset
24 #include <utility>
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 #include <stdio.h>
anatofuz
parents:
diff changeset
27 namespace llvm {
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 bool SpecialCaseList::Matcher::insert(std::string Regexp,
anatofuz
parents:
diff changeset
30 unsigned LineNumber,
anatofuz
parents:
diff changeset
31 std::string &REError) {
anatofuz
parents:
diff changeset
32 if (Regexp.empty()) {
anatofuz
parents:
diff changeset
33 REError = "Supplied regexp was blank";
anatofuz
parents:
diff changeset
34 return false;
anatofuz
parents:
diff changeset
35 }
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 if (Regex::isLiteralERE(Regexp)) {
anatofuz
parents:
diff changeset
38 Strings[Regexp] = LineNumber;
anatofuz
parents:
diff changeset
39 return true;
anatofuz
parents:
diff changeset
40 }
anatofuz
parents:
diff changeset
41 Trigrams.insert(Regexp);
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 // Replace * with .*
anatofuz
parents:
diff changeset
44 for (size_t pos = 0; (pos = Regexp.find('*', pos)) != std::string::npos;
anatofuz
parents:
diff changeset
45 pos += strlen(".*")) {
anatofuz
parents:
diff changeset
46 Regexp.replace(pos, strlen("*"), ".*");
anatofuz
parents:
diff changeset
47 }
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 Regexp = (Twine("^(") + StringRef(Regexp) + ")$").str();
anatofuz
parents:
diff changeset
50
anatofuz
parents:
diff changeset
51 // Check that the regexp is valid.
anatofuz
parents:
diff changeset
52 Regex CheckRE(Regexp);
anatofuz
parents:
diff changeset
53 if (!CheckRE.isValid(REError))
anatofuz
parents:
diff changeset
54 return false;
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 RegExes.emplace_back(
anatofuz
parents:
diff changeset
57 std::make_pair(std::make_unique<Regex>(std::move(CheckRE)), LineNumber));
anatofuz
parents:
diff changeset
58 return true;
anatofuz
parents:
diff changeset
59 }
anatofuz
parents:
diff changeset
60
anatofuz
parents:
diff changeset
61 unsigned SpecialCaseList::Matcher::match(StringRef Query) const {
anatofuz
parents:
diff changeset
62 auto It = Strings.find(Query);
anatofuz
parents:
diff changeset
63 if (It != Strings.end())
anatofuz
parents:
diff changeset
64 return It->second;
anatofuz
parents:
diff changeset
65 if (Trigrams.isDefinitelyOut(Query))
anatofuz
parents:
diff changeset
66 return false;
anatofuz
parents:
diff changeset
67 for (auto& RegExKV : RegExes)
anatofuz
parents:
diff changeset
68 if (RegExKV.first->match(Query))
anatofuz
parents:
diff changeset
69 return RegExKV.second;
anatofuz
parents:
diff changeset
70 return 0;
anatofuz
parents:
diff changeset
71 }
anatofuz
parents:
diff changeset
72
anatofuz
parents:
diff changeset
73 std::unique_ptr<SpecialCaseList>
anatofuz
parents:
diff changeset
74 SpecialCaseList::create(const std::vector<std::string> &Paths,
anatofuz
parents:
diff changeset
75 llvm::vfs::FileSystem &FS, std::string &Error) {
anatofuz
parents:
diff changeset
76 std::unique_ptr<SpecialCaseList> SCL(new SpecialCaseList());
anatofuz
parents:
diff changeset
77 if (SCL->createInternal(Paths, FS, Error))
anatofuz
parents:
diff changeset
78 return SCL;
anatofuz
parents:
diff changeset
79 return nullptr;
anatofuz
parents:
diff changeset
80 }
anatofuz
parents:
diff changeset
81
anatofuz
parents:
diff changeset
82 std::unique_ptr<SpecialCaseList> SpecialCaseList::create(const MemoryBuffer *MB,
anatofuz
parents:
diff changeset
83 std::string &Error) {
anatofuz
parents:
diff changeset
84 std::unique_ptr<SpecialCaseList> SCL(new SpecialCaseList());
anatofuz
parents:
diff changeset
85 if (SCL->createInternal(MB, Error))
anatofuz
parents:
diff changeset
86 return SCL;
anatofuz
parents:
diff changeset
87 return nullptr;
anatofuz
parents:
diff changeset
88 }
anatofuz
parents:
diff changeset
89
anatofuz
parents:
diff changeset
90 std::unique_ptr<SpecialCaseList>
anatofuz
parents:
diff changeset
91 SpecialCaseList::createOrDie(const std::vector<std::string> &Paths,
anatofuz
parents:
diff changeset
92 llvm::vfs::FileSystem &FS) {
anatofuz
parents:
diff changeset
93 std::string Error;
anatofuz
parents:
diff changeset
94 if (auto SCL = create(Paths, FS, Error))
anatofuz
parents:
diff changeset
95 return SCL;
anatofuz
parents:
diff changeset
96 report_fatal_error(Error);
anatofuz
parents:
diff changeset
97 }
anatofuz
parents:
diff changeset
98
anatofuz
parents:
diff changeset
99 bool SpecialCaseList::createInternal(const std::vector<std::string> &Paths,
anatofuz
parents:
diff changeset
100 vfs::FileSystem &VFS, std::string &Error) {
anatofuz
parents:
diff changeset
101 StringMap<size_t> Sections;
anatofuz
parents:
diff changeset
102 for (const auto &Path : Paths) {
anatofuz
parents:
diff changeset
103 ErrorOr<std::unique_ptr<MemoryBuffer>> FileOrErr =
anatofuz
parents:
diff changeset
104 VFS.getBufferForFile(Path);
anatofuz
parents:
diff changeset
105 if (std::error_code EC = FileOrErr.getError()) {
anatofuz
parents:
diff changeset
106 Error = (Twine("can't open file '") + Path + "': " + EC.message()).str();
anatofuz
parents:
diff changeset
107 return false;
anatofuz
parents:
diff changeset
108 }
anatofuz
parents:
diff changeset
109 std::string ParseError;
anatofuz
parents:
diff changeset
110 if (!parse(FileOrErr.get().get(), Sections, ParseError)) {
anatofuz
parents:
diff changeset
111 Error = (Twine("error parsing file '") + Path + "': " + ParseError).str();
anatofuz
parents:
diff changeset
112 return false;
anatofuz
parents:
diff changeset
113 }
anatofuz
parents:
diff changeset
114 }
anatofuz
parents:
diff changeset
115 return true;
anatofuz
parents:
diff changeset
116 }
anatofuz
parents:
diff changeset
117
anatofuz
parents:
diff changeset
118 bool SpecialCaseList::createInternal(const MemoryBuffer *MB,
anatofuz
parents:
diff changeset
119 std::string &Error) {
anatofuz
parents:
diff changeset
120 StringMap<size_t> Sections;
anatofuz
parents:
diff changeset
121 if (!parse(MB, Sections, Error))
anatofuz
parents:
diff changeset
122 return false;
anatofuz
parents:
diff changeset
123 return true;
anatofuz
parents:
diff changeset
124 }
anatofuz
parents:
diff changeset
125
anatofuz
parents:
diff changeset
126 bool SpecialCaseList::parse(const MemoryBuffer *MB,
anatofuz
parents:
diff changeset
127 StringMap<size_t> &SectionsMap,
anatofuz
parents:
diff changeset
128 std::string &Error) {
anatofuz
parents:
diff changeset
129 // Iterate through each line in the blacklist file.
anatofuz
parents:
diff changeset
130 SmallVector<StringRef, 16> Lines;
anatofuz
parents:
diff changeset
131 MB->getBuffer().split(Lines, '\n');
anatofuz
parents:
diff changeset
132
anatofuz
parents:
diff changeset
133 unsigned LineNo = 1;
anatofuz
parents:
diff changeset
134 StringRef Section = "*";
anatofuz
parents:
diff changeset
135
anatofuz
parents:
diff changeset
136 for (auto I = Lines.begin(), E = Lines.end(); I != E; ++I, ++LineNo) {
anatofuz
parents:
diff changeset
137 *I = I->trim();
anatofuz
parents:
diff changeset
138 // Ignore empty lines and lines starting with "#"
anatofuz
parents:
diff changeset
139 if (I->empty() || I->startswith("#"))
anatofuz
parents:
diff changeset
140 continue;
anatofuz
parents:
diff changeset
141
anatofuz
parents:
diff changeset
142 // Save section names
anatofuz
parents:
diff changeset
143 if (I->startswith("[")) {
anatofuz
parents:
diff changeset
144 if (!I->endswith("]")) {
anatofuz
parents:
diff changeset
145 Error = (Twine("malformed section header on line ") + Twine(LineNo) +
anatofuz
parents:
diff changeset
146 ": " + *I).str();
anatofuz
parents:
diff changeset
147 return false;
anatofuz
parents:
diff changeset
148 }
anatofuz
parents:
diff changeset
149
anatofuz
parents:
diff changeset
150 Section = I->slice(1, I->size() - 1);
anatofuz
parents:
diff changeset
151
anatofuz
parents:
diff changeset
152 std::string REError;
anatofuz
parents:
diff changeset
153 Regex CheckRE(Section);
anatofuz
parents:
diff changeset
154 if (!CheckRE.isValid(REError)) {
anatofuz
parents:
diff changeset
155 Error =
anatofuz
parents:
diff changeset
156 (Twine("malformed regex for section ") + Section + ": '" + REError)
anatofuz
parents:
diff changeset
157 .str();
anatofuz
parents:
diff changeset
158 return false;
anatofuz
parents:
diff changeset
159 }
anatofuz
parents:
diff changeset
160
anatofuz
parents:
diff changeset
161 continue;
anatofuz
parents:
diff changeset
162 }
anatofuz
parents:
diff changeset
163
anatofuz
parents:
diff changeset
164 // Get our prefix and unparsed regexp.
anatofuz
parents:
diff changeset
165 std::pair<StringRef, StringRef> SplitLine = I->split(":");
anatofuz
parents:
diff changeset
166 StringRef Prefix = SplitLine.first;
anatofuz
parents:
diff changeset
167 if (SplitLine.second.empty()) {
anatofuz
parents:
diff changeset
168 // Missing ':' in the line.
anatofuz
parents:
diff changeset
169 Error = (Twine("malformed line ") + Twine(LineNo) + ": '" +
anatofuz
parents:
diff changeset
170 SplitLine.first + "'").str();
anatofuz
parents:
diff changeset
171 return false;
anatofuz
parents:
diff changeset
172 }
anatofuz
parents:
diff changeset
173
anatofuz
parents:
diff changeset
174 std::pair<StringRef, StringRef> SplitRegexp = SplitLine.second.split("=");
anatofuz
parents:
diff changeset
175 std::string Regexp = std::string(SplitRegexp.first);
anatofuz
parents:
diff changeset
176 StringRef Category = SplitRegexp.second;
anatofuz
parents:
diff changeset
177
anatofuz
parents:
diff changeset
178 // Create this section if it has not been seen before.
anatofuz
parents:
diff changeset
179 if (SectionsMap.find(Section) == SectionsMap.end()) {
anatofuz
parents:
diff changeset
180 std::unique_ptr<Matcher> M = std::make_unique<Matcher>();
anatofuz
parents:
diff changeset
181 std::string REError;
anatofuz
parents:
diff changeset
182 if (!M->insert(std::string(Section), LineNo, REError)) {
anatofuz
parents:
diff changeset
183 Error = (Twine("malformed section ") + Section + ": '" + REError).str();
anatofuz
parents:
diff changeset
184 return false;
anatofuz
parents:
diff changeset
185 }
anatofuz
parents:
diff changeset
186
anatofuz
parents:
diff changeset
187 SectionsMap[Section] = Sections.size();
anatofuz
parents:
diff changeset
188 Sections.emplace_back(std::move(M));
anatofuz
parents:
diff changeset
189 }
anatofuz
parents:
diff changeset
190
anatofuz
parents:
diff changeset
191 auto &Entry = Sections[SectionsMap[Section]].Entries[Prefix][Category];
anatofuz
parents:
diff changeset
192 std::string REError;
anatofuz
parents:
diff changeset
193 if (!Entry.insert(std::move(Regexp), LineNo, REError)) {
anatofuz
parents:
diff changeset
194 Error = (Twine("malformed regex in line ") + Twine(LineNo) + ": '" +
anatofuz
parents:
diff changeset
195 SplitLine.second + "': " + REError).str();
anatofuz
parents:
diff changeset
196 return false;
anatofuz
parents:
diff changeset
197 }
anatofuz
parents:
diff changeset
198 }
anatofuz
parents:
diff changeset
199 return true;
anatofuz
parents:
diff changeset
200 }
anatofuz
parents:
diff changeset
201
anatofuz
parents:
diff changeset
202 SpecialCaseList::~SpecialCaseList() {}
anatofuz
parents:
diff changeset
203
anatofuz
parents:
diff changeset
204 bool SpecialCaseList::inSection(StringRef Section, StringRef Prefix,
anatofuz
parents:
diff changeset
205 StringRef Query, StringRef Category) const {
anatofuz
parents:
diff changeset
206 return inSectionBlame(Section, Prefix, Query, Category);
anatofuz
parents:
diff changeset
207 }
anatofuz
parents:
diff changeset
208
anatofuz
parents:
diff changeset
209 unsigned SpecialCaseList::inSectionBlame(StringRef Section, StringRef Prefix,
anatofuz
parents:
diff changeset
210 StringRef Query,
anatofuz
parents:
diff changeset
211 StringRef Category) const {
anatofuz
parents:
diff changeset
212 for (auto &SectionIter : Sections)
anatofuz
parents:
diff changeset
213 if (SectionIter.SectionMatcher->match(Section)) {
anatofuz
parents:
diff changeset
214 unsigned Blame =
anatofuz
parents:
diff changeset
215 inSectionBlame(SectionIter.Entries, Prefix, Query, Category);
anatofuz
parents:
diff changeset
216 if (Blame)
anatofuz
parents:
diff changeset
217 return Blame;
anatofuz
parents:
diff changeset
218 }
anatofuz
parents:
diff changeset
219 return 0;
anatofuz
parents:
diff changeset
220 }
anatofuz
parents:
diff changeset
221
anatofuz
parents:
diff changeset
222 unsigned SpecialCaseList::inSectionBlame(const SectionEntries &Entries,
anatofuz
parents:
diff changeset
223 StringRef Prefix, StringRef Query,
anatofuz
parents:
diff changeset
224 StringRef Category) const {
anatofuz
parents:
diff changeset
225 SectionEntries::const_iterator I = Entries.find(Prefix);
anatofuz
parents:
diff changeset
226 if (I == Entries.end()) return 0;
anatofuz
parents:
diff changeset
227 StringMap<Matcher>::const_iterator II = I->second.find(Category);
anatofuz
parents:
diff changeset
228 if (II == I->second.end()) return 0;
anatofuz
parents:
diff changeset
229
anatofuz
parents:
diff changeset
230 return II->getValue().match(Query);
anatofuz
parents:
diff changeset
231 }
anatofuz
parents:
diff changeset
232
anatofuz
parents:
diff changeset
233 } // namespace llvm