<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 24, 2015 at 11:29 AM, Andy Kaylor <span dir="ltr"><<a href="mailto:andrew.kaylor@intel.com" target="_blank">andrew.kaylor@intel.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">REPOSITORY<br>
  rL LLVM<br>
<br>
================<br>
Comment at: cmake/modules/HandleLLVMOptions.cmake:286<br>
@@ +285,3 @@<br>
+    -wd4706 # Suppress 'assignment within conditional expression'<br>
+    -wd4310 # Suppress 'cast truncates constant value'<br>
+    -wd4701 # Suppress 'potentially uninitialized local variable'<br>
----------------<br>
</span><span class="">dblaikie wrote:<br>
> You mentioned this one fired ~200 times - this might actually be worth doing a small sample check to see what it's firing on. Perhaps these are things we should fix - unless they appear in dependent expressions in templates, in which case they're probably false positives.<br>
><br>
> The rest of these disables I'm totally fine with - if you want, please commit them separately/ahead of the rest of the review.<br>
</span>These look pretty harmless.  All of the ones I looked at were something like these:<br>
<br>
```<br>
uint8_t(~0U)<br>
(char)0xFF<br>
(uint16_t)-1U<br></blockquote><div><br>Yeah, those all look like they do exactly what the user intended... I wonder if MSVC expects those to be written some other way? *shrug*<br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
```<br>
<span class=""><br>
================<br>
Comment at: lib/Support/APFloat.cpp:1433<br>
@@ -1432,3 +1432,3 @@<br>
      an addition or subtraction.  */<br>
-  subtract ^= sign ^ rhs.sign;<br>
+  subtract ^= (sign ^ rhs.sign) != 0;<br>
<br>
----------------<br>
</span><span class="">dblaikie wrote:<br>
> andrew.w.kaylor wrote:<br>
> > This addresses warning C4805: unsafe mix of type <X> and type <Y> in operation.<br>
> This one's been fixed (slightly differently) by Aaron Ballman. We had some more discussions about the same issues/principles in that review thread too - I think he's OK with the idea of disabling this warning.<br>
</span>OK<br>
<span class=""><br>
================<br>
Comment at: lib/Target/ARM/InstPrinter/ARMInstPrinter.cpp:641<br>
@@ -640,3 +640,3 @@<br>
   unsigned Op = ARM_AM::getAM5Op(MO2.getImm());<br>
-  if (AlwaysPrintImm0 || ImmOffs || Op == ARM_AM::sub) {<br>
+  if (ImmOffs || Op == ARM_AM::sub || AlwaysPrintImm0) {<br>
     O << ", "<br>
----------------<br>
</span><span class="">dblaikie wrote:<br>
> andrew.w.kaylor wrote:<br>
> > This addresses warning C4189: local variable is initialized but not referenced.<br>
> ><br>
> > AlwaysPrintImm0 is a template parameter that can short circuit the condition so that ImmOffs and Op are never referenced.<br>
> This seems like a step backwards, actually - we try to deliberately put the cheap tests first (and a compile time constant is the cheapest test). Granted any compiler worth its salt will kill the dead expressions, but there's no need to ask it to do that work.<br>
><br>
> I'm fairly strongly in favor of disabling this warning rather than making this code change.<br>
</span>If it were just cases like this covered by the warning I would definitely agree that it's preferable to disable the warning.  The problem, as Aaron Ballman mentioned, is that this same warning reports the basic case.<br>
```<br>
void foo() {<br>
  int i = 0;<br>
  // Doesn't use i<br>
}<br>
```<br>
That's exactly the sort of problem that I want to see when compiling with MSVC that motivated me to undertake this change set.<br></blockquote><div><br>If your goal is to avoid breaking the Clang -Werror build, I don't think there's much you can do other than use a Clang build. But honestly enough people don't use it that those of us who do are used to cleaning up what gets through, so I wouldn't worry about it too much if I were you.<br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I hear what you're saying about the change here moving backward, though the way the code is written the compiler still has to know that the calls above the condition have no side effects to eliminate them. </blockquote><div><br>Yep.<br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> How about if instead I rewrite the condition like this?<br>
<br>
```<br>
  if (AlwaysPrintImm0 ||<br>
      ARM_AM::getAM5Offset(MO2.getImm()) ||<br></blockquote><div><br>Except that ImmOffs is used within the if block too... <br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
      ARM_AM::getAM5Op(MO2.getImm()) == ARM_AM::sub) {<br>
```<br>
<span class=""><br>
================<br>
Comment at: tools/llvm-c-test/metadata.c:21<br>
@@ -21,1 +20,3 @@<br>
+  LLVMValueRef values[1];<br>
+  values[0] = LLVMConstInt(LLVMInt32Type(), 0, 0);<br>
<br>
----------------<br>
</span><span class="">dblaikie wrote:<br>
> andrew.w.kaylor wrote:<br>
> > This addresses warning C4204: nonstandard extension used : non-constant aggregate initializer.<br>
> Clang has a warning for this (-Wc99-extensions) but we don't enable it, so I'd say it's reasonable to disable MSVC's equivalent for consistency. Unless someone wants to look at turning Clang's version on & seeing what breaks...<br>
</span>I have no objection to disabling this warning.<br>
<div class="HOEnZb"><div class="h5"><br>
<a href="http://reviews.llvm.org/D8572" target="_blank">http://reviews.llvm.org/D8572</a><br>
<br>
EMAIL PREFERENCES<br>
  <a href="http://reviews.llvm.org/settings/panel/emailpreferences/" target="_blank">http://reviews.llvm.org/settings/panel/emailpreferences/</a><br>
<br>
<br>
</div></div></blockquote></div><br></div></div>