search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.98k stars 2.01k forks source link

ERROR RUNNING BACKEND: fast_composite_scaled_bilinear_sse2_x888_8888_normal_SRC ("InferModules__Die.InferInternalError #865

Open sylvestre opened 6 years ago

sylvestre commented 6 years ago

Running infer on Firefox code generated the following backtrace:


ERROR RUNNING BACKEND: fast_composite_scaled_bilinear_sse2_x888_8888_normal_SRC ("InferModules__Die.InferInternalError
(\"Unexpected call expression null\")")

BACK TRACE
Raised at file "base/Die.ml" (inlined), line 27, characters 6-36
Called from file "base/Logging.ml", line 284, characters 58-80
Called from file "IR/HilInstr.ml", line 113, characters 12-84
Called from file "absint/LowerHil.ml", line 53, characters 6-96
Called from file "absint/AbstractInterpreter.ml", line 70, characters 19-72
Called from file "list.ml", line 96, characters 24-34
Called from file "list.ml" (inlined), line 96, characters 12-36
Called from file "list.ml" (inlined), line 96, characters 12-36
Called from file "src/list0.ml" (inlined), line 24, characters 40-81
Called from file "absint/AbstractInterpreter.ml", line 80, characters 38-94
Called from file "absint/AbstractInterpreter.ml", line 137, characters 14-76
Called from file "absint/AbstractInterpreter.ml" (inlined), line 152, characters 4-59
Called from file "absint/AbstractInterpreter.ml" (inlined), line 163, characters 18-56
Called from file "absint/LowerHil.ml" (inlined), line 99, characters 22-89
Called from file "concurrency/RacerD.ml", line 993, characters 10-50
Called from file "list.ml", line 96, characters 24-34
Called from file "backend/ondemand.ml", line 152, characters 51-92
sblackshear commented 6 years ago

I think I see the problem, but would you mind sharing a repro of the command you're running in Firefox so I can be sure?