Skip to content

Uncaught Internal Error when path of project to be analysed contains '++' - Ubuntu #1941

@rasofema

Description

@rasofema

Using Infer version 1.2.0 on Ubuntu 24.04.
Tested on MacOS 15.6.1 and could not replicate the issue, so seems to be OS dependent. Could however replicate it on a docker container running Ubuntu.

When running infer on a project whose path contains '++' the following error is thrown (this is the full output):

Uncaught Internal Error: (Re__Emacs.Parse_error)
Error backtrace:
Raised at Re__Emacs.parse.atom in file "lib/emacs.ml", line 99, characters 27-44
Called from Re__Emacs.parse.piece in file "lib/emacs.ml", line 46, characters 12-19
Called from Re__Emacs.parse.branch' in file "lib/emacs.ml", line 44, characters 18-26
Called from Re__Emacs.parse.regexp in file "lib/emacs.ml", line 38, characters 30-41
Called from Re__Emacs.parse.atom in file "lib/emacs.ml", line 65, characters 16-25
Called from Re__Emacs.parse.piece in file "lib/emacs.ml", line 46, characters 12-19
Called from Re__Emacs.parse.branch' in file "lib/emacs.ml", line 44, characters 18-26
Called from Re__Emacs.parse.regexp in file "lib/emacs.ml" (inlined), line 38, characters 30-41
Called from Re__Emacs.parse in file "lib/emacs.ml" (inlined), line 117, characters 12-21
Called from Re__Str.compile_regexp in file "lib/str.ml" (inlined), line 26, characters 11-35
Called from Re__Str.regexp in file "lib/str.ml" (inlined), line 161, characters 15-37
Called from JavaFrontend__JClasspath.load_from_verbose_output in file "src/java/jClasspath.ml", line 89, characters 4-698

Run the command again with `--keep-going` to try and ignore this error.

This only shows up with two '+' or more.

Here is a minimal example to reproduce the error:

git clone [email protected]:jimenezrick/magic-makefile.git c++/
cd c++
infer run -- make

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions