You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
then I use infer capture -- clang -c main.c and infer analyze,there is no dead code in the result though the printf will never execute. What should I do to let Infer report this dead code?
The text was updated successfully, but these errors were encountered:
Infer detects dead store, but not general dead code as above. In addition, the liveness checker does simple data flow analysis, so does not try to understand the boolean condition that is always evaluated to true or false. https://fbinfer.com/docs/next/all-issue-types#dead_store
I have a file named main.c,whose content is as following:
then I use
infer capture -- clang -c main.c
andinfer analyze
,there is no dead code in the result though the printf will never execute. What should I do to let Infer report this dead code?The text was updated successfully, but these errors were encountered: