From a353d69a6e51f345c6fb7c7269a1bf6e79c658c9 Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Wed, 4 Apr 2018 02:03:09 -0700
Subject: [PATCH] [inferbo] Fix test code

Reviewed By: mbouaziz

Differential Revision: D7483906

fbshipit-source-id: 128ad17
---
 infer/tests/codetoanalyze/c/bufferoverrun/sizeof.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/sizeof.c b/infer/tests/codetoanalyze/c/bufferoverrun/sizeof.c
index e6ffbc65b..bf0ada96f 100644
--- a/infer/tests/codetoanalyze/c/bufferoverrun/sizeof.c
+++ b/infer/tests/codetoanalyze/c/bufferoverrun/sizeof.c
@@ -24,9 +24,9 @@ struct some_struct {
 
 void FN_static_stride_bad() {
   struct some_struct a[10];
-  struct some_struct *x, *y;
-  x = &(a[5]);
-  y = &(a[4]);
+  char *x, *y;
+  x = (char*)&(a[5]);
+  y = (char*)&(a[4]);
   if (sizeof(struct some_struct) == x - y) {
     int a[0];
     a[1]; // report