<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">Hello, I think this case is very similar (if not the same) to case 2 described in this fogbugz case: <a href="https://bugs.llvm.org/show_bug.cgi?id=43364">https://bugs.llvm.org/show_bug.cgi?id=43364</a>. </div><div dir="ltr"><br></div><div>Artem, could you confirm? Any tips on where to get started looking at this one?</div><div dir="ltr"><br></div><div dir="ltr">clang -cc1 -analyze  -analyzer-checker=core    test.c<br>test.c:13:7: warning: Branch condition evaluates to a garbage value<br>  if (p[1])<br>      ^~~~<br>1 warning generated.<br><br></div><div dir="ltr"><br></div><div dir="ltr">The reproducer … <br>struct S {<br>  unsigned short val;<br>};</div><div dir="ltr">int main(void)<br>{<br>  struct S var = { 0x1122 };<br>  char *p = (char *)&var;<br>  int x = 0;<br>  if (p[0])<br>    x+=1;<br>  if (p[1])<br>    x+=1;<br>  return x;<br>}<br><br></div><div dir="ltr"><br></div><div dir="ltr"> <br></div></div></div></div></div>