[infer][Java] temporarily catching the Invalid_argument exception rai…

…sed by classname with $$ in the name
facebook · Jun 12, 2015 · 4526ada · 4526ada
1 parent ee3f88a
commit 4526ada
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/infer/src/java/jClasspath.ml b/infer/src/java/jClasspath.ml
@@ -106,6 +106,7 @@ let load_sources_and_classes () =
     with
     | JBasics.Class_structure_error _
     | Parsing.Parse_error
+    | Invalid_argument _
     | Failure "lexing: empty token" -> loop paths roots sources classes
     | End_of_file ->
         close_in file_in;

diff --git a/infer/tests/codetoanalyze/java/infer/SomeLibrary.java b/infer/tests/codetoanalyze/java/infer/SomeLibrary.java
@@ -2,6 +2,8 @@
 
 public class SomeLibrary {
 
+  class $$Z {}
+
   T t;
 
   T get() {