<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p><span style="color: rgb(33, 33, 33); font-size: 12pt; font-family: monospace;">> Or, if you're checking every section, you could use a </span><span style="font-size: 12pt; font-family: Consolas, "Deja Vu Sans Mono", "Bitstream Vera Sans Mono", monospace;">--implicit-check-not=Symbol
or similar.</span><br>
</p>
<div style="color: rgb(33, 33, 33);">
<div>
<div><br>
</div>
<div>'<span style="font-family: Consolas, "Deja Vu Sans Mono", "Bitstream Vera Sans Mono", monospace; font-size: 16px; background-color: rgb(255, 255, 255);">implicit-check-not</span>' should be used with caution, btw. It can cause matches against the file
path in some situations.</div>
<div>See: <a href="https://reviews.llvm.org/rL361621">https://reviews.llvm.org/rL361621</a>, <a href="https://reviews.llvm.org/rL361563">https://reviews.llvm.org/rL361563</a><br>
</div>
<div><br>
</div>
<div>George.<br>
</div>
<div><br>
</div>
</div>
</div>
</body>
</html>