From b77e24fa01a99bfa9f749825186472c9bffb9b6d Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 13 Nov 2015 08:35:56 -0800
Subject: [PATCH] Model File.listFiles using undefined instead of allocation

Summary: Express model of java.io.File.listFiles using InferUndefined.object_undefined
instead of new File[...].

public

Reviewed By: jeremydubreil, sblackshear

Differential Revision: D2649406

fb-gh-sync-id: 93c5bb5
---
 infer/models/java/src/java/io/File.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/models/java/src/java/io/File.java b/infer/models/java/src/java/io/File.java
index 1812775e4..01b6b598f 100644
--- a/infer/models/java/src/java/io/File.java
+++ b/infer/models/java/src/java/io/File.java
@@ -18,7 +18,7 @@ public class File {
         if (InferUndefined.boolean_undefined()) {
             return null;
         } else {
-            return new File[InferUndefined.int_undefined()];
+            return (File[])InferUndefined.object_undefined();
         }
     }