|
Code can never be reached because of a logical contradiction
Defect 72313 (STATIC_C)
Checker DEADCODE (subcategory none)
File: /examples/example-scram.c
Function main
/examples/example-scram.c, line: 14
Assigning: "database" = "NULL".
mongoc_database_t *database = NULL;
|
/examples/example-scram.c, line: 62
Assigning: "database" = "NULL".
/examples/example-scram.c, line: 95
At condition "database", the value of "database" must be "NULL".
/examples/example-scram.c, line: 95
The condition "database" cannot be true.
/examples/example-scram.c, line: 96
Execution cannot reach this statement: "mongoc_database_destroy(dat...".
mongoc_database_destroy (database);
|
|