infer run --keep-going -o ./infer --compilation-database-escaped compile_commands.json
[x] The full output in a paste, for instance a gist.
Part I
[31762][ debug] *** Beginning capture of file /Users/yocivic/code/Temp/CodeLib/Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m ***
[31762][ debug] Loading the following linters files: /usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../lib/linter_rules/linters.al
[31762][ debug]
[31762][ intern err] ERROR RUNNING CAPTURE: "Assert_failure src/clang/objcCategory_decl.ml:20:62"
Raised at ClangFrontend__ObjcCategory_decl.get_classname in file "src/clang/objcCategory_decl.ml", line 20, characters 62-74
Called from ClangFrontend__ObjcCategory_decl.get_classname_from_category_decl in file "src/clang/objcCategory_decl.ml", line 23, characters 44-94
Called from ClangFrontend__CFrontend_decl.CFrontend_decl_funct.translate_one_declaration in file "src/clang/cFrontend_decl.ml", line 383, characters 12-133
Called from Stdlib__list.iter in file "list.ml", line 110, characters 12-15
Called from Base__List0.iter in file "src/list0.ml" (inlined), line 25, characters 16-35
Called from ClangFrontend__CFrontend.compute_icfg in file "src/clang/cFrontend.ml", line 27, characters 6-130
Called from ClangFrontend__Capture.run_clang_frontend in file "src/clang/Capture.ml", line 94, characters 25-73
[86363][ debug] Beginning capture of file /Users/yocivic/code/Temp/CodeLib/Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m
[86363][ debug] Loading the following linters files: /usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../lib/linter_rules/linters.al
[86363][ debug] Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m:101:5: ERROR translating statement 'OpaqueValueExpr'
[86363][ debug]
[86363][ intern err] Aborting translation of method 'UPCameraFullLiveViewModel.fetchPlayerDataModel' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
[86363][ debug] Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m:123:5: ERROR translating statement 'OpaqueValueExpr'
[86363][ debug]
[86363][ intern err] Aborting translation of method 'UPCameraFullLiveViewModel.setTalk' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'UPCameraFullLiveViewModel.playerStop' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'UPCameraFullLiveViewModel.playerContinuePlay' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
[86363][ debug] Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m:249:5: ERROR translating statement 'OpaqueValueExpr'
[86363][ debug]
[86363][ intern err] Aborting translation of method 'UPCameraFullLiveViewModel.handleInteractionAction:success:failure:' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'UPCameraFullLiveViewModel.setResolutionSuccess:failure:' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
- [ ] If possible, a minimal example to reproduce your problem (for instance, some code where
infer reports incorrectly, together with the way you run infer to reproduce the incorrect
report).
I have a private pod, and two versions of the pod, `3.0.1` and `3.0.2`.
When I ran `infer run --keep-going -o ./infer --compilation-database-escaped compile_commands.json`, I got a `logs` file in `infer` dir. The `logs` contains large of `ERROR RUNNING CAPTURE` and `the following clang command did not run successfully`,like this:
[31762][ intern err] ERROR RUNNING CAPTURE: "Assert_failure src/clang/objcCategory_decl.ml:20:62"
Raised at ClangFrontendObjcCategory_decl.get_classname in file "src/clang/objcCategory_decl.ml", line 20, characters 62-74
Called from ClangFrontendObjcCategory_decl.get_classname_from_category_decl in file "src/clang/objcCategory_decl.ml", line 23, characters 44-94
Called from ClangFrontendCFrontend_decl.CFrontend_decl_funct.translate_one_declaration in file "src/clang/cFrontend_decl.ml", line 383, characters 12-133
Called from Stdliblist.iter in file "list.ml", line 110, characters 12-15
Called from BaseList0.iter in file "src/list0.ml" (inlined), line 25, characters 16-35
Called from ClangFrontend__CFrontend.compute_icfg in file "src/clang/cFrontend.ml", line 27, characters 6-130
Called from ClangFrontendCapture.run_clang_frontend in file "src/clang/Capture.ml", line 94, characters 25-73
And I facing a other issue. My private pod contains a class called `UPCameraFullLiveViewModel`.Between `3.0.1` and `3.0.2` this class has some change, but function A and function B not changed. When I used `3.0.1` the `infer` not found any null safe issues in this class, the log like above `Part I logs`. When I used `3.0.2` the `infer` found some null safe issues in function A and functionB, the log like above `Part II logs`. That's too odd.
PS:I tried this `xcodebuild -workspace "CodeLib.xcworkspace" -scheme "CodeLib" -sdk iphoneos COMPILER_INDEX_STORE_ENABLE=NO OTHER_CFLAGS="-DNS_FORMAT_ARGUMENT(A)= -D_Nullable_result=_Nullable" clean build | tee xcodebuild.log | xcpretty -r json-compilation-database -o compile_commands.json` too. And got same results.
Please make sure your issue is not addressed in the FAQ.
Please include the following information:
infer --version
. Infer version v1.1.0 Copyright 2009 - present Facebook. All Rights Reserved.infer -- make
.xcodebuild clean build -workspace CodeLib.xcworkspace -scheme CodeLib -sdk iphoneos -configuration Release | xcpretty -r json-compilation-database -o compile_commands.json
infer run --keep-going -o ./infer --compilation-database-escaped compile_commands.json
[31762][ extern err] Error: the following clang command did not run successfully: [31762][ extern err] /usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/bin/clang-11 [31762][ extern err] @/Users/yocivic/code/Temp/CodeLib/infer/tmp/clangcommand.tmp.beb1bc.txt [31762][ extern err] ++Contents of '/Users/yocivic/code/Temp/CodeLib/infer/tmp/clangcommand.tmp.beb1bc.txt': [31762][ extern err] "-cc1" "-load" [31762][ extern err] "/usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../../facebook-clang-plugins/libtooling/build/FacebookClangPlugin.dylib" [31762][ extern err] "-plugin" "BiniouASTExporter" "-plugin-arg-BiniouASTExporter" "-" [31762][ extern err] "-plugin-arg-BiniouASTExporter" "PREPEND_CURRENT_DIR=1" [31762][ extern err] "-plugin-arg-BiniouASTExporter" "MAX_STRING_SIZE=65535" "-cc1" "-triple" [31762][ extern err] "thumbv7-apple-ios10.0.0" "-Wundef-prefix=TARGETOS" [31762][ extern err] "-Werror=undef-prefix" "-fsyntax-only" "-disable-free" [31762][ extern err] "-disable-llvm-verifier" "-discard-value-names" "-main-file-name" [31762][ extern err] "UPCameraFullLiveViewModel.m" "-mrelocation-model" "pic" "-pic-level" "2" [31762][ extern err] "-mframe-pointer=all" "-fno-rounding-math" "-faligned-alloc-unavailable" [31762][ extern err] "-target-sdk-version=15.0" [31762][ extern err] "-fcompatibility-qualified-id-block-type-checking" "-target-cpu" [31762][ extern err] "generic" "-target-feature" "+soft-float-abi" "-target-abi" "apcs-gnu" [31762][ extern err] "-mfloat-abi" "soft" "-fallow-half-arguments-and-returns" [31762][ extern err] "-debug-info-kind=standalone" "-dwarf-version=4" "-debugger-tuning=lldb" [31762][ extern err] "-target-linker-version" "650.9" "-resource-dir" [31762][ extern err] "/usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/lib/clang/11.1.0" [31762][ extern err] "-dependency-file"
[86363][ debug] Beginning capture of file /Users/yocivic/code/Temp/CodeLib/Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m [86363][ debug] Loading the following linters files: /usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../lib/linter_rules/linters.al [86363][ debug] Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m:101:5: ERROR translating statement 'OpaqueValueExpr' [86363][ debug] [86363][ intern err] Aborting translation of method 'UPCameraFullLiveViewModel.fetchPlayerDataModel' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m' Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
[86363][ debug] Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m:123:5: ERROR translating statement 'OpaqueValueExpr' [86363][ debug] [86363][ intern err] Aborting translation of method 'UPCameraFullLiveViewModel.setTalk' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m' Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr Aborting translation of method 'UPCameraFullLiveViewModel.playerStop' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m' Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr Aborting translation of method 'UPCameraFullLiveViewModel.playerContinuePlay' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m' Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
[86363][ debug] Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m:249:5: ERROR translating statement 'OpaqueValueExpr' [86363][ debug] [86363][ intern err] Aborting translation of method 'UPCameraFullLiveViewModel.handleInteractionAction:success:failure:' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m' Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr Aborting translation of method 'UPCameraFullLiveViewModel.setResolutionSuccess:failure:' in file 'Pods/UPDeviceVideo/UPDeviceVideo/Modules/Camera/VM/UPCameraFullLiveViewModel.m' Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
[86363][ debug] Elapsed: 19.688s. [86363][ debug] [86363][ extern err] Error: the following clang command did not run successfully: [86363][ extern err] /usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/bin/clang-11 [86363][ extern err] @/Users/yocivic/code/Temp/CodeLib/infer/tmp/clangcommand.tmp.b39a8a.txt [86363][ extern err] ++Contents of '/Users/yocivic/code/Temp/CodeLib/infer/tmp/clangcommand.tmp.b39a8a.txt': [86363][ extern err] "-cc1" "-load" [86363][ extern err] "/usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../../facebook-clang-plugins/libtooling/build/FacebookClangPlugin.dylib" [86363][ extern err] "-plugin" "BiniouASTExporter" "-plugin-arg-BiniouASTExporter" "-" [86363][ extern err] "-plugin-arg-BiniouASTExporter" "PREPEND_CURRENT_DIR=1" [86363][ extern err] "-plugin-arg-BiniouASTExporter" "MAX_STRING_SIZE=65535" "-cc1" "-triple" [86363][ extern err] "thumbv7-apple-ios10.0.0" "-Wundef-prefix=TARGETOS" [86363][ extern err] "-Werror=undef-prefix" "-fsyntax-only" "-disable-free" [86363][ extern err] "-disable-llvm-verifier" "-discard-value-names" "-main-file-name" [86363][ extern err] "UPCameraFullLiveViewModel.m" "-mrelocation-model" "pic" "-pic-level" "2" [86363][ extern err] "-mframe-pointer=all" "-fno-rounding-math" "-faligned-alloc-unavailable" [86363][ extern err] "-target-sdk-version=15.0" [86363][ extern err] "-fcompatibility-qualified-id-block-type-checking" "-target-cpu" [86363][ extern err] "generic" "-target-feature" "+soft-float-abi" "-target-abi" "apcs-gnu" [86363][ extern err] "-mfloat-abi" "soft" "-fallow-half-arguments-and-returns" [86363][ extern err] "-debug-info-kind=standalone" "-dwarf-version=4" "-debugger-tuning=lldb" [86363][ extern err] "-target-linker-version" "650.9" "-resource-dir" [86363][ extern err] "/usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/lib/clang/11.1.0" [86363][ extern err] "-dependency-file"
[31762][ intern err] ERROR RUNNING CAPTURE: "Assert_failure src/clang/objcCategory_decl.ml:20:62" Raised at ClangFrontendObjcCategory_decl.get_classname in file "src/clang/objcCategory_decl.ml", line 20, characters 62-74 Called from ClangFrontendObjcCategory_decl.get_classname_from_category_decl in file "src/clang/objcCategory_decl.ml", line 23, characters 44-94 Called from ClangFrontendCFrontend_decl.CFrontend_decl_funct.translate_one_declaration in file "src/clang/cFrontend_decl.ml", line 383, characters 12-133 Called from Stdliblist.iter in file "list.ml", line 110, characters 12-15 Called from BaseList0.iter in file "src/list0.ml" (inlined), line 25, characters 16-35 Called from ClangFrontend__CFrontend.compute_icfg in file "src/clang/cFrontend.ml", line 27, characters 6-130 Called from ClangFrontendCapture.run_clang_frontend in file "src/clang/Capture.ml", line 94, characters 25-73
[31762][ extern err] Error: the following clang command did not run successfully: [31762][ extern err] /usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/bin/clang-11 [31762][ extern err] @/Users/yocivic/code/Temp/CodeLib/infer/tmp/clangcommand.tmp.beb1bc.txt [31762][ extern err] ++Contents of '/Users/yocivic/code/Temp/CodeLib/infer/tmp/clangcommand.tmp.beb1bc.txt': [31762][ extern err] "-cc1" "-load" [31762][ extern err] "/usr/local/Cellar/infer/1.1.0_1/lib/infer/infer/bin/../../facebook-clang-plugins/libtooling/build/FacebookClangPlugin.dylib" [31762][ extern err] "-plugin" "BiniouASTExporter" "-plugin-arg-BiniouASTExporter" "-" [31762][ extern err] "-plugin-arg-BiniouASTExporter" "PREPEND_CURRENT_DIR=1" [31762][ extern err] "-plugin-arg-BiniouASTExporter" "MAX_STRING_SIZE=65535" "-cc1" "-triple" [31762][ extern err] "thumbv7-apple-ios10.0.0" "-Wundef-prefix=TARGETOS" [31762][ extern err] "-Werror=undef-prefix" "-fsyntax-only" "-disable-free" [31762][ extern err] "-disable-llvm-verifier" "-discard-value-names" "-main-file-name" [31762][ extern err] "UPCameraFullLiveViewModel.m" "-mrelocation-model" "pic" "-pic-level" "2" [31762][ extern err] "-mframe-pointer=all" "-fno-rounding-math" "-faligned-alloc-unavailable" [31762][ extern err] "-target-sdk-version=15.0" [31762][ extern err] "-fcompatibility-qualified-id-block-type-checking" "-target-cpu" [31762][ extern err] "generic" "-target-feature" "+soft-float-abi" "-target-abi" "apcs-gnu" [31762][ extern err] "-mfloat-abi" "soft" "-fallow-half-arguments-and-returns" [31762][ extern err] "-debug-info-kind=standalone" "-dwarf-version=4" "-debugger-tuning=lldb" [31762][ extern err] "-target-linker-version" "650.9" "-resource-dir" [31762][ extern err] "/usr/local/Cellar/infer/1.1.0_1/lib/infer/facebook-clang-plugins/clang/install/lib/clang/11.1.0" [31762][ extern err] "-dependency-file"