maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Revert "Revert "[analyzer] Add coverage information to plist output, update tests"" 

This reverts commit a39bcab414dd7ace7e490363ecdf01ecce7743fc.

Reverting the revert, fixing tests.

llvm-svn: 341627
This commit is contained in:
George Karpenkov 2018-09-07 02:02:35 +00:00
parent 4762fb5d11
commit d7acacab94
72 changed files with 14184 additions and 13087 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
clang/include/clang/Basic/PlistSupport.h
View File

@ -25,22 +25,33 @@ namespace markup {
using FIDMap = llvm::DenseMap<FileID, unsigned>;
inline void AddFID(FIDMap &FIDs, SmallVectorImpl<FileID> &V,
const SourceManager &SM, SourceLocation L) {
FileID FID = SM.getFileID(SM.getExpansionLoc(L));
inline unsigned AddFID(FIDMap &FIDs, SmallVectorImpl<FileID> &V,
FileID FID) {
FIDMap::iterator I = FIDs.find(FID);
if (I != FIDs.end())
return;
FIDs[FID] = V.size();
return I->second;
unsigned NewValue = V.size();
FIDs[FID] = NewValue;
V.push_back(FID);
return NewValue;
}
inline unsigned AddFID(FIDMap &FIDs, SmallVectorImpl<FileID> &V,
const SourceManager &SM, SourceLocation L) {
FileID FID = SM.getFileID(SM.getExpansionLoc(L));
return AddFID(FIDs, V, FID);
}
inline unsigned GetFID(const FIDMap &FIDs, FileID FID) {
FIDMap::const_iterator I = FIDs.find(FID);
assert(I != FIDs.end());
return I->second;
}
inline unsigned GetFID(const FIDMap &FIDs, const SourceManager &SM,
SourceLocation L) {
FileID FID = SM.getFileID(SM.getExpansionLoc(L));
FIDMap::const_iterator I = FIDs.find(FID);
assert(I != FIDs.end());
return I->second;
return GetFID(FIDs, FID);
}
inline raw_ostream &Indent(raw_ostream &o, const unsigned indent) {

50
clang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
View File

@ -328,6 +328,39 @@ static void ReportPiece(raw_ostream &o,
}
}
/// Print coverage information to output stream {@code o}.
/// May modify the used list of files {@code Fids} by inserting new ones.
static void printCoverage(const PathDiagnostic *D,
unsigned InputIndentLevel,
SmallVectorImpl<FileID> &Fids,
FIDMap &FM,
llvm::raw_fd_ostream &o) {
unsigned IndentLevel = InputIndentLevel;
Indent(o, IndentLevel) << "<key>ExecutedLines</key>\n";
Indent(o, IndentLevel) << "<dict>\n";
IndentLevel++;
// Mapping from file IDs to executed lines.
const FilesToLineNumsMap &ExecutedLines = D->getExecutedLines();
for (auto I = ExecutedLines.begin(), E = ExecutedLines.end(); I != E; ++I) {
unsigned FileKey = AddFID(FM, Fids, I->first);
Indent(o, IndentLevel) << "<key>" << FileKey << "</key>\n";
Indent(o, IndentLevel) << "<array>\n";
IndentLevel++;
for (unsigned LineNo : I->second) {
Indent(o, IndentLevel);
EmitInteger(o, LineNo) << "\n";
}
IndentLevel--;
Indent(o, IndentLevel) << "</array>\n";
}
IndentLevel--;
Indent(o, IndentLevel) << "</dict>\n";
assert(IndentLevel == InputIndentLevel);
}
void PlistDiagnostics::FlushDiagnosticsImpl(
std::vector<const PathDiagnostic *> &Diags,
FilesMade *filesMade) {
@ -395,14 +428,7 @@ void PlistDiagnostics::FlushDiagnosticsImpl(
o << "<dict>\n" <<
" <key>clang_version</key>\n";
EmitString(o, getClangFullVersion()) << '\n';
o << " <key>files</key>\n"
" <array>\n";
for (FileID FID : Fids)
EmitString(o << " ", SM->getFileEntryForID(FID)->getName()) << '\n';
o << " </array>\n"
" <key>diagnostics</key>\n"
o << " <key>diagnostics</key>\n"
" <array>\n";
for (std::vector<const PathDiagnostic*>::iterator DI=Diags.begin(),
@ -553,12 +579,20 @@ void PlistDiagnostics::FlushDiagnosticsImpl(
}
}
printCoverage(D, /*IndentLevel=*/2, Fids, FM, o);
// Close up the entry.
o << " </dict>\n";
}
o << " </array>\n";
o << " <key>files</key>\n"
" <array>\n";
for (FileID FID : Fids)
EmitString(o << " ", SM->getFileEntryForID(FID)->getName()) << '\n';
o << " </array>\n";
if (llvm::AreStatisticsEnabled() && SerializeStatistics) {
o << " <key>statistics</key>\n";
std::string stats;

32
clang/test/Analysis/Inputs/expected-plists/NewDelete-path-notes.cpp.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -208,6 +214,17 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>6</integer>
<integer>7</integer>
<integer>9</integer>
<integer>11</integer>
<integer>14</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -426,7 +443,22 @@
<key>col</key><integer>2</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>19</integer>
<integer>20</integer>
<integer>24</integer>
<integer>25</integer>
<integer>27</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/NewDelete-path-notes.cpp</string>
</array>
</dict>
</plist>

89
clang/test/Analysis/Inputs/expected-plists/conditional-path-notes.c.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -276,6 +282,15 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>5</integer>
<integer>6</integer>
<integer>10</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -456,6 +471,15 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>14</integer>
<integer>15</integer>
<integer>19</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -602,6 +626,14 @@
<key>col</key><integer>16</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>24</integer>
<integer>25</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -748,6 +780,14 @@
<key>col</key><integer>19</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>32</integer>
<integer>33</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -894,6 +934,15 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>40</integer>
<integer>41</integer>
<integer>44</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1074,6 +1123,15 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>48</integer>
<integer>49</integer>
<integer>53</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1254,6 +1312,15 @@
<key>col</key><integer>24</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>58</integer>
<integer>59</integer>
<integer>62</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1497,6 +1564,15 @@
<key>col</key><integer>24</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>67</integer>
<integer>68</integer>
<integer>73</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1677,7 +1753,20 @@
<key>col</key><integer>24</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>78</integer>
<integer>79</integer>
<integer>82</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/conditional-path-notes.c</string>
</array>
</dict>
</plist>

90
clang/test/Analysis/Inputs/expected-plists/cxx-for-range.cpp.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -509,6 +515,23 @@
<key>col</key><integer>26</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>6</integer>
<integer>7</integer>
<integer>8</integer>
<integer>9</integer>
<integer>10</integer>
<integer>11</integer>
<integer>12</integer>
<integer>13</integer>
<integer>14</integer>
<integer>15</integer>
<integer>16</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -737,6 +760,17 @@
<key>col</key><integer>24</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>31</integer>
<integer>32</integer>
<integer>33</integer>
<integer>87</integer>
<integer>88</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1014,6 +1048,21 @@
<key>col</key><integer>26</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>31</integer>
<integer>32</integer>
<integer>34</integer>
<integer>37</integer>
<integer>38</integer>
<integer>39</integer>
<integer>40</integer>
<integer>41</integer>
<integer>42</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1160,6 +1209,18 @@
<key>col</key><integer>22</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>31</integer>
<integer>32</integer>
<integer>34</integer>
<integer>37</integer>
<integer>38</integer>
<integer>48</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1437,6 +1498,20 @@
<key>col</key><integer>26</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>68</integer>
<integer>69</integer>
<integer>72</integer>
<integer>73</integer>
<integer>74</integer>
<integer>75</integer>
<integer>76</integer>
<integer>77</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1583,7 +1658,22 @@
<key>col</key><integer>22</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>68</integer>
<integer>69</integer>
<integer>72</integer>
<integer>73</integer>
<integer>83</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/cxx-for-range.cpp</string>
</array>
</dict>
</plist>

696
clang/test/Analysis/Inputs/expected-plists/edges-new.mm.plist
View File

File diff suppressed because it is too large Load Diff

492
clang/test/Analysis/Inputs/expected-plists/generics.m.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -145,6 +151,17 @@
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>97</integer>
<integer>98</integer>
<integer>99</integer>
<integer>100</integer>
<integer>101</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -291,6 +308,20 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>97</integer>
<integer>98</integer>
<integer>99</integer>
<integer>100</integer>
<integer>101</integer>
<integer>102</integer>
<integer>103</integer>
<integer>104</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -403,6 +434,22 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>97</integer>
<integer>98</integer>
<integer>99</integer>
<integer>100</integer>
<integer>101</integer>
<integer>102</integer>
<integer>103</integer>
<integer>104</integer>
<integer>106</integer>
<integer>107</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -655,6 +702,17 @@
<key>col</key><integer>28</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>86</integer>
<integer>87</integer>
<integer>88</integer>
<integer>110</integer>
<integer>111</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -801,6 +859,18 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>114</integer>
<integer>115</integer>
<integer>116</integer>
<integer>117</integer>
<integer>118</integer>
<integer>119</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -913,6 +983,19 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>114</integer>
<integer>115</integer>
<integer>116</integer>
<integer>117</integer>
<integer>118</integer>
<integer>119</integer>
<integer>121</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1059,6 +1142,17 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>124</integer>
<integer>125</integer>
<integer>126</integer>
<integer>127</integer>
<integer>128</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1171,6 +1265,18 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>124</integer>
<integer>125</integer>
<integer>126</integer>
<integer>127</integer>
<integer>128</integer>
<integer>130</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1317,6 +1423,16 @@
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>133</integer>
<integer>134</integer>
<integer>135</integer>
<integer>136</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1463,6 +1579,19 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>133</integer>
<integer>134</integer>
<integer>135</integer>
<integer>136</integer>
<integer>137</integer>
<integer>138</integer>
<integer>139</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1575,6 +1704,20 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>133</integer>
<integer>134</integer>
<integer>135</integer>
<integer>136</integer>
<integer>137</integer>
<integer>138</integer>
<integer>139</integer>
<integer>141</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1818,6 +1961,18 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>144</integer>
<integer>145</integer>
<integer>146</integer>
<integer>150</integer>
<integer>151</integer>
<integer>153</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1964,6 +2119,15 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>157</integer>
<integer>158</integer>
<integer>159</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2144,6 +2308,18 @@
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>184</integer>
<integer>185</integer>
<integer>186</integer>
<integer>187</integer>
<integer>188</integer>
<integer>189</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2290,6 +2466,20 @@
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>192</integer>
<integer>193</integer>
<integer>194</integer>
<integer>195</integer>
<integer>196</integer>
<integer>197</integer>
<integer>198</integer>
<integer>199</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2402,6 +2592,21 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>192</integer>
<integer>193</integer>
<integer>194</integer>
<integer>195</integer>
<integer>196</integer>
<integer>197</integer>
<integer>198</integer>
<integer>199</integer>
<integer>201</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2548,6 +2753,20 @@
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>204</integer>
<integer>205</integer>
<integer>206</integer>
<integer>207</integer>
<integer>208</integer>
<integer>209</integer>
<integer>210</integer>
<integer>211</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2660,6 +2879,21 @@
<key>col</key><integer>2</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>204</integer>
<integer>205</integer>
<integer>206</integer>
<integer>207</integer>
<integer>208</integer>
<integer>209</integer>
<integer>210</integer>
<integer>211</integer>
<integer>213</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2806,6 +3040,15 @@
<key>col</key><integer>27</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>216</integer>
<integer>219</integer>
<integer>220</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2952,6 +3195,15 @@
<key>col</key><integer>20</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>223</integer>
<integer>224</integer>
<integer>225</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3098,6 +3350,15 @@
<key>col</key><integer>20</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>228</integer>
<integer>229</integer>
<integer>230</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3244,6 +3505,15 @@
<key>col</key><integer>27</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>233</integer>
<integer>234</integer>
<integer>235</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3453,6 +3723,16 @@
<key>col</key><integer>27</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>238</integer>
<integer>239</integer>
<integer>240</integer>
<integer>241</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3599,6 +3879,15 @@
<key>col</key><integer>27</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>244</integer>
<integer>245</integer>
<integer>246</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3745,6 +4034,15 @@
<key>col</key><integer>20</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>249</integer>
<integer>250</integer>
<integer>251</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3954,6 +4252,16 @@
<key>col</key><integer>20</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>254</integer>
<integer>255</integer>
<integer>256</integer>
<integer>257</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4163,6 +4471,16 @@
<key>col</key><integer>27</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>260</integer>
<integer>261</integer>
<integer>262</integer>
<integer>263</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4309,6 +4627,15 @@
<key>col</key><integer>19</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>274</integer>
<integer>275</integer>
<integer>276</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4455,6 +4782,17 @@
<key>col</key><integer>9</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>274</integer>
<integer>275</integer>
<integer>276</integer>
<integer>277</integer>
<integer>278</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4601,6 +4939,19 @@
<key>col</key><integer>9</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>274</integer>
<integer>275</integer>
<integer>276</integer>
<integer>277</integer>
<integer>278</integer>
<integer>279</integer>
<integer>280</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4747,6 +5098,21 @@
<key>col</key><integer>9</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>274</integer>
<integer>275</integer>
<integer>276</integer>
<integer>277</integer>
<integer>278</integer>
<integer>279</integer>
<integer>280</integer>
<integer>281</integer>
<integer>282</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4990,6 +5356,18 @@
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>286</integer>
<integer>287</integer>
<integer>288</integer>
<integer>289</integer>
<integer>290</integer>
<integer>291</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5199,6 +5577,17 @@
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>298</integer>
<integer>299</integer>
<integer>300</integer>
<integer>301</integer>
<integer>302</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5345,6 +5734,15 @@
<key>col</key><integer>28</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>325</integer>
<integer>326</integer>
<integer>327</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5491,6 +5889,16 @@
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>325</integer>
<integer>326</integer>
<integer>327</integer>
<integer>328</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5637,6 +6045,15 @@
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>331</integer>
<integer>332</integer>
<integer>333</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5817,6 +6234,16 @@
<key>col</key><integer>30</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>344</integer>
<integer>345</integer>
<integer>346</integer>
<integer>347</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5997,6 +6424,16 @@
<key>col</key><integer>30</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>350</integer>
<integer>351</integer>
<integer>352</integer>
<integer>353</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -6143,6 +6580,15 @@
<key>col</key><integer>14</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>356</integer>
<integer>357</integer>
<integer>358</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -6323,6 +6769,16 @@
<key>col</key><integer>19</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>362</integer>
<integer>363</integer>
<integer>364</integer>
<integer>365</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -6469,6 +6925,16 @@
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>372</integer>
<integer>373</integer>
<integer>374</integer>
<integer>375</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -6581,6 +7047,18 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>372</integer>
<integer>373</integer>
<integer>374</integer>
<integer>375</integer>
<integer>379</integer>
<integer>380</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -6698,7 +7176,21 @@
<key>col</key><integer>70</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>388</integer>
<integer>389</integer>
<integer>390</integer>
<integer>391</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/generics.m</string>
</array>
</dict>
</plist>

88
clang/test/Analysis/Inputs/expected-plists/inline-plist.c.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -179,6 +185,18 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>6</integer>
<integer>7</integer>
<integer>11</integer>
<integer>12</integer>
<integer>13</integer>
<integer>18</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -368,6 +386,16 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>22</integer>
<integer>23</integer>
<integer>26</integer>
<integer>27</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -688,6 +716,18 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>32</integer>
<integer>33</integer>
<integer>38</integer>
<integer>39</integer>
<integer>45</integer>
<integer>47</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -908,6 +948,16 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>57</integer>
<integer>58</integer>
<integer>59</integer>
<integer>60</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1320,6 +1370,17 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>65</integer>
<integer>66</integer>
<integer>67</integer>
<integer>68</integer>
<integer>70</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1606,6 +1667,17 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>73</integer>
<integer>74</integer>
<integer>75</integer>
<integer>76</integer>
<integer>78</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1892,7 +1964,23 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>81</integer>
<integer>82</integer>
<integer>83</integer>
<integer>84</integer>
<integer>85</integer>
<integer>86</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/inline-plist.c</string>
</array>
</dict>
</plist>

21
clang/test/Analysis/Inputs/expected-plists/inline-unique-reports.c.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -251,7 +257,22 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>4</integer>
<integer>5</integer>
<integer>13</integer>
<integer>14</integer>
<integer>15</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/inline-unique-reports.c</string>
</array>
</dict>
</plist>

205
clang/test/Analysis/Inputs/expected-plists/lambda-notes.cpp.plist Normal file
View File

@ -0,0 +1,205 @@
<array>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>8</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>8</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>9</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>9</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>9</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>9</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>12</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>The value 0 is assigned to field &apos;&apos;</string>
<key>message</key>
<string>The value 0 is assigned to field &apos;&apos;</string>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>9</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>9</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>12</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Calling &apos;operator()&apos;</string>
<key>message</key>
<string>Calling &apos;operator()&apos;</string>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>9</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Entered call from &apos;diagnosticFromLambda&apos;</string>
<key>message</key>
<string>Entered call from &apos;diagnosticFromLambda&apos;</string>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>9</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>9</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>14</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>14</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>14</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>13</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>15</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Division by zero</string>
<key>message</key>
<string>Division by zero</string>
</dict>
</array>
<key>description</key><string>Division by zero</string>
<key>category</key><string>Logic error</string>
<key>type</key><string>Division by zero</string>
<key>check_name</key><string>core.DivideZero</string>
<!-- This hash is experimental and going to change! -->
<key>issue_hash_content_of_line_in_context</key><string>bd4eed3234018edced5efc2ed5562a74</string>
<key>issue_context_kind</key><string>C++ method</string>
<key>issue_context</key><string>operator()</string>
<key>issue_hash_function_offset</key><string>1</string>
<key>location</key>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>14</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>7</integer>
<integer>8</integer>
<integer>9</integer>
<integer>10</integer>
<integer>12</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/lambda-notes.cpp</string>
</array>
</dict>
</plist>

5262
clang/test/Analysis/Inputs/expected-plists/malloc-plist.c.plist Normal file
View File

File diff suppressed because it is too large Load Diff

66
clang/test/Analysis/Inputs/expected-plists/method-call-path-notes.cpp.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -111,6 +117,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>12</integer>
<integer>13</integer>
<integer>14</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -223,6 +238,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>17</integer>
<integer>18</integer>
<integer>19</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -369,6 +393,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>22</integer>
<integer>23</integer>
<integer>24</integer>
<integer>25</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -515,6 +549,15 @@
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>28</integer>
<integer>29</integer>
<integer>30</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -627,6 +670,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>33</integer>
<integer>34</integer>
<integer>36</integer>
<integer>37</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -773,7 +826,20 @@
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>40</integer>
<integer>41</integer>
<integer>42</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/method-call-path-notes.cpp</string>
</array>
</dict>
</plist>

27
clang/test/Analysis/Inputs/expected-plists/model-file.cpp.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -276,7 +282,28 @@
<key>col</key><integer>15</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>20</integer>
<integer>22</integer>
<integer>24</integer>
<integer>25</integer>
<integer>31</integer>
<integer>35</integer>
</array>
<key>1</key>
<array>
<integer>1</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/model-file.cpp</string>
<string>/clang/test/Analysis/Inputs/Models/notzero.model</string>
</array>
</dict>
</plist>

52
clang/test/Analysis/Inputs/expected-plists/null-deref-path-notes.m.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -242,6 +248,16 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>13</integer>
<integer>14</integer>
<integer>18</integer>
<integer>19</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -470,6 +486,16 @@
<key>col</key><integer>12</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>27</integer>
<integer>28</integer>
<integer>29</integer>
<integer>33</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -747,6 +773,17 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>39</integer>
<integer>40</integer>
<integer>41</integer>
<integer>47</integer>
<integer>50</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -970,7 +1007,22 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>60</integer>
<integer>61</integer>
<integer>66</integer>
<integer>67</integer>
<integer>68</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/null-deref-path-notes.m</string>
</array>
</dict>
</plist>

20
clang/test/Analysis/Inputs/expected-plists/nullability-notes.m.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -179,7 +185,21 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>10</integer>
<integer>14</integer>
<integer>16</integer>
<integer>17</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/nullability-notes.m</string>
</array>
</dict>
</plist>

177
clang/test/Analysis/Inputs/expected-plists/objc-arc.m.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -145,6 +151,15 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>52</integer>
<integer>53</integer>
<integer>54</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -310,6 +325,17 @@
<key>col</key><integer>1</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>92</integer>
<integer>93</integer>
<integer>94</integer>
<integer>95</integer>
<integer>96</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -371,6 +397,13 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>119</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -432,6 +465,13 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>139</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -493,6 +533,13 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>144</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -554,6 +601,13 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>145</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -615,6 +669,13 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>146</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -795,6 +856,21 @@
<key>col</key><integer>33</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>138</integer>
<integer>139</integer>
<integer>140</integer>
<integer>141</integer>
<integer>142</integer>
<integer>143</integer>
<integer>144</integer>
<integer>145</integer>
<integer>146</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -926,6 +1002,22 @@
<key>col</key><integer>1</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>138</integer>
<integer>139</integer>
<integer>140</integer>
<integer>141</integer>
<integer>142</integer>
<integer>143</integer>
<integer>144</integer>
<integer>145</integer>
<integer>146</integer>
<integer>147</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -987,6 +1079,13 @@
<key>col</key><integer>13</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>150</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1048,6 +1147,13 @@
<key>col</key><integer>15</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>151</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1109,6 +1215,13 @@
<key>col</key><integer>13</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>152</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1170,6 +1283,13 @@
<key>col</key><integer>15</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>153</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1316,6 +1436,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>163</integer>
<integer>164</integer>
<integer>165</integer>
<integer>166</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1617,6 +1747,28 @@
<key>col</key><integer>1</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>176</integer>
<integer>178</integer>
<integer>179</integer>
<integer>180</integer>
<integer>181</integer>
<integer>185</integer>
<integer>186</integer>
<integer>187</integer>
<integer>188</integer>
<integer>189</integer>
<integer>193</integer>
<integer>194</integer>
<integer>195</integer>
<integer>196</integer>
<integer>200</integer>
<integer>202</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1789,6 +1941,16 @@
<key>col</key><integer>1</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>213</integer>
<integer>214</integer>
<integer>215</integer>
<integer>216</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1906,7 +2068,22 @@
<key>col</key><integer>22</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>222</integer>
<integer>223</integer>
<integer>226</integer>
<integer>229</integer>
<integer>230</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/objc-arc.m</string>
</array>
</dict>
</plist>

94
clang/test/Analysis/Inputs/expected-plists/plist-macros.cpp.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -145,6 +151,19 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>10</integer>
<integer>11</integer>
<integer>12</integer>
<integer>13</integer>
<integer>14</integer>
<integer>15</integer>
<integer>16</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -242,6 +261,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>19</integer>
<integer>20</integer>
<integer>21</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -490,6 +518,16 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>26</integer>
<integer>27</integer>
<integer>28</integer>
<integer>30</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -801,6 +839,17 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>34</integer>
<integer>35</integer>
<integer>36</integer>
<integer>37</integer>
<integer>39</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1015,6 +1064,16 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>43</integer>
<integer>44</integer>
<integer>45</integer>
<integer>47</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1161,6 +1220,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>54</integer>
<integer>55</integer>
<integer>56</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1438,6 +1506,17 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>66</integer>
<integer>67</integer>
<integer>68</integer>
<integer>69</integer>
<integer>71</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1661,7 +1740,22 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>76</integer>
<integer>77</integer>
<integer>79</integer>
<integer>82</integer>
<integer>83</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/plist-macros.cpp</string>
</array>
</dict>
</plist>

81
clang/test/Analysis/Inputs/expected-plists/plist-output-alternate.m.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -145,6 +151,15 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>4</integer>
<integer>5</integer>
<integer>6</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -325,6 +340,16 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>9</integer>
<integer>10</integer>
<integer>11</integer>
<integer>12</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -568,6 +593,17 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>15</integer>
<integer>16</integer>
<integer>17</integer>
<integer>18</integer>
<integer>19</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -748,6 +784,15 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>22</integer>
<integer>23</integer>
<integer>24</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -991,6 +1036,16 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>28</integer>
<integer>29</integer>
<integer>30</integer>
<integer>31</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1171,6 +1226,16 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>35</integer>
<integer>36</integer>
<integer>37</integer>
<integer>38</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1433,7 +1498,23 @@
<key>col</key><integer>1</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>52</integer>
<integer>53</integer>
<integer>54</integer>
<integer>55</integer>
<integer>57</integer>
<integer>58</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/plist-output-alternate.m</string>
</array>
</dict>
</plist>

246
clang/test/Analysis/Inputs/expected-plists/plist-output.m.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -145,6 +151,15 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>4</integer>
<integer>5</integer>
<integer>6</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -325,6 +340,16 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>9</integer>
<integer>10</integer>
<integer>11</integer>
<integer>12</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -568,6 +593,17 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>15</integer>
<integer>16</integer>
<integer>17</integer>
<integer>18</integer>
<integer>19</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -748,6 +784,15 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>22</integer>
<integer>23</integer>
<integer>24</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -991,6 +1036,16 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>28</integer>
<integer>29</integer>
<integer>30</integer>
<integer>31</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1171,6 +1226,16 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>35</integer>
<integer>36</integer>
<integer>37</integer>
<integer>38</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1511,6 +1576,18 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>41</integer>
<integer>42</integer>
<integer>43</integer>
<integer>46</integer>
<integer>49</integer>
<integer>50</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1783,6 +1860,16 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>54</integer>
<integer>55</integer>
<integer>56</integer>
<integer>58</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2026,6 +2113,16 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>74</integer>
<integer>75</integer>
<integer>76</integer>
<integer>77</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2087,6 +2184,13 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>86</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2281,6 +2385,16 @@
<key>col</key><integer>9</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>84</integer>
<integer>85</integer>
<integer>86</integer>
<integer>88</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2718,6 +2832,18 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>94</integer>
<integer>95</integer>
<integer>96</integer>
<integer>97</integer>
<integer>98</integer>
<integer>100</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2927,6 +3053,16 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>106</integer>
<integer>107</integer>
<integer>108</integer>
<integer>111</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3136,6 +3272,17 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>114</integer>
<integer>115</integer>
<integer>116</integer>
<integer>117</integer>
<integer>121</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3607,6 +3754,19 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>124</integer>
<integer>125</integer>
<integer>126</integer>
<integer>127</integer>
<integer>128</integer>
<integer>129</integer>
<integer>130</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4107,6 +4267,16 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>133</integer>
<integer>134</integer>
<integer>135</integer>
<integer>136</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4675,6 +4845,19 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>139</integer>
<integer>140</integer>
<integer>141</integer>
<integer>142</integer>
<integer>143</integer>
<integer>144</integer>
<integer>145</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5243,6 +5426,20 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>148</integer>
<integer>149</integer>
<integer>150</integer>
<integer>151</integer>
<integer>152</integer>
<integer>153</integer>
<integer>154</integer>
<integer>155</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5292,6 +5489,13 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>163</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5501,6 +5705,16 @@
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>158</integer>
<integer>159</integer>
<integer>160</integer>
<integer>163</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5647,6 +5861,15 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>170</integer>
<integer>171</integer>
<integer>172</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5759,6 +5982,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>181</integer>
<integer>182</integer>
<integer>183</integer>
<integer>184</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -5968,7 +6201,20 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>191</integer>
<integer>192</integer>
<integer>194</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/plist-output.m</string>
</array>
</dict>
</plist>

282
clang/test/Analysis/Inputs/expected-plists/retain-release-path-notes.m.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -111,6 +117,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>46</integer>
<integer>47</integer>
<integer>48</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -223,6 +238,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>51</integer>
<integer>52</integer>
<integer>53</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -560,6 +584,18 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>56</integer>
<integer>57</integer>
<integer>58</integer>
<integer>59</integer>
<integer>60</integer>
<integer>61</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -747,6 +783,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>64</integer>
<integer>65</integer>
<integer>66</integer>
<integer>67</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -934,6 +980,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>70</integer>
<integer>71</integer>
<integer>72</integer>
<integer>73</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1121,6 +1177,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>76</integer>
<integer>77</integer>
<integer>78</integer>
<integer>79</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1308,6 +1374,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>82</integer>
<integer>83</integer>
<integer>84</integer>
<integer>85</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1570,6 +1646,17 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>88</integer>
<integer>89</integer>
<integer>90</integer>
<integer>91</integer>
<integer>92</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1757,6 +1844,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>95</integer>
<integer>96</integer>
<integer>97</integer>
<integer>98</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1869,6 +1966,17 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>101</integer>
<integer>102</integer>
<integer>103</integer>
<integer>104</integer>
<integer>105</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2022,6 +2130,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>108</integer>
<integer>109</integer>
<integer>110</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2175,6 +2292,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>113</integer>
<integer>114</integer>
<integer>115</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2328,6 +2454,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>119</integer>
<integer>120</integer>
<integer>121</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2481,6 +2616,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>124</integer>
<integer>125</integer>
<integer>126</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2634,6 +2778,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>129</integer>
<integer>130</integer>
<integer>131</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2787,6 +2940,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>134</integer>
<integer>135</integer>
<integer>136</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2974,6 +3136,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>139</integer>
<integer>140</integer>
<integer>141</integer>
<integer>142</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3086,6 +3258,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>169</integer>
<integer>170</integer>
<integer>171</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3198,6 +3379,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>174</integer>
<integer>175</integer>
<integer>176</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3310,6 +3500,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>179</integer>
<integer>180</integer>
<integer>181</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3422,6 +3621,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>184</integer>
<integer>185</integer>
<integer>186</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3534,6 +3742,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>189</integer>
<integer>190</integer>
<integer>191</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3883,6 +4100,17 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>206</integer>
<integer>207</integer>
<integer>209</integer>
<integer>224</integer>
<integer>226</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4271,6 +4499,22 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>206</integer>
<integer>207</integer>
<integer>209</integer>
<integer>214</integer>
<integer>215</integer>
<integer>216</integer>
<integer>224</integer>
<integer>226</integer>
<integer>232</integer>
<integer>237</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4533,6 +4777,17 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>246</integer>
<integer>247</integer>
<integer>248</integer>
<integer>249</integer>
<integer>250</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4720,6 +4975,16 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>253</integer>
<integer>254</integer>
<integer>255</integer>
<integer>256</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4982,7 +5247,22 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>259</integer>
<integer>260</integer>
<integer>261</integer>
<integer>262</integer>
<integer>263</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/retain-release-path-notes.m</string>
</array>
</dict>
</plist>
</plist>

5494
clang/test/Analysis/Inputs/expected-plists/unix-fns.c.plist
View File

File diff suppressed because it is too large Load Diff

292
clang/test/Analysis/MismatchedDeallocator-path-notes.cpp
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.MismatchedDeallocator -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.MismatchedDeallocator -analyzer-output=plist %s -o %t.plist
// RUN: FileCheck --input-file=%t.plist %s
// RUN: tail -n +11 %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/copypaste/Inputs/expected-plists/MismatchedDeallocator-path-notes.cpp.plist
void changePointee(int *p);
int *allocIntArray(unsigned c) {
@ -13,293 +13,3 @@ void test() {
delete p; // expected-warning {{Memory allocated by 'new[]' should be deallocated by 'delete[]', not 'delete'}}
// expected-note@-1 {{Memory allocated by 'new[]' should be deallocated by 'delete[]', not 'delete'}}
}
// CHECK: <key>diagnostics</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>path</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>control</string>
// CHECK-NEXT: <key>edges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>start</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>12</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>24</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>12</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>12</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>27</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>0</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Calling &apos;allocIntArray&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Calling &apos;allocIntArray&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>6</integer>
// CHECK-NEXT: <key>col</key><integer>1</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>depth</key><integer>1</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Entered call from &apos;test&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Entered call from &apos;test&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>control</string>
// CHECK-NEXT: <key>edges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>start</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>6</integer>
// CHECK-NEXT: <key>col</key><integer>1</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>6</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>8</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>10</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>10</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>19</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>1</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Memory is allocated</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Memory is allocated</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>12</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>12</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>27</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>0</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Returned allocated memory</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Returned allocated memory</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>control</string>
// CHECK-NEXT: <key>edges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>start</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>12</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>24</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>control</string>
// CHECK-NEXT: <key>edges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>start</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>13</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>13</integer>
// CHECK-NEXT: <key>col</key><integer>8</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>13</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>13</integer>
// CHECK-NEXT: <key>col</key><integer>10</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>13</integer>
// CHECK-NEXT: <key>col</key><integer>10</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>0</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>description</key><string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos;</string>
// CHECK-NEXT: <key>category</key><string>Memory error</string>
// CHECK-NEXT: <key>type</key><string>Bad deallocator</string>
// CHECK-NEXT: <key>check_name</key><string>unix.MismatchedDeallocator</string>
// CHECK-NEXT: <!-- This hash is experimental and going to change! -->
// CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>2009ca1da75217064b6052ba7465dff9</string>
// CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
// CHECK-NEXT: <key>issue_context</key><string>test</string>
// CHECK-NEXT: <key>issue_hash_function_offset</key><string>4</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>13</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>

2
clang/test/Analysis/NewDelete-path-notes.cpp
View File

@ -1,7 +1,7 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=cplusplus.NewDelete,unix.Malloc -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=cplusplus.NewDelete,unix.Malloc -analyzer-output=text -analyzer-config c++-allocator-inlining=true -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=cplusplus.NewDelete,unix.Malloc -analyzer-output=plist %s -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/NewDelete-path-notes.cpp.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/NewDelete-path-notes.cpp.plist
void test() {
int *p = new int;

2
clang/test/Analysis/conditional-path-notes.c
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 %s -analyzer-checker=core.NullDereference -analyzer-output=text -verify
// RUN: %clang_analyze_cc1 %s -analyzer-checker=core.NullDereference -analyzer-output=plist -o %t
// RUN: tail -n +11 %t | diff -u -w - %S/Inputs/expected-plists/conditional-path-notes.c.plist
// RUN: cat %t | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/conditional-path-notes.c.plist
void testCondOp(int *p) {
int *x = p ? p : p;

303
clang/test/Analysis/copypaste/Inputs/expected-plists/MismatchedDeallocator-path-notes.cpp.plist Normal file
View File

@ -0,0 +1,303 @@
<array>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>12</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>24</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>12</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>12</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>27</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Calling &apos;allocIntArray&apos;</string>
<key>message</key>
<string>Calling &apos;allocIntArray&apos;</string>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>6</integer>
<key>col</key><integer>1</integer>
<key>file</key><integer>0</integer>
</dict>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Entered call from &apos;test&apos;</string>
<key>message</key>
<string>Entered call from &apos;test&apos;</string>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>6</integer>
<key>col</key><integer>1</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>6</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>19</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Memory is allocated</string>
<key>message</key>
<string>Memory is allocated</string>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>12</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>12</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>27</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Returned allocated memory</string>
<key>message</key>
<string>Returned allocated memory</string>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>12</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>24</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>10</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>13</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>13</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>13</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>13</integer>
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>13</integer>
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos;</string>
<key>message</key>
<string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos;</string>
</dict>
</array>
<key>description</key><string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos;</string>
<key>category</key><string>Memory error</string>
<key>type</key><string>Bad deallocator</string>
<key>check_name</key><string>unix.MismatchedDeallocator</string>
<!-- This hash is experimental and going to change! -->
<key>issue_hash_content_of_line_in_context</key><string>2009ca1da75217064b6052ba7465dff9</string>
<key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>test</string>
<key>issue_hash_function_offset</key><string>4</string>
<key>location</key>
<dict>
<key>line</key><integer>13</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>6</integer>
<integer>7</integer>
<integer>9</integer>
<integer>10</integer>
<integer>12</integer>
<integer>13</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/MismatchedDeallocator-path-notes.cpp</string>
</array>
</dict>
</plist>

18
clang/test/Analysis/copypaste/Inputs/expected-plists/plist-diagnostics-notes-as-events.cpp.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -74,7 +80,19 @@
<key>col</key><integer>23</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>6</integer>
<integer>13</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/copypaste/plist-diagnostics-notes-as-events.cpp</string>
</array>
</dict>
</plist>

18
clang/test/Analysis/copypaste/Inputs/expected-plists/plist-diagnostics.cpp.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -75,7 +81,19 @@
<key>col</key><integer>23</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>6</integer>
<integer>13</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/copypaste/plist-diagnostics.cpp</string>
</array>
</dict>
</plist>

2
clang/test/Analysis/copypaste/plist-diagnostics-notes-as-events.cpp
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -analyzer-output=plist -analyzer-config notes-as-events=true -o %t.plist -std=c++11 -analyzer-checker=alpha.clone.CloneChecker -analyzer-config alpha.clone.CloneChecker:MinimumCloneComplexity=10 -verify %s
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/plist-diagnostics-notes-as-events.cpp.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/plist-diagnostics-notes-as-events.cpp.plist
void log();

2
clang/test/Analysis/copypaste/plist-diagnostics.cpp
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -analyzer-output=plist -o %t.plist -std=c++11 -analyzer-checker=alpha.clone.CloneChecker -analyzer-config alpha.clone.CloneChecker:MinimumCloneComplexity=10 -verify %s
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/plist-diagnostics.cpp.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/plist-diagnostics.cpp.plist
void log();

3
clang/test/Analysis/cstring-plist.c
View File

@ -18,5 +18,8 @@ void cstringchecker_bounds_nocrash() {
// CHECK: <key>diagnostics</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>files</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </plist>

2
clang/test/Analysis/cxx-for-range.cpp
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core -analyzer-output=plist-multi-file -o %t.plist -verify -analyzer-config eagerly-assume=false %s
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/cxx-for-range.cpp.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/cxx-for-range.cpp.plist
extern void work();

35
clang/test/Analysis/diagnostics/Inputs/expected-plists/deref-track-symbolic-region.c.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -276,6 +282,18 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>12</integer>
<integer>13</integer>
<integer>14</integer>
<integer>16</integer>
<integer>17</integer>
<integer>23</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -616,7 +634,24 @@
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>27</integer>
<integer>28</integer>
<integer>29</integer>
<integer>31</integer>
<integer>32</integer>
<integer>37</integer>
<integer>38</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/diagnostics/deref-track-symbolic-region.c</string>
</array>
</dict>
</plist>

147
clang/test/Analysis/diagnostics/Inputs/expected-plists/plist-diagnostics-include-check.cpp.plist Normal file
View File

@ -0,0 +1,147 @@
<array>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>1</integer>
<key>col</key><integer>15</integer>
<key>file</key><integer>2</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Calling &apos;PlistCheckMacro::run&apos;</string>
<key>message</key>
<string>Calling &apos;PlistCheckMacro::run&apos;</string>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>6</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>1</integer>
</dict>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Entered call from &apos;foo&apos;</string>
<key>message</key>
<string>Entered call from &apos;foo&apos;</string>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>6</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>1</integer>
</dict>
<dict>
<key>line</key><integer>6</integer>
<key>col</key><integer>6</integer>
<key>file</key><integer>1</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>1</integer>
</dict>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>32</integer>
<key>file</key><integer>1</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>1</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>1</integer>
</dict>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>34</integer>
<key>file</key><integer>1</integer>
</dict>
</array>
</array>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>REACHABLE</string>
<key>message</key>
<string>REACHABLE</string>
</dict>
</array>
<key>description</key><string>REACHABLE</string>
<key>category</key><string>debug</string>
<key>type</key><string>Checking analyzer assumptions</string>
<key>check_name</key><string>debug.ExprInspection</string>
<!-- This hash is experimental and going to change! -->
<key>issue_hash_content_of_line_in_context</key><string>93b4eab05b21c892c8e31723e5af3f59</string>
<key>issue_context_kind</key><string>C++ method</string>
<key>issue_context</key><string>run</string>
<key>issue_hash_function_offset</key><string>1</string>
<key>location</key>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>1</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>6</integer>
<integer>7</integer>
</array>
<key>1</key>
<array>
<integer>5</integer>
<integer>6</integer>
<integer>7</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/diagnostics/plist-diagnostics-include-check.cpp</string>
<string>/clang/test/Analysis/diagnostics/Inputs/include/plist-diagnostics-include-check-macro.h</string>
<string>/clang/test/Analysis/diagnostics/Inputs/include/plist-diagnostics-include-check-macro.def</string>
</array>
</dict>
</plist>

212
clang/test/Analysis/diagnostics/Inputs/expected-plists/plist-multi-file.c.plist Normal file
View File

@ -0,0 +1,212 @@
<array>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Passing null pointer value via 1st parameter &apos;ptr&apos;</string>
<key>message</key>
<string>Passing null pointer value via 1st parameter &apos;ptr&apos;</string>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>7</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Calling &apos;foo&apos;</string>
<key>message</key>
<string>Calling &apos;foo&apos;</string>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>1</integer>
<key>col</key><integer>1</integer>
<key>file</key><integer>1</integer>
</dict>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Entered call from &apos;bar&apos;</string>
<key>message</key>
<string>Entered call from &apos;bar&apos;</string>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>1</integer>
<key>col</key><integer>1</integer>
<key>file</key><integer>1</integer>
</dict>
<dict>
<key>line</key><integer>1</integer>
<key>col</key><integer>4</integer>
<key>file</key><integer>1</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>2</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>1</integer>
</dict>
<dict>
<key>line</key><integer>2</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>1</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>2</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>1</integer>
</dict>
<dict>
<key>line</key><integer>2</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>1</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>2</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>1</integer>
</dict>
<dict>
<key>line</key><integer>2</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>1</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>2</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>1</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>2</integer>
<key>col</key><integer>4</integer>
<key>file</key><integer>1</integer>
</dict>
<dict>
<key>line</key><integer>2</integer>
<key>col</key><integer>6</integer>
<key>file</key><integer>1</integer>
</dict>
</array>
</array>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>message</key>
<string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
</dict>
</array>
<key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>category</key><string>Logic error</string>
<key>type</key><string>Dereference of null pointer</string>
<key>check_name</key><string>core.NullDereference</string>
<!-- This hash is experimental and going to change! -->
<key>issue_hash_content_of_line_in_context</key><string>2058c95994cab381890af28e7bf354bf</string>
<key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>foo</string>
<key>issue_hash_function_offset</key><string>1</string>
<key>location</key>
<dict>
<key>line</key><integer>2</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>1</integer>
</dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-288847.html</string>
</array>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>6</integer>
<integer>7</integer>
</array>
<key>1</key>
<array>
<integer>1</integer>
<integer>2</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/diagnostics/plist-multi-file.c</string>
<string>/clang/test/Analysis/diagnostics/plist-multi-file.h</string>
</array>
</dict>
</plist>

1835
clang/test/Analysis/diagnostics/Inputs/expected-plists/report-issues-within-main-file.cpp.plist Normal file
View File

File diff suppressed because it is too large Load Diff

25
clang/test/Analysis/diagnostics/Inputs/expected-plists/undef-value-caller.c.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -111,7 +117,26 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>8</integer>
<integer>9</integer>
<integer>10</integer>
<integer>11</integer>
</array>
<key>1</key>
<array>
<integer>2</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/diagnostics/undef-value-caller.c</string>
<string>/clang/test/Analysis/diagnostics/undef-value-callee.h</string>
</array>
</dict>
</plist>

55
clang/test/Analysis/diagnostics/Inputs/expected-plists/undef-value-param.c.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -464,6 +470,24 @@
<key>col</key><integer>14</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>5</integer>
<integer>6</integer>
<integer>7</integer>
<integer>11</integer>
<integer>12</integer>
<integer>15</integer>
<integer>19</integer>
<integer>20</integer>
<integer>21</integer>
<integer>22</integer>
<integer>25</integer>
<integer>26</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -784,6 +808,19 @@
<key>col</key><integer>14</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>30</integer>
<integer>31</integer>
<integer>33</integer>
<integer>38</integer>
<integer>39</integer>
<integer>40</integer>
<integer>42</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1283,7 +1320,25 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>50</integer>
<integer>51</integer>
<integer>54</integer>
<integer>57</integer>
<integer>58</integer>
<integer>59</integer>
<integer>60</integer>
<integer>62</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/diagnostics/undef-value-param.c</string>
</array>
</dict>
</plist>

43
clang/test/Analysis/diagnostics/Inputs/expected-plists/undef-value-param.m.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -479,6 +485,23 @@
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>34</integer>
<integer>35</integer>
<integer>36</integer>
<integer>39</integer>
<integer>53</integer>
<integer>54</integer>
<integer>55</integer>
<integer>56</integer>
<integer>59</integer>
<integer>60</integer>
<integer>62</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -978,7 +1001,27 @@
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>43</integer>
<integer>44</integer>
<integer>45</integer>
<integer>48</integer>
<integer>65</integer>
<integer>66</integer>
<integer>67</integer>
<integer>68</integer>
<integer>71</integer>
<integer>72</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/diagnostics/undef-value-param.m</string>
</array>
</dict>
</plist>

2
clang/test/Analysis/diagnostics/deref-track-symbolic-region.c
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file %s -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/deref-track-symbolic-region.c.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/deref-track-symbolic-region.c.plist
struct S {
int *x;

132
clang/test/Analysis/diagnostics/plist-diagnostics-include-check.cpp
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection -analyzer-output=plist-multi-file %s -o %t.plist
// RUN: FileCheck --input-file=%t.plist %s
// RUN: tail -n +11 %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/plist-diagnostics-include-check.cpp.plist
#include "Inputs/include/plist-diagnostics-include-check-macro.h"
@ -8,133 +8,3 @@ void foo() {
#define PLIST_DEF_MACRO .run();
#include "Inputs/include/plist-diagnostics-include-check-macro.def"
}
// CHECK: <key>diagnostics</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>path</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>1</integer>
// CHECK-NEXT: <key>col</key><integer>15</integer>
// CHECK-NEXT: <key>file</key><integer>2</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>0</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Calling &apos;PlistCheckMacro::run&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Calling &apos;PlistCheckMacro::run&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>6</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>depth</key><integer>1</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Entered call from &apos;foo&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Entered call from &apos;foo&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>control</string>
// CHECK-NEXT: <key>edges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>start</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>6</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>6</integer>
// CHECK-NEXT: <key>col</key><integer>6</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>32</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>34</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>1</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>REACHABLE</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>REACHABLE</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>description</key><string>REACHABLE</string>
// CHECK-NEXT: <key>category</key><string>debug</string>
// CHECK-NEXT: <key>type</key><string>Checking analyzer assumptions</string>
// CHECK-NEXT: <key>check_name</key><string>debug.ExprInspection</string>
// CHECK-NEXT: <!-- This hash is experimental and going to change! -->
// CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>93b4eab05b21c892c8e31723e5af3f59</string>
// CHECK-NEXT: <key>issue_context_kind</key><string>C++ method</string>
// CHECK-NEXT: <key>issue_context</key><string>run</string>
// CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>

199
clang/test/Analysis/diagnostics/plist-multi-file.c
View File

@ -1,205 +1,8 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-html -o %t.plist -verify %s
// RUN: FileCheck --input-file=%t.plist %s
// RUN: tail -n +11 %t.plist | diff -u -w -I "<string>/" -I "clang version" --ignore-matching-lines=report - %S/Inputs/expected-plists/plist-multi-file.c.plist
#include "plist-multi-file.h"
void bar() {
foo(0);
}
// CHECK: <key>diagnostics</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>path</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>7</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>7</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>7</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>0</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Passing null pointer value via 1st parameter &apos;ptr&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Passing null pointer value via 1st parameter &apos;ptr&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>7</integer>
// CHECK-NEXT: <key>col</key><integer>8</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>0</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Calling &apos;foo&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Calling &apos;foo&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>1</integer>
// CHECK-NEXT: <key>col</key><integer>1</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>depth</key><integer>1</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Entered call from &apos;bar&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Entered call from &apos;bar&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>control</string>
// CHECK-NEXT: <key>edges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>start</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>1</integer>
// CHECK-NEXT: <key>col</key><integer>1</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>1</integer>
// CHECK-NEXT: <key>col</key><integer>4</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>2</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>2</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>control</string>
// CHECK-NEXT: <key>edges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>start</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>2</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>2</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>2</integer>
// CHECK-NEXT: <key>col</key><integer>8</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>2</integer>
// CHECK-NEXT: <key>col</key><integer>8</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>2</integer>
// CHECK-NEXT: <key>col</key><integer>8</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>2</integer>
// CHECK-NEXT: <key>col</key><integer>4</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>2</integer>
// CHECK-NEXT: <key>col</key><integer>6</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>1</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
// CHECK-NEXT: <key>category</key><string>Logic error</string>
// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
// CHECK-NEXT: <key>check_name</key><string>core.NullDereference</string>
// CHECK-NEXT: <!-- This hash is experimental and going to change! -->
// CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>2058c95994cab381890af28e7bf354bf</string>
// CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
// CHECK-NEXT: <key>issue_context</key><string>foo</string>
// CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>2</integer>
// CHECK-NEXT: <key>col</key><integer>8</integer>
// CHECK-NEXT: <key>file</key><integer>1</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>HTMLDiagnostics_files</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <string>report-{{([0-9a-f]{6})}}.html</string>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>

1709
clang/test/Analysis/diagnostics/report-issues-within-main-file.cpp
View File

File diff suppressed because it is too large Load Diff

2
clang/test/Analysis/diagnostics/undef-value-caller.c
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist -o %t %s
// RUN: tail -n +11 %t | diff -u -w - %S/Inputs/expected-plists/undef-value-caller.c.plist
// RUN: cat %t | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/undef-value-caller.c.plist
#include "undef-value-callee.h"

2
clang/test/Analysis/diagnostics/undef-value-param.c
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file %s -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/undef-value-param.c.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/undef-value-param.c.plist
void foo_irrelevant(int c) {
if (c)

2
clang/test/Analysis/diagnostics/undef-value-param.m
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx -analyzer-output=plist-multi-file %s -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/undef-value-param.m.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/undef-value-param.m.plist
typedef signed char BOOL;
@protocol NSObject - (BOOL)isEqual:(id)object; @end

2
clang/test/Analysis/edges-new.mm
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin10 -analyzer-checker=core,deadcode.DeadStores,osx.cocoa.RetainCount,unix.Malloc,unix.MismatchedDeallocator -analyzer-output=plist -o %t -w %s
// RUN: tail -n +11 %t | diff -u -w - %S/Inputs/expected-plists/edges-new.mm.plist
// RUN: cat %t | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/edges-new.mm.plist
//===----------------------------------------------------------------------===//
// Forward declarations (from headers).

2
clang/test/Analysis/generics.m
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.ObjCGenerics,alpha.core.DynamicTypeChecker -verify -Wno-objc-method-access %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.ObjCGenerics,alpha.core.DynamicTypeChecker -verify -Wno-objc-method-access %s -analyzer-output=plist -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/generics.m.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/generics.m.plist
#if !__has_feature(objc_generics)
# error Compiler does not support Objective-C generics?

2
clang/test/Analysis/inline-plist.c
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 %s -analyzer-checker=core.NullDereference,core.DivideZero -fblocks -analyzer-output=text -analyzer-config suppress-null-return-paths=false -verify -analyzer-config eagerly-assume=false %s
// RUN: %clang_analyze_cc1 -analyzer-config eagerly-assume=false %s -analyzer-checker=core.NullDereference,core.DivideZero -fblocks -analyzer-output=plist -analyzer-config suppress-null-return-paths=false -o %t
// RUN: tail -n +11 %t | diff -u -w - %S/Inputs/expected-plists/inline-plist.c.plist
// RUN: cat %t | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/inline-plist.c.plist
// <rdar://problem/10967815>
void mmm(int y) {

2
clang/test/Analysis/inline-unique-reports.c
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 %s -analyzer-checker=core.NullDereference -analyzer-output=plist -o %t > /dev/null 2>&1
// RUN: tail -n +11 %t | diff -u -w - %S/Inputs/expected-plists/inline-unique-reports.c.plist
// RUN: cat %t | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/inline-unique-reports.c.plist
static inline bug(int *p) {
*p = 0xDEADBEEF;

38
clang/test/Analysis/inlining/Inputs/expected-plists/eager-reclamation-path-notes.c.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -251,6 +257,19 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>5</integer>
<integer>6</integer>
<integer>10</integer>
<integer>15</integer>
<integer>18</integer>
<integer>19</integer>
<integer>21</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -609,7 +628,26 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>10</integer>
<integer>15</integer>
<integer>27</integer>
<integer>28</integer>
<integer>32</integer>
<integer>33</integer>
<integer>38</integer>
<integer>39</integer>
<integer>41</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/inlining/eager-reclamation-path-notes.c</string>
</array>
</dict>
</plist>

23
clang/test/Analysis/inlining/Inputs/expected-plists/eager-reclamation-path-notes.cpp.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -348,7 +354,24 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>9</integer>
<integer>10</integer>
<integer>14</integer>
<integer>24</integer>
<integer>30</integer>
<integer>31</integer>
<integer>33</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/inlining/eager-reclamation-path-notes.cpp</string>
</array>
</dict>
</plist>

152
clang/test/Analysis/inlining/Inputs/expected-plists/path-notes.c.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -251,6 +257,17 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>5</integer>
<integer>6</integer>
<integer>10</integer>
<integer>11</integer>
<integer>14</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -431,6 +448,15 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>18</integer>
<integer>19</integer>
<integer>24</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -674,6 +700,16 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>31</integer>
<integer>32</integer>
<integer>34</integer>
<integer>39</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -917,6 +953,16 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>43</integer>
<integer>44</integer>
<integer>46</integer>
<integer>51</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1198,6 +1244,17 @@
<key>col</key><integer>14</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>56</integer>
<integer>57</integer>
<integer>60</integer>
<integer>64</integer>
<integer>65</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1479,6 +1536,17 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>56</integer>
<integer>57</integer>
<integer>60</integer>
<integer>71</integer>
<integer>72</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1891,6 +1959,18 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>56</integer>
<integer>57</integer>
<integer>60</integer>
<integer>78</integer>
<integer>79</integer>
<integer>83</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2303,6 +2383,18 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>56</integer>
<integer>57</integer>
<integer>60</integer>
<integer>87</integer>
<integer>88</integer>
<integer>92</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2758,6 +2850,19 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>56</integer>
<integer>57</integer>
<integer>60</integer>
<integer>96</integer>
<integer>97</integer>
<integer>101</integer>
<integer>103</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3010,6 +3115,17 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>112</integer>
<integer>113</integer>
<integer>116</integer>
<integer>117</integer>
<integer>119</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3156,6 +3272,15 @@
<key>col</key><integer>24</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>130</integer>
<integer>131</integer>
<integer>132</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3336,6 +3461,15 @@
<key>col</key><integer>7</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>136</integer>
<integer>137</integer>
<integer>139</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3622,7 +3756,25 @@
<key>col</key><integer>12</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>143</integer>
<integer>146</integer>
<integer>147</integer>
<integer>148</integer>
<integer>151</integer>
<integer>152</integer>
<integer>153</integer>
<integer>155</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/inlining/path-notes.c</string>
</array>
</dict>
</plist>

236
clang/test/Analysis/inlining/Inputs/expected-plists/path-notes.cpp.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -487,6 +493,23 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>7</integer>
<integer>8</integer>
<integer>12</integer>
<integer>13</integer>
<integer>21</integer>
<integer>23</integer>
<integer>24</integer>
<integer>30</integer>
<integer>31</integer>
<integer>32</integer>
<integer>34</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -710,6 +733,18 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>37</integer>
<integer>38</integer>
<integer>40</integer>
<integer>41</integer>
<integer>44</integer>
<integer>46</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1028,6 +1063,18 @@
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>62</integer>
<integer>63</integer>
<integer>93</integer>
<integer>109</integer>
<integer>110</integer>
<integer>112</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1346,6 +1393,18 @@
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>67</integer>
<integer>68</integer>
<integer>93</integer>
<integer>117</integer>
<integer>118</integer>
<integer>120</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1664,6 +1723,20 @@
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>54</integer>
<integer>55</integer>
<integer>72</integer>
<integer>73</integer>
<integer>102</integer>
<integer>125</integer>
<integer>126</integer>
<integer>128</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1984,6 +2057,21 @@
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>62</integer>
<integer>63</integer>
<integer>77</integer>
<integer>78</integer>
<integer>93</integer>
<integer>132</integer>
<integer>133</integer>
<integer>134</integer>
<integer>136</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2304,6 +2392,24 @@
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>54</integer>
<integer>55</integer>
<integer>62</integer>
<integer>63</integer>
<integer>82</integer>
<integer>83</integer>
<integer>100</integer>
<integer>105</integer>
<integer>141</integer>
<integer>142</integer>
<integer>143</integer>
<integer>145</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2592,6 +2698,21 @@
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>62</integer>
<integer>63</integer>
<integer>87</integer>
<integer>88</integer>
<integer>93</integer>
<integer>149</integer>
<integer>150</integer>
<integer>151</integer>
<integer>153</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -2844,6 +2965,16 @@
<key>col</key><integer>21</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>159</integer>
<integer>160</integer>
<integer>172</integer>
<integer>173</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3193,6 +3324,18 @@
<key>col</key><integer>21</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>164</integer>
<integer>165</integer>
<integer>166</integer>
<integer>168</integer>
<integer>179</integer>
<integer>180</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3305,6 +3448,15 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>187</integer>
<integer>188</integer>
<integer>190</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3671,6 +3823,17 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>196</integer>
<integer>197</integer>
<integer>202</integer>
<integer>203</integer>
<integer>205</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -3880,6 +4043,16 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>209</integer>
<integer>210</integer>
<integer>211</integer>
<integer>212</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4026,6 +4199,15 @@
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>219</integer>
<integer>220</integer>
<integer>221</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4206,6 +4388,15 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>233</integer>
<integer>234</integer>
<integer>237</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4352,6 +4543,15 @@
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>241</integer>
<integer>242</integer>
<integer>243</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4561,6 +4761,16 @@
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>253</integer>
<integer>254</integer>
<integer>259</integer>
<integer>261</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4750,6 +4960,16 @@
<key>col</key><integer>13</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>268</integer>
<integer>269</integer>
<integer>272</integer>
<integer>273</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -4985,7 +5205,23 @@
<key>col</key><integer>26</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>280</integer>
<integer>281</integer>
<integer>289</integer>
<integer>290</integer>
<integer>295</integer>
<integer>296</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/inlining/path-notes.cpp</string>
</array>
</dict>
</plist>

81
clang/test/Analysis/inlining/Inputs/expected-plists/path-notes.m.plist
View File

@ -1,3 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>clang_version</key>
<string>clang version 8.0.0 </string>
<key>diagnostics</key>
<array>
<dict>
@ -343,6 +349,16 @@
<key>col</key><integer>20</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>72</integer>
<integer>73</integer>
<integer>78</integer>
<integer>79</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -653,6 +669,19 @@
<key>col</key><integer>12</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>7</integer>
<integer>87</integer>
<integer>88</integer>
<integer>90</integer>
<integer>94</integer>
<integer>97</integer>
<integer>101</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -902,6 +931,19 @@
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>7</integer>
<integer>105</integer>
<integer>109</integer>
<integer>111</integer>
<integer>114</integer>
<integer>116</integer>
<integer>118</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1479,6 +1521,19 @@
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>134</integer>
<integer>135</integer>
<integer>139</integer>
<integer>143</integer>
<integer>145</integer>
<integer>150</integer>
<integer>152</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1659,6 +1714,15 @@
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>158</integer>
<integer>159</integer>
<integer>161</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
@ -1914,7 +1978,24 @@
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>13</integer>
<integer>166</integer>
<integer>167</integer>
<integer>168</integer>
<integer>170</integer>
<integer>175</integer>
<integer>177</integer>
</array>
</dict>
</dict>
</array>
<key>files</key>
<array>
<string>/clang/test/Analysis/inlining/path-notes.m</string>
</array>
</dict>
</plist>

2
clang/test/Analysis/inlining/eager-reclamation-path-notes.c
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -analyzer-config graph-trim-interval=5 -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config graph-trim-interval=5 %s -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/eager-reclamation-path-notes.c.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/eager-reclamation-path-notes.c.plist
void use(int *ptr, int val) {
*ptr = val; // expected-warning {{Dereference of null pointer (loaded from variable 'ptr')}}

2
clang/test/Analysis/inlining/eager-reclamation-path-notes.cpp
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -analyzer-config graph-trim-interval=5 -analyzer-config suppress-null-return-paths=false -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config graph-trim-interval=5 -analyzer-config suppress-null-return-paths=false %s -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/eager-reclamation-path-notes.cpp.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/eager-reclamation-path-notes.cpp.plist
typedef struct {
int getValue();

2
clang/test/Analysis/inlining/path-notes.c
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -analyzer-config suppress-null-return-paths=false -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config suppress-null-return-paths=false %s -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/path-notes.c.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/path-notes.c.plist
void zero(int **p) {
*p = 0;

2
clang/test/Analysis/inlining/path-notes.cpp
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -analyzer-config c++-inlining=destructors -std=c++11 -verify -Wno-tautological-undefined-compare %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config c++-inlining=destructors -std=c++11 %s -o %t.plist -Wno-tautological-undefined-compare
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/path-notes.cpp.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/path-notes.cpp.plist
class Foo {
public:

2
clang/test/Analysis/inlining/path-notes.m
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.NilArg,osx.cocoa.RetainCount -analyzer-output=text -analyzer-config suppress-null-return-paths=false -fblocks -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.NilArg,osx.cocoa.RetainCount -analyzer-output=plist-multi-file -analyzer-config suppress-null-return-paths=false -fblocks %s -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/path-notes.m.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/path-notes.m.plist
typedef struct dispatch_queue_s *dispatch_queue_t;
typedef void (^dispatch_block_t)(void);

195
clang/test/Analysis/lambda-notes.cpp
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core.DivideZero -analyzer-config inline-lambdas=true -analyzer-output plist -verify %s -o %t
// RUN: FileCheck --input-file=%t %s
// RUN: tail -n +11 %t | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/lambda-notes.cpp.plist
// Diagnostic inside a lambda
@ -11,196 +11,3 @@ void diagnosticFromLambda() {
(void)p;
}();
}
// CHECK: <key>diagnostics</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>path</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>control</string>
// CHECK-NEXT: <key>edges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>start</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>8</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>8</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>9</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>9</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>9</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>9</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>12</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>0</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>The value 0 is assigned to field &apos;&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>The value 0 is assigned to field &apos;&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>9</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>9</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>12</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>0</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Calling &apos;operator()&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Calling &apos;operator()&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>9</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>depth</key><integer>1</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Entered call from &apos;diagnosticFromLambda&apos;</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Entered call from &apos;diagnosticFromLambda&apos;</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>control</string>
// CHECK-NEXT: <key>edges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>start</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>9</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>9</integer>
// CHECK-NEXT: <key>col</key><integer>5</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>14</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>14</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>kind</key><string>event</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>14</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <key>ranges</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>13</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>15</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>depth</key><integer>1</integer>
// CHECK-NEXT: <key>extended_message</key>
// CHECK-NEXT: <string>Division by zero</string>
// CHECK-NEXT: <key>message</key>
// CHECK-NEXT: <string>Division by zero</string>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>description</key><string>Division by zero</string>
// CHECK-NEXT: <key>category</key><string>Logic error</string>
// CHECK-NEXT: <key>type</key><string>Division by zero</string>
// CHECK-NEXT: <key>check_name</key><string>core.DivideZero</string>
// CHECK-NEXT: <!-- This hash is experimental and going to change! -->
// CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>bd4eed3234018edced5efc2ed5562a74</string>
// CHECK-NEXT: <key>issue_context_kind</key><string>C++ method</string>
// CHECK-NEXT: <key>issue_context</key><string>operator()</string>
// CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
// CHECK-NEXT: <key>location</key>
// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>10</integer>
// CHECK-NEXT: <key>col</key><integer>14</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </dict>
// CHECK-NEXT: </array>

5037
clang/test/Analysis/malloc-plist.c
View File

File diff suppressed because it is too large Load Diff

2
clang/test/Analysis/method-call-path-notes.cpp
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file %s -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/method-call-path-notes.cpp.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/method-call-path-notes.cpp.plist
// Test warning about null or uninitialized pointer values used as instance member
// calls.

2
clang/test/Analysis/model-file.cpp
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-config faux-bodies=true,model-path=%S/Inputs/Models -analyzer-output=plist-multi-file -verify %s -o %t
// RUN: tail -n +11 %t | diff -u -w - %S/Inputs/expected-plists/model-file.cpp.plist
// RUN: cat %t | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/model-file.cpp.plist
typedef int* intptr;

2
clang/test/Analysis/null-deref-path-notes.m
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-store=region -analyzer-output=text -fblocks -verify -Wno-objc-root-class %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-store=region -analyzer-output=plist-multi-file -fblocks -Wno-objc-root-class %s -o %t
// RUN: tail -n +11 %t | diff -u -w - %S/Inputs/expected-plists/null-deref-path-notes.m.plist
// RUN: cat %t | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/null-deref-path-notes.m.plist
@interface Root {
@public

2
clang/test/Analysis/nullability-notes.m
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -fblocks -analyzer-checker=core,nullability.NullPassedToNonnull,nullability.NullReturnedFromNonnull,nullability.NullablePassedToNonnull,nullability.NullableReturnedFromNonnull,nullability.NullableDereferenced -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 -fblocks -analyzer-checker=core,nullability.NullPassedToNonnull,nullability.NullReturnedFromNonnull,nullability.NullablePassedToNonnull,nullability.NullableReturnedFromNonnull,nullability.NullableDereferenced -analyzer-output=plist -o %t.plist %s
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/nullability-notes.m.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/nullability-notes.m.plist
#include "Inputs/system-header-simulator-for-nullability.h"

2
clang/test/Analysis/objc-arc.m
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin10 -analyzer-checker=core,osx.cocoa.RetainCount,deadcode -verify -fblocks -analyzer-opt-analyze-nested-blocks -fobjc-arc -analyzer-output=plist-multi-file -o %t.plist %s
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/objc-arc.m.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/objc-arc.m.plist
typedef signed char BOOL;
typedef struct _NSZone NSZone;

2
clang/test/Analysis/plist-macros.cpp
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -analyzer-output=plist-multi-file %s -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/plist-macros.cpp.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/plist-macros.cpp.plist
typedef __typeof(sizeof(int)) size_t;

2
clang/test/Analysis/plist-output-alternate.m
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.RetainCount,alpha.core -fblocks -analyzer-output=plist -o %t %s
// RUN: tail -n +11 %t | diff -u -w - %S/Inputs/expected-plists/plist-output-alternate.m.plist
// RUN: cat %t | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/plist-output-alternate.m.plist
void test_null_init(void) {
int *p = 0;

2
clang/test/Analysis/plist-output.m
View File

@ -1,5 +1,5 @@
// RUN: %clang_analyze_cc1 -analyzer-config eagerly-assume=false %s -analyzer-checker=osx.cocoa.RetainCount,deadcode.DeadStores,core -analyzer-output=plist -o %t.plist
// RUN: tail -n +11 %t.plist | diff -u -w - %S/Inputs/expected-plists/plist-output.m.plist
// RUN: cat %t.plist | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/plist-output.m.plist
void test_null_init(void) {
int *p = 0;

3
clang/test/Analysis/plist-stats-output.c
View File

@ -8,6 +8,9 @@ int foo() {}
// CHECK: <key>diagnostics</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>files</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: </array>
// CHECK-NEXT: <key>statistics</key>
// CHECK-NEXT: <string>{
// CHECK: }

2
clang/test/Analysis/retain-release-path-notes.m
View File

@ -1,6 +1,6 @@
// RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin10 -analyzer-checker=core,osx.coreFoundation.CFRetainRelease,osx.cocoa.ClassRelease,osx.cocoa.RetainCount -analyzer-store=region -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin10 -analyzer-checker=core,osx.coreFoundation.CFRetainRelease,osx.cocoa.ClassRelease,osx.cocoa.RetainCount -analyzer-store=region -analyzer-output=plist-multi-file %s -o %t
// RUN: tail -n +11 %t | diff -u -w - %S/Inputs/expected-plists/retain-release-path-notes.m.plist
// RUN: cat %t | diff -u -w -I "<string>/" -I "clang version" - %S/Inputs/expected-plists/retain-release-path-notes.m.plist
/***
This file is for testing the path-sensitive notes for retain/release errors.

2835
clang/test/Analysis/unix-fns.c
View File

File diff suppressed because it is too large Load Diff