2024-03-28 06:52 ftp://ftp.de.debian.org/debian/pool/main/m/mle/mle_1.7.2.orig.tar.gz cppcheck-options: --library=posix --library=gnu --showtime=top5 --check-library --inconclusive --enable=style,information --inline-suppr --disable=missingInclude --suppress=unmatchedSuppression --template=daca2 --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=valueFlowBailoutIncompleteVar -D__GNUC__ --platform=unix64 -j4 platform: Linux-6.1.0-0.deb11.6-amd64-x86_64-with-glibc2.31 python: 3.9.2 client-version: 1.3.45 compiler: g++ (Debian 10.2.1-6) 10.2.1 20210110 cppcheck: head 2.13.0 head-info: 98951f5 (2024-03-27 21:50:05 +0100) count: 244 238 elapsed-time: 7.0 19.1 head-timing-info: Tokenizer::simplifyTokens1::ValueFlow: 5.39417s (avg. 5.39417s - 1 result(s)) valueFlowUninit(tokenlist, errorLogger, settings): 2.39131s (avg. 0.797104s - 3 result(s)) valueFlowAfterAssign(tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 1.21423s (avg. 0.404743s - 3 result(s)) valueFlowCondition(SimpleConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.653242s (avg. 0.217747s - 3 result(s)) valueFlowCondition(SymbolicConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.489325s (avg. 0.163108s - 3 result(s)) Overall time: 5.99657s old-timing-info: Tokenizer::simplifyTokens1::ValueFlow: 18.1544s (avg. 18.1544s - 1 result(s)) valueFlowCondition(SymbolicConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 6.62193s (avg. 2.20731s - 3 result(s)) valueFlowUninit(tokenlist, settings): 4.28196s (avg. 1.42732s - 3 result(s)) valueFlowCondition(SimpleConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 2.53654s (avg. 0.845515s - 3 result(s)) valueFlowSubFunction(tokenlist, symboldatabase, errorLogger, *settings): 2.38094s (avg. 0.793645s - 3 result(s)) Overall time: 18.6059s head results: mle-1.7.2/buffer.c:1442:13: style: Condition '!do_delete' is always true [knownConditionTrueFalse] mle-1.7.2/buffer.c:1440:17: note: Assignment 'do_delete=0', assigned value is 0 mle-1.7.2/buffer.c:1442:13: note: Condition '!do_delete' is always true mle-1.7.2/buffer.c:910:17: error: Common realloc mistake: 'data' nulled but not freed upon failure [memleakOnRealloc] mle-1.7.2/buffer.c:600:90: style:inconclusive: Function 'buffer_replace_w_bline' argument 4 names different: declaration 'num_chars' definition 'del_chars'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:190:90: note: Function 'buffer_replace_w_bline' argument 4 names different: declaration 'num_chars' definition 'del_chars'. mle-1.7.2/buffer.c:600:90: note: Function 'buffer_replace_w_bline' argument 4 names different: declaration 'num_chars' definition 'del_chars'. mle-1.7.2/buffer.c:862:156: style:inconclusive: Function 'buffer_substr' argument 8 names different: declaration 'ret_nchars' definition 'ret_data_nchars'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:184:156: note: Function 'buffer_substr' argument 8 names different: declaration 'ret_nchars' definition 'ret_data_nchars'. mle-1.7.2/buffer.c:862:156: note: Function 'buffer_substr' argument 8 names different: declaration 'ret_nchars' definition 'ret_data_nchars'. mle-1.7.2/buffer.c:1167:38: style:inconclusive: Function 'bline_get_col_from_vcol' argument 1 names different: declaration 'self' definition 'bline'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:218:38: note: Function 'bline_get_col_from_vcol' argument 1 names different: declaration 'self' definition 'bline'. mle-1.7.2/buffer.c:1167:38: note: Function 'bline_get_col_from_vcol' argument 1 names different: declaration 'self' definition 'bline'. mle-1.7.2/buffer.c:69:39: style: Parameter 'path' can be declared as pointer to const [constParameterPointer] mle-1.7.2/buffer.c:135:42: style: Parameter 'path' can be declared as pointer to const [constParameterPointer] mle-1.7.2/buffer.c:609:11: style: Variable 'data_newline' can be declared as pointer to const [constVariablePointer] mle-1.7.2/buffer.c:765:48: style: Parameter 'bline' can be declared as pointer to const [constParameterPointer] mle-1.7.2/buffer.c:1392:10: style: Variable 'group_to_redo' can be declared as pointer to const [constVariablePointer] mle-1.7.2/buffer.c:1473:39: style: Variable 'eol_rule_orig' can be declared as pointer to const [constVariablePointer] mle-1.7.2/buffer.c:1601:86: style: Parameter 'style' can be declared as pointer to const [constParameterPointer] mle-1.7.2/buffer.c:1752:70: style: Parameter 'data' can be declared as pointer to const [constParameterPointer] mle-1.7.2/buffer.c:1894:33: style: Parameter 're' can be declared as pointer to const [constParameterPointer] mle-1.7.2/buffer.c:1914:32: style: Parameter 're' can be declared as pointer to const [constParameterPointer] mle-1.7.2/buffer.c:1914:57: style: Parameter 're_end' can be declared as pointer to const [constParameterPointer] mle-1.7.2/buffer.c:272:19: error: Uninitialized variable: node->srule [uninitvar] mle-1.7.2/buffer.c:819:19: error: Uninitialized variable: node->srule [uninitvar] mle-1.7.2/buffer.c:1442:27: error: Uninitialized variables: action_target.type, action_target.buffer, action_target.start_line, action_target.start_line_index, action_target.start_col, action_target.maybe_end_line, action_target.maybe_end_line_index, action_target.maybe_end_col, action_target.byte_delta, action_target.char_delta, action_target.line_delta, action_target.action_group, action_target.data, action_target.data_len, action_target.next, action_target.prev [uninitvar] mle-1.7.2/buffer.c:1625:39: error: Uninitialized variables: mark.bline, mark.col, mark.target_col, mark.range_srule, mark.letter, mark.next, mark.prev, mark.lefty [uninitvar] mle-1.7.2/buffer.c:1677:45: error: Uninitialized variables: mark.bline, mark.col, mark.target_col, mark.range_srule, mark.letter, mark.next, mark.prev, mark.lefty [uninitvar] mle-1.7.2/buffer.c:1746:19: error: Uninitialized variable: mark->col [uninitvar] mle-1.7.2/buffer.c:1794:49: error: Uninitialized variables: mark.bline, mark.col, mark.target_col, mark.range_srule, mark.letter, mark.next, mark.prev, mark.lefty [uninitvar] mle-1.7.2/buffer.c:1849:19: error: Uninitialized variable: mark->col [uninitvar] mle-1.7.2/buffer.c:61:13: style: Variable 'rc' is assigned a value that is never used. [unreadVariable] mle-1.7.2/bview.c:304:58: style: Parameter 'one' can be declared as pointer to const [constParameterPointer] mle-1.7.2/bview.c:316:50: style: Parameter 'cursor' can be declared as pointer to const [constParameterPointer] mle-1.7.2/bview.c:511:46: style: Parameter 'buffer' can be declared as pointer to const. However it seems that '_bview_buffer_callback' is a callback function, if 'buffer' is declared with const you might also need to cast function pointer(s). [constParameterCallback] mle-1.7.2/bview.c:797:33: note: You might need to cast the function pointer here mle-1.7.2/bview.c:511:46: note: Parameter 'buffer' can be declared as pointer to const mle-1.7.2/bview.c:708:11: style: Variable 'colon' can be declared as pointer to const [constVariablePointer] mle-1.7.2/bview.c:1244:58: style: Parameter 'bline' can be declared as pointer to const [constParameterPointer] mle-1.7.2/bview.c:186:24: error: Uninitialized variable: cursor->mark [uninitvar] mle-1.7.2/bview.c:257:22: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/bview.c:296:21: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/bview.c:308:13: error: Uninitialized variables: cursor.bview, cursor.mark, cursor.anchor, cursor.is_anchored, cursor.is_temp_anchored, cursor.is_block, cursor.is_asleep, cursor.sel_rule, cursor.cut_buffer, cursor.next, cursor.prev [uninitvar] mle-1.7.2/bview.c:320:13: error: Uninitialized variables: el.bview, el.mark, el.anchor, el.is_anchored, el.is_temp_anchored, el.is_block, el.is_asleep, el.sel_rule, el.cut_buffer, el.next, el.prev [uninitvar] mle-1.7.2/bview.c:531:24: error: Uninitialized variable: bview->buffer [uninitvar] mle-1.7.2/bview.c:587:59: error: Uninitialized variable: srule_node->srule [uninitvar] mle-1.7.2/bview.c:605:38: error: Uninitialized variables: listener.callback, listener.udata, listener.next, listener.prev [uninitvar] mle-1.7.2/bview.c:669:59: error: Uninitialized variable: srule_node->srule [uninitvar] mle-1.7.2/bview.c:909:14: error: Uninitialized variable: bview_tmp->type [uninitvar] mle-1.7.2/bview.c:1262:50: error: Uninitialized variable: node->srule [uninitvar] mle-1.7.2/tests/unit/test.c:28:28: error: Resource leak: self [resourceLeak] mle-1.7.2/tests/unit/test_buffer_add_mark.c:6:13: style: Variable 'mark' can be declared as pointer to const [constVariablePointer] mle-1.7.2/tests/unit/test_buffer_destroy.c:6:5: style: Same expression on both sides of '=='. [duplicateExpression] mle-1.7.2/tests/unit/test_buffer_destroy.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_buffer_destroy.c:5:34: style: Parameter 'cur' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_buffer_new.c:6:5: style: Same expression on both sides of '=='. [duplicateExpression] mle-1.7.2/tests/unit/test_buffer_new.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_buffer_new.c:5:34: style: Parameter 'cur' can be declared as pointer to const [constParameterPointer] mle-1.7.2/mark.c:607:19: style: Condition 'rc!=NULL' is always true [knownConditionTrueFalse] mle-1.7.2/mark.c:607:38: style: Condition 'ovector!=NULL' is always true [knownConditionTrueFalse] mle-1.7.2/mark.c:826:37: style: Condition 'self->colchar_count' is always true [knownConditionTrueFalse] mle-1.7.2/mark.c:819:23: note: Assuming that condition 'self->col>=search_line->char_count' is not redundant mle-1.7.2/mark.c:826:37: note: Condition 'self->colchar_count' is always true mle-1.7.2/mark.c:541:119: style:inconclusive: Function 'mark_move_next_str_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:277:119: note: Function 'mark_move_next_str_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:541:119: note: Function 'mark_move_next_str_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:545:119: style:inconclusive: Function 'mark_move_prev_str_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:285:119: note: Function 'mark_move_prev_str_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:545:119: note: Function 'mark_move_prev_str_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:549:109: style:inconclusive: Function 'mark_move_next_cre_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:271:109: note: Function 'mark_move_next_cre_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:549:109: note: Function 'mark_move_next_cre_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:553:109: style:inconclusive: Function 'mark_move_prev_cre_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:281:109: note: Function 'mark_move_prev_cre_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:553:109: note: Function 'mark_move_prev_cre_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:557:116: style:inconclusive: Function 'mark_move_next_re_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:274:116: note: Function 'mark_move_next_re_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:557:116: note: Function 'mark_move_next_re_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:561:116: style:inconclusive: Function 'mark_move_prev_re_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:283:116: note: Function 'mark_move_prev_re_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:561:116: note: Function 'mark_move_prev_re_ex' argument 6 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:565:114: style:inconclusive: Function 'mark_move_bracket_pair_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:263:114: note: Function 'mark_move_bracket_pair_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:565:114: note: Function 'mark_move_bracket_pair_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:569:113: style:inconclusive: Function 'mark_move_bracket_top_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. [funcArgNamesDifferent] mle-1.7.2/mlbuf.h:265:113: note: Function 'mark_move_bracket_top_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:569:113: note: Function 'mark_move_bracket_top_ex' argument 5 names different: declaration 'optret_num_chars' definition 'optret_char_count'. mle-1.7.2/mark.c:204:24: style: Parameter 'self' can be declared as pointer to const [constParameterPointer] mle-1.7.2/mark.c:204:38: style: Parameter 'other' can be declared as pointer to const [constParameterPointer] mle-1.7.2/mark.c:214:24: style: Parameter 'self' can be declared as pointer to const [constParameterPointer] mle-1.7.2/mark.c:214:38: style: Parameter 'other' can be declared as pointer to const [constParameterPointer] mle-1.7.2/mark.c:224:24: style: Parameter 'self' can be declared as pointer to const [constParameterPointer] mle-1.7.2/mark.c:224:38: style: Parameter 'other' can be declared as pointer to const [constParameterPointer] mle-1.7.2/mark.c:447:28: style: Parameter 'self' can be declared as pointer to const [constParameterPointer] mle-1.7.2/mark.c:644:45: style: Parameter 'self' can be declared as pointer to const [constParameterPointer] mle-1.7.2/mark.c:894:45: style: Parameter 're' can be declared as pointer to const [constParameterPointer] mle-1.7.2/mark.c:919:47: style: Parameter 'haystack' can be declared as pointer to const. However it seems that 'mark_find_next_str_matchfn' is a callback function, if 'haystack' is declared with const you might also need to cast function pointer(s). [constParameterCallback] mle-1.7.2/mark.c:926:82: note: You might need to cast the function pointer here mle-1.7.2/mark.c:919:47: note: Parameter 'haystack' can be declared as pointer to const mle-1.7.2/mark.c:919:123: style: Parameter 'needle' can be declared as pointer to const. However it seems that 'mark_find_next_str_matchfn' is a callback function, if 'needle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] mle-1.7.2/mark.c:926:82: note: You might need to cast the function pointer here mle-1.7.2/mark.c:919:123: note: Parameter 'needle' can be declared as pointer to const mle-1.7.2/tests/unit/test_buffer_set_callback.c:6:35: style: Parameter 'buf' can be declared as pointer to const. However it seems that 'callback_fn' is a callback function, if 'buf' is declared with const you might also need to cast function pointer(s). [constParameterCallback] mle-1.7.2/tests/unit/test_buffer_set_callback.c:30:30: note: You might need to cast the function pointer here mle-1.7.2/tests/unit/test_buffer_set_callback.c:6:35: note: Parameter 'buf' can be declared as pointer to const mle-1.7.2/tests/unit/test_buffer_set_callback.c:6:51: style: Parameter 'bac' can be declared as pointer to const. However it seems that 'callback_fn' is a callback function, if 'bac' is declared with const you might also need to cast function pointer(s). [constParameterCallback] mle-1.7.2/tests/unit/test_buffer_set_callback.c:30:30: note: You might need to cast the function pointer here mle-1.7.2/tests/unit/test_buffer_set_callback.c:6:51: note: Parameter 'bac' can be declared as pointer to const mle-1.7.2/tests/unit/test_buffer_set_callback.c:6:62: style: Parameter 'udata' can be declared as pointer to const. However it seems that 'callback_fn' is a callback function, if 'udata' is declared with const you might also need to cast function pointer(s). [constParameterCallback] mle-1.7.2/tests/unit/test_buffer_set_callback.c:30:30: note: You might need to cast the function pointer here mle-1.7.2/tests/unit/test_buffer_set_callback.c:6:62: note: Parameter 'udata' can be declared as pointer to const mle-1.7.2/tests/unit/test_buffer_set_tab_width.c:9:12: style: Variable 'char_vcols_4' can be declared as const array [constVariable] mle-1.7.2/tests/unit/test_buffer_set_tab_width.c:10:12: style: Variable 'char_vcols_2a' can be declared as const array [constVariable] mle-1.7.2/tests/unit/test_buffer_set_tab_width.c:11:12: style: Variable 'char_vcols_2b' can be declared as const array [constVariable] mle-1.7.2/tests/unit/test_mark_move_bol.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_mark_move_by.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_mark_move_eol.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_mark_move_next_re.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_mark_move_next_str.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_mark_move_offset.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_mark_move_prev_re.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_mark_move_prev_str.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_mark_move_vert.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/tests/unit/test_mark_move_to.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] mle-1.7.2/utf8.c:89:11: style: Variable 'data_stop' can be declared as pointer to const [constVariablePointer] mle-1.7.2/uscript.c:162:63: style: Parameter 'event_name' can be declared as pointer to const [constParameterPointer] mle-1.7.2/uscript.c:179:64: style: Parameter 'ctx' can be declared as pointer to const [constParameterPointer] mle-1.7.2/uscript.c:191:64: style: Parameter 'baction' can be declared as pointer to const [constParameterPointer] mle-1.7.2/uscript.c:280:16: style: Variable 'uscript' can be declared as pointer to const [constVariablePointer] mle-1.7.2/uscript.c:393:49: style: Parameter 'ptr' can be declared as pointer to const. However it seems that 'lua_pushpointer' is a callback function, if 'ptr' is declared with const you might also need to cast function pointer(s). [constParameterCallback] mle-1.7.2/uscript.c:194:5: note: You might need to cast the function pointer here mle-1.7.2/uscript.c:393:49: note: Parameter 'ptr' can be declared as pointer to const mle-1.7.2/cmd.c:1875:9: error: Address of local auto-variable assigned to a function parameter. [autoVariables] mle-1.7.2/cmd.c:1791:11: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/cmd.c:1799:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/cmd.c:1301:9: portability: %ld in format string (no. 2) requires 'long' but the argument type is 'intmax_t {aka signed long}'. [invalidPrintfArgType_sint] mle-1.7.2/cmd.c:1301:9: warning: %ld in format string (no. 3) requires 'long' but the argument type is 'signed int'. [invalidPrintfArgType_sint] mle-1.7.2/cmd.c:835:21: warning: Either the condition 'bview->buffer' is redundant or there is possible null pointer dereference: bview->buffer. [nullPointerRedundantCheck] mle-1.7.2/cmd.c:843:18: note: Assuming that condition 'bview->buffer' is not redundant mle-1.7.2/cmd.c:835:21: note: Null pointer dereference mle-1.7.2/cmd.c:62:15: style: Variable 'input' can be declared as pointer to const [constVariablePointer] mle-1.7.2/cmd.c:511:31: style: Parameter 'ctx' can be declared as pointer to const [constParameterPointer] mle-1.7.2/cmd.c:543:14: style: Variable 'orig' can be declared as pointer to const [constVariablePointer] mle-1.7.2/cmd.c:544:14: style: Variable 'mid' can be declared as pointer to const [constVariablePointer] mle-1.7.2/cmd.c:545:14: style: Variable 'top' can be declared as pointer to const [constVariablePointer] mle-1.7.2/cmd.c:735:11: style: Variable 'grep_fmt' can be declared as pointer to const [constVariablePointer] mle-1.7.2/cmd.c:1260:11: style: Variable 'sh_fmt' can be declared as pointer to const [constVariablePointer] mle-1.7.2/cmd.c:115:9: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:123:9: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:134:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:144:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:160:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:166:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:174:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:194:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:201:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:208:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:215:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:222:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:229:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:236:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:243:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:250:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:264:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:278:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:297:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:303:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:310:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:317:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:324:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:331:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:343:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:355:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:366:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:374:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:382:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:394:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:399:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:428:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:586:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:594:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:602:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:610:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:618:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:628:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:638:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:688:14: error: Uninitialized variable: bview->type [uninitvar] mle-1.7.2/cmd.c:823:14: error: Uninitialized variable: bview->type [uninitvar] mle-1.7.2/cmd.c:923:14: error: Uninitialized variable: bview->type [uninitvar] mle-1.7.2/cmd.c:984:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:996:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:1030:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:1363:35: error: Uninitialized variable: kmap_node->kmap [uninitvar] mle-1.7.2/cmd.c:1375:30: error: Uninitialized variable: kmap->name [uninitvar] mle-1.7.2/cmd.c:1405:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:1432:22: error: Uninitialized variable: binding->children [uninitvar] mle-1.7.2/cmd.c:1594:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:1610:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:1682:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:1913:20: error: Uninitialized variable: bview->id [uninitvar] mle-1.7.2/cmd.c:2022:5: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/cmd.c:2022:5: error: Uninitialized variable: &input [uninitvar] mle-1.7.2/cmd.c:2022:5: note: Assuming condition is false mle-1.7.2/cmd.c:2022:5: note: Uninitialized variable: &input mle-1.7.2/cmd.c:2022:5: error: Uninitialized variable: &input_len [uninitvar] mle-1.7.2/cmd.c:2022:5: note: Assuming condition is false mle-1.7.2/cmd.c:2022:5: note: Uninitialized variable: &input_len mle-1.7.2/cmd.c:1810:12: style: Variable 're_len' is assigned a value that is never used. [unreadVariable] mle-1.7.2/util.c:80:13: style: Condition 'do_read' is always false [knownConditionTrueFalse] mle-1.7.2/util.c:80:13: note: Assuming that condition 'do_read' is not redundant mle-1.7.2/util.c:80:13: note: Condition 'do_read' is always false mle-1.7.2/util.c:121:32: style: Condition 'do_read' is always false [knownConditionTrueFalse] mle-1.7.2/util.c:80:13: note: Assuming that condition 'do_read' is not redundant mle-1.7.2/util.c:121:32: note: Condition 'do_read' is always false mle-1.7.2/util.c:139:32: style:inconclusive: Function 'util_popen2' argument 2 names different: declaration 'setsid' definition 'do_setsid'. [funcArgNamesDifferent] mle-1.7.2/mle.h:603:32: note: Function 'util_popen2' argument 2 names different: declaration 'setsid' definition 'do_setsid'. mle-1.7.2/util.c:139:32: note: Function 'util_popen2' argument 2 names different: declaration 'setsid' definition 'do_setsid'. mle-1.7.2/util.c:368:72: style:inconclusive: Function 'util_expand_tilde' argument 4 names different: declaration 'ret_path_len' definition 'optret_path_len'. [funcArgNamesDifferent] mle-1.7.2/mle.h:611:72: note: Function 'util_expand_tilde' argument 4 names different: declaration 'ret_path_len' definition 'optret_path_len'. mle-1.7.2/util.c:368:72: note: Function 'util_expand_tilde' argument 4 names different: declaration 'ret_path_len' definition 'optret_path_len'. mle-1.7.2/util.c:206:36: style: Parameter 'opt_mode' can be declared as pointer to const [constParameterPointer] mle-1.7.2/util.c:319:40: style: Parameter 'a' can be declared as pointer to const [constParameterPointer] mle-1.7.2/util.c:319:59: style: Parameter 'b' can be declared as pointer to const [constParameterPointer] mle-1.7.2/util.c:369:11: style: Variable 'homedir' can be declared as pointer to const [constVariablePointer] mle-1.7.2/util.c:462:52: style: Parameter 'data_stop' can be declared as pointer to const [constParameterPointer] mle-1.7.2/util.c:484:53: style: Parameter 'data_stop' can be declared as pointer to const [constParameterPointer] mle-1.7.2/util.c:506:36: style: Parameter 'data' can be declared as pointer to const [constParameterPointer] mle-1.7.2/util.c:532:36: style: Parameter 'data' can be declared as pointer to const [constParameterPointer] mle-1.7.2/util.c:584:100: style: Parameter 'pcre_ovector' can be declared as pointer to const [constParameterPointer] mle-1.7.2/util.c:456:23: portability: 'newptr' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer] mle-1.7.2/util.c:743:23: error: Uninitialized variable: aproc->rfd [uninitvar] mle-1.7.2/util.c:262:19: style: Variable 'got_match' is assigned a value that is never used. [unreadVariable] mle-1.7.2/util.c:276:19: style: Variable 'subj_offset_z' is assigned a value that is never used. [unreadVariable] mle-1.7.2/termbox2.h:2301:21: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/termbox2.h:2307:19: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:733:12: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:742:16: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2074:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2075:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2076:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2084:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2085:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2086:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2124:13: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2142:17: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2227:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2228:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2229:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2230:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2251:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2252:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2253:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2254:15: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled] mle-1.7.2/editor.c:2312:13: error: Common realloc mistake: 'data' nulled but not freed upon failure [memleakOnRealloc] mle-1.7.2/editor.c:2321:9: error: Common realloc mistake: 'data' nulled but not freed upon failure [memleakOnRealloc] mle-1.7.2/termbox2.h:2628:5: style: Redundant assignment of 'rv' to itself. [selfAssignment] mle-1.7.2/termbox2.h:3273:16: style: Checking if unsigned expression 'b->len' is less than zero. [unsignedLessThanZero] mle-1.7.2/termbox2.h:2967:32: style:inconclusive: Function 'send_sgr' argument 1 names different: declaration 'fg' definition 'cfg'. [funcArgNamesDifferent] mle-1.7.2/termbox2.h:1408:32: note: Function 'send_sgr' argument 1 names different: declaration 'fg' definition 'cfg'. mle-1.7.2/termbox2.h:2967:32: note: Function 'send_sgr' argument 1 names different: declaration 'fg' definition 'cfg'. mle-1.7.2/termbox2.h:2967:48: style:inconclusive: Function 'send_sgr' argument 2 names different: declaration 'bg' definition 'cbg'. [funcArgNamesDifferent] mle-1.7.2/termbox2.h:1408:47: note: Function 'send_sgr' argument 2 names different: declaration 'bg' definition 'cbg'. mle-1.7.2/termbox2.h:2967:48: note: Function 'send_sgr' argument 2 names different: declaration 'bg' definition 'cbg'. mle-1.7.2/editor.c:1591:60: style:inconclusive: Function '_editor_event_to_key' argument 2 names different: declaration 'ret_key' definition 'ret_keyname'. [funcArgNamesDifferent] mle-1.7.2/editor.c:53:60: note: Function '_editor_event_to_key' argument 2 names different: declaration 'ret_key' definition 'ret_keyname'. mle-1.7.2/editor.c:1591:60: note: Function '_editor_event_to_key' argument 2 names different: declaration 'ret_key' definition 'ret_keyname'. mle-1.7.2/editor.c:332:19: style: Variable 'rect' can be declared as pointer to const [constVariablePointer] mle-1.7.2/editor.c:469:37: style: Parameter 'editor' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:488:60: style: Parameter 'bview' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:508:63: style: Parameter 'buffer' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:591:54: style: Parameter 'event_patt' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:792:68: style: Parameter 'data' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:1091:67: style: Parameter 'input' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:1119:19: style: Variable 'bounds' can be declared as pointer to const [constVariablePointer] mle-1.7.2/editor.c:1185:11: style: Variable 'buf' can be declared as pointer to const [constVariablePointer] mle-1.7.2/editor.c:1260:12: style: Variable 'cmd' can be declared as pointer to const [constVariablePointer] mle-1.7.2/editor.c:1288:64: style: Parameter 'ev' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:1334:85: style: Parameter 'input' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:1345:67: style: Parameter 'input' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:1986:74: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:1986:86: style: Parameter 'default_cmd_name' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:2205:83: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:2205:95: style: Parameter 'path_pattern' can be declared as pointer to const [constParameterPointer] mle-1.7.2/editor.c:2337:11: style: Variable 'rc_data_stop' can be declared as pointer to const [constVariablePointer] mle-1.7.2/termbox2.h:2178:11: style: Variable 'move_and_report' can be declared as pointer to const [constVariablePointer] mle-1.7.2/termbox2.h:2385:14: style: Variable 'header' can be declared as pointer to const [constVariablePointer] mle-1.7.2/termbox2.h:2660:11: style: Variable 'cmp' can be declared as const array [constVariable] mle-1.7.2/termbox2.h:3098:37: style: Parameter 'a' can be declared as pointer to const [constParameterPointer] mle-1.7.2/termbox2.h:3098:56: style: Parameter 'b' can be declared as pointer to const [constParameterPointer] mle-1.7.2/termbox2.h:3048:5: error: Uninitialized variable: nbuf [uninitvar] mle-1.7.2/editor.c:240:41: error: Uninitialized variables: observer.event_patt, observer.callback, observer.udata, observer.next, observer.prev [uninitvar] mle-1.7.2/editor.c:338:24: error: Uninitialized variable: bview->buffer [uninitvar] mle-1.7.2/editor.c:429:14: error: Uninitialized variable: bview->type [uninitvar] mle-1.7.2/editor.c:432:113: error: Uninitialized variable: cursor->mark [uninitvar] mle-1.7.2/editor.c:429:13: note: Assuming condition is false mle-1.7.2/editor.c:432:113: note: Uninitialized variable: cursor->mark mle-1.7.2/editor.c:491:13: error: Uninitialized variables: tmp.editor, tmp.x, tmp.y, tmp.w, tmp.h, tmp.is_resized, tmp.type, tmp.linenum_width, tmp.abs_linenum_width, tmp.rel_linenum_width, tmp.rect_caption, tmp.rect_lines, tmp.rect_margin_left, tmp.rect_buffer, tmp.rect_margin_right, tmp.buffer, tmp.viewport_x, tmp.viewport_x_vcol, tmp.viewport_y, tmp.viewport_mark, tmp.viewport_scope_x, tmp.viewport_scope_y, tmp.split_parent, tmp.split_child, tmp.split_factor, tmp.split_is_vertical, tmp.prompt_str, tmp.path, tmp.startup_linenum, tmp.kmap_stack, tmp.kmap_tail, tmp.cursors, tmp.active_cursor, tmp.last_search, tmp.isearch_rule, tmp.isearch_ranges, tmp.isearch_ranges_len, tmp.isearch_ranges_cap, tmp.tab_width, tmp.tab_to_space, tmp.soft_wrap, tmp.syntax, tmp.aproc, tmp.menu_callback, tmp.is_menu, tmp.id, tmp.listeners, tmp.top_next, tmp.top_prev, tmp.all_next, tmp.all_prev [uninitvar] mle-1.7.2/editor.c:502:13: error: Uninitialized variable: bview->type [uninitvar] mle-1.7.2/editor.c:513:20: error: Uninitialized variable: bview->buffer [uninitvar] mle-1.7.2/editor.c:583:38: error: Uninitialized variables: bview.editor, bview.x, bview.y, bview.w, bview.h, bview.is_resized, bview.type, bview.linenum_width, bview.abs_linenum_width, bview.rel_linenum_width, bview.rect_caption, bview.rect_lines, bview.rect_margin_left, bview.rect_buffer, bview.rect_margin_right, bview.buffer, bview.viewport_x, bview.viewport_x_vcol, bview.viewport_y, bview.viewport_mark, bview.viewport_scope_x, bview.viewport_scope_y, bview.split_parent, bview.split_child, bview.split_factor, bview.split_is_vertical, bview.prompt_str, bview.path, bview.startup_linenum, bview.kmap_stack, bview.kmap_tail, bview.cursors, bview.active_cursor, bview.last_search, bview.isearch_rule, bview.isearch_ranges, bview.isearch_ranges_len, bview.isearch_ranges_cap, bview.tab_width, bview.tab_to_space, bview.soft_wrap, bview.syntax, bview.aproc, bview.menu_callback, bview.is_menu, bview.id, bview.listeners, bview.top_next, bview.top_prev, bview.all_next, bview.all_prev [uninitvar] mle-1.7.2/editor.c:1057:31: error: Uninitialized variable: observer->event_patt [uninitvar] mle-1.7.2/editor.c:1140:13: error: Uninitialized variable: bview->type [uninitvar] mle-1.7.2/editor.c:1165:22: error: Uninitialized variable: cursor->is_asleep [uninitvar] mle-1.7.2/editor.c:1658:20: error: Uninitialized variable: bview->buffer [uninitvar] mle-1.7.2/editor.c:2098:22: error: Uninitialized variable: binding->children [uninitvar] diff: head mle-1.7.2/bview.c:316:50: style: Parameter 'cursor' can be declared as pointer to const [constParameterPointer] head mle-1.7.2/cmd.c:511:31: style: Parameter 'ctx' can be declared as pointer to const [constParameterPointer] head mle-1.7.2/mark.c:607:19: style: Condition 'rc!=NULL' is always true [knownConditionTrueFalse] 2.13.0 mle-1.7.2/mark.c:607:19: style: Condition 'rc!=NULL' is always true [knownConditionTrueFalse] mle-1.7.2/mark.c:602:12: note: Assuming condition 'rc==NULL' is false mle-1.7.2/mark.c:607:19: note: Condition 'rc!=NULL' is always true head mle-1.7.2/mark.c:607:38: style: Condition 'ovector!=NULL' is always true [knownConditionTrueFalse] 2.13.0 mle-1.7.2/mark.c:607:38: style: Condition 'ovector!=NULL' is always true [knownConditionTrueFalse] mle-1.7.2/mark.c:602:31: note: Assuming condition 'ovector==NULL' is false mle-1.7.2/mark.c:607:38: note: Condition 'ovector!=NULL' is always true 2.13.0 mle-1.7.2/mark.c:826:37: style: Condition 'self->colchar_count' is always true [knownConditionTrueFalse] mle-1.7.2/mark.c:819:23: note: Assuming condition 'self->col>=search_line->char_count' is false mle-1.7.2/mark.c:826:37: note: Condition 'self->colchar_count' is always true head mle-1.7.2/mark.c:826:37: style: Condition 'self->colchar_count' is always true [knownConditionTrueFalse] mle-1.7.2/mark.c:819:23: note: Assuming that condition 'self->col>=search_line->char_count' is not redundant mle-1.7.2/mark.c:826:37: note: Condition 'self->colchar_count' is always true head mle-1.7.2/termbox2.h:2628:5: style: Redundant assignment of 'rv' to itself. [selfAssignment] 2.13.0 mle-1.7.2/termbox2.h:2628:5: warning: Redundant assignment of 'rv' to itself. [selfAssignment] head mle-1.7.2/termbox2.h:3048:5: error: Uninitialized variable: nbuf [uninitvar] head mle-1.7.2/tests/unit/test_buffer_destroy.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] head mle-1.7.2/tests/unit/test_buffer_destroy.c:5:34: style: Parameter 'cur' can be declared as pointer to const [constParameterPointer] head mle-1.7.2/tests/unit/test_buffer_new.c:5:21: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] head mle-1.7.2/tests/unit/test_buffer_new.c:5:34: style: Parameter 'cur' can be declared as pointer to const [constParameterPointer] 2.13.0 mle-1.7.2/util.c:124:9: style: Condition 'do_read' is always false [knownConditionTrueFalse] mle-1.7.2/util.c:80:13: note: Assuming that condition 'do_read' is not redundant mle-1.7.2/util.c:124:9: note: Condition 'do_read' is always false DONE