2026-05-01 15:09
ftp://ftp.de.debian.org/debian/pool/main/d/dicelab/dicelab_0.7.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j6
platform: Linux-7.0.3+deb14-amd64-x86_64-with-glibc2.42
python: 3.13.12
client-version: 1.4.0
compiler: g++ (Debian 15.2.0-17) 15.2.0
cppcheck: head 2.20.0
head-info: e5c4a734 (2026-05-01 11:10:43 +0200)
count: 346 339
elapsed-time: 0.5 0.4
head-timing-info:

old-timing-info:

head results:
dicelab-0.7/roll.c:9:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
dicelab-0.7/roll.c:7:53: note: Assuming allocation function fails
dicelab-0.7/roll.c:7:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
dicelab-0.7/roll.c:9:2: note: Null pointer dereference
dicelab-0.7/roll.c:10:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
dicelab-0.7/roll.c:7:53: note: Assuming allocation function fails
dicelab-0.7/roll.c:7:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
dicelab-0.7/roll.c:10:2: note: Null pointer dereference
dicelab-0.7/roll.c:11:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
dicelab-0.7/roll.c:7:53: note: Assuming allocation function fails
dicelab-0.7/roll.c:7:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
dicelab-0.7/roll.c:11:2: note: Null pointer dereference
dicelab-0.7/roll.c:18:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
dicelab-0.7/roll.c:16:53: note: Assuming allocation function fails
dicelab-0.7/roll.c:16:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
dicelab-0.7/roll.c:18:2: note: Null pointer dereference
dicelab-0.7/roll.c:19:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
dicelab-0.7/roll.c:16:53: note: Assuming allocation function fails
dicelab-0.7/roll.c:16:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
dicelab-0.7/roll.c:19:2: note: Null pointer dereference
dicelab-0.7/roll.c:20:9: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
dicelab-0.7/roll.c:16:53: note: Assuming allocation function fails
dicelab-0.7/roll.c:16:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
dicelab-0.7/roll.c:20:9: note: Null pointer dereference
dicelab-0.7/main.c:50:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
dicelab-0.7/main.c:126:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable optarg [valueFlowBailoutIncompleteVar]
dicelab-0.7/util.c:26:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RAND_MAX [valueFlowBailoutIncompleteVar]
dicelab-0.7/util.c:37:4: warning: If memory allocation fails, then there is a possible null pointer dereference: *list [nullPointerOutOfMemory]
dicelab-0.7/util.c:36:39: note: Assuming allocation function fails
dicelab-0.7/util.c:36:11: note: Assignment '*list=(struct result_node*)malloc(sizeof(struct result_node))', assigned value is 0
dicelab-0.7/util.c:37:4: note: Null pointer dereference
dicelab-0.7/util.c:51:3: warning: If memory allocation fails, then there is a possible null pointer dereference: cur [nullPointerOutOfMemory]
dicelab-0.7/util.c:50:37: note: Assuming allocation function fails
dicelab-0.7/util.c:50:9: note: Assignment 'cur=(struct result_node*)malloc(sizeof(struct result_node))', assigned value is 0
dicelab-0.7/util.c:51:3: note: Null pointer dereference
dicelab-0.7/util.c:52:3: warning: If memory allocation fails, then there is a possible null pointer dereference: cur [nullPointerOutOfMemory]
dicelab-0.7/util.c:50:37: note: Assuming allocation function fails
dicelab-0.7/util.c:50:9: note: Assignment 'cur=(struct result_node*)malloc(sizeof(struct result_node))', assigned value is 0
dicelab-0.7/util.c:52:3: note: Null pointer dereference
dicelab-0.7/util.c:53:3: warning: If memory allocation fails, then there is a possible null pointer dereference: cur [nullPointerOutOfMemory]
dicelab-0.7/util.c:50:37: note: Assuming allocation function fails
dicelab-0.7/util.c:50:9: note: Assignment 'cur=(struct result_node*)malloc(sizeof(struct result_node))', assigned value is 0
dicelab-0.7/util.c:53:3: note: Null pointer dereference
dicelab-0.7/util.c:63:7: warning: If memory allocation fails, then there is a possible null pointer dereference: last->next [nullPointerOutOfMemory]
dicelab-0.7/util.c:62:44: note: Assuming allocation function fails
dicelab-0.7/util.c:62:16: note: Assignment 'last->next=(struct result_node*)malloc(sizeof(struct result_node))', assigned value is 0
dicelab-0.7/util.c:63:7: note: Null pointer dereference
dicelab-0.7/util.c:69:4: warning: If memory allocation fails, then there is a possible null pointer dereference: *list [nullPointerOutOfMemory]
dicelab-0.7/util.c:68:39: note: Assuming allocation function fails
dicelab-0.7/util.c:68:11: note: Assignment '*list=(struct result_node*)malloc(sizeof(struct result_node))', assigned value is 0
dicelab-0.7/util.c:69:4: note: Null pointer dereference
dicelab-0.7/util.c:100:9: style:inconclusive: Function 'all_permutations' argument 4 names different: declaration '<unnamed>' definition 'arg'. [funcArgNamesDifferentUnnamed]
dicelab-0.7/util.c:100:20: style:inconclusive: Function 'all_permutations' argument 5 names different: declaration '<unnamed>' definition 'farg'. [funcArgNamesDifferentUnnamed]
dicelab-0.7/main.c:78:17: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
dicelab-0.7/main.c:150:12: warning: If memory allocation fails, then there is a possible null pointer dereference: fname [nullPointerOutOfMemory]
dicelab-0.7/main.c:148:26: note: Assuming allocation function fails
dicelab-0.7/main.c:148:13: note: Assignment 'fname=(char*)malloc((strlen(optarg)+1)*sizeof(char))', assigned value is 0
dicelab-0.7/main.c:150:12: note: Null pointer dereference
lex.c:759:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
lex.c:1261:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
lex.c:1409:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
lex.c:1562:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
lex.c:1800:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
par.y:77:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
par.y:142:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
par.y:263:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
lex.c:1227:27: warning: Possible null pointer dereference: b [nullPointer]
lex.c:1224:24: note: Assignment 'b=(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL', assigned value is 0
lex.c:1227:27: note: Null pointer dereference
lex.c:1229:9: warning: Possible null pointer dereference: b [nullPointer]
lex.c:1224:24: note: Assignment 'b=(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL', assigned value is 0
lex.c:1229:9: note: Null pointer dereference
lex.c:1566:2: warning: Possible null pointer dereference: b [nullPointer]
lex.c:1455:17: note: Calling function 'yy_init_buffer', 1st argument '(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL' value is 0
lex.c:1566:2: note: Null pointer dereference
lex.c:1567:2: warning: Possible null pointer dereference: b [nullPointer]
lex.c:1455:17: note: Calling function 'yy_init_buffer', 1st argument '(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL' value is 0
lex.c:1567:2: note: Null pointer dereference
lex.c:1261:3: style: Redundant initialization for 'c'. The initialized value is overwritten before it is read. [redundantInitialization]
lex.c:1261:3: note: c is initialized
lex.c:1261:3: note: c is overwritten
lex.l:26:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
lex.l:176:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
lex.c:1338:59: style:inconclusive: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'. [funcArgNamesDifferent]
lex.c:372:54: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'.
lex.c:1338:59: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'.
lex.c:1751:48: style:inconclusive: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'. [funcArgNamesDifferent]
lex.c:324:47: note: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'.
lex.c:1751:48: note: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'.
lex.c:1764:48: style:inconclusive: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'. [funcArgNamesDifferent]
lex.c:325:46: note: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'.
lex.c:1764:48: note: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'.
lex.c:1764:62: style:inconclusive: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'. [funcArgNamesDifferent]
lex.c:325:56: note: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'.
lex.c:1764:62: note: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'.
lex.c:1896:24: style:inconclusive: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition 'bdebug'. [funcArgNamesDifferent]
lex.c:579:23: note: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition 'bdebug'.
lex.c:1896:24: note: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition 'bdebug'.
lex.c:1978:27: style:inconclusive: Function 'yyalloc' argument 1 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
lex.c:1983:26: style:inconclusive: Function 'yyrealloc' argument 1 names different: declaration '<unnamed>' definition 'ptr'. [funcArgNamesDifferentUnnamed]
lex.c:1983:42: style:inconclusive: Function 'yyrealloc' argument 2 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
lex.c:1995:21: style:inconclusive: Function 'yyfree' argument 1 names different: declaration '<unnamed>' definition 'ptr'. [funcArgNamesDifferentUnnamed]
lex.c:1174:17: style: Variable 'source' can be declared as pointer to const [constVariablePointer]
lex.c:1764:48: style: Parameter 'yybytes' can be declared as pointer to const [constParameterPointer]
lex.c:1798:43: style: Parameter 'msg' can be declared as pointer to const [constParameterPointer]
eval.tc:25:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val_list [valueFlowBailoutIncompleteVar]
eval.tc:40:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
eval.tc:782:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cmd_threshold [valueFlowBailoutIncompleteVar]
eval.tc:945:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable caring [valueFlowBailoutIncompleteVar]
c_skel.c:124:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable field [valueFlowBailoutIncompleteVar]
ordering.tc:71:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
roll.tc:520:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable roll_value [valueFlowBailoutIncompleteVar]
ordering.tc:88:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
optimize.tc:120:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val_list [valueFlowBailoutIncompleteVar]
optimize.tc:183:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val_list [valueFlowBailoutIncompleteVar]
eval.tc:229:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable count [valueFlowBailoutIncompleteVar]
ordering.tc:98:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
eval.tc:680:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable roll_value [valueFlowBailoutIncompleteVar]
roll.tc:546:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable roll_value [valueFlowBailoutIncompleteVar]
eval.tc:715:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable roll_value [valueFlowBailoutIncompleteVar]
roll.tc:578:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable roll_value [valueFlowBailoutIncompleteVar]
printtree.tc:151:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable drop [valueFlowBailoutIncompleteVar]
roll.tc:276:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable drop [valueFlowBailoutIncompleteVar]
ordering.tc:57:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
eval.tc:357:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val_list [valueFlowBailoutIncompleteVar]
printtree.tc:165:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable drop [valueFlowBailoutIncompleteVar]
roll.tc:305:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable drop [valueFlowBailoutIncompleteVar]
ordering.tc:64:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
eval.tc:403:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val_list [valueFlowBailoutIncompleteVar]
printtree.tc:179:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable drop [valueFlowBailoutIncompleteVar]
roll.tc:398:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable keep [valueFlowBailoutIncompleteVar]
eval.tc:453:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val_list [valueFlowBailoutIncompleteVar]
printtree.tc:193:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable drop [valueFlowBailoutIncompleteVar]
roll.tc:339:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable keep [valueFlowBailoutIncompleteVar]
eval.tc:539:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val_list [valueFlowBailoutIncompleteVar]
printtree.tc:207:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable drop [valueFlowBailoutIncompleteVar]
roll.tc:473:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable drop [valueFlowBailoutIncompleteVar]
eval.tc:654:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable drop [valueFlowBailoutIncompleteVar]
roll.tc:198:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RAND_MAX [valueFlowBailoutIncompleteVar]
ordering.tc:27:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
optimize.tc:252:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rep_kind [valueFlowBailoutIncompleteVar]
ordering.tc:33:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
ordering.tc:39:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
ordering.tc:51:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
eval.tc:955:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
ordering.tc:45:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
eval.tc:973:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
eval.tc:987:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable agnostic [valueFlowBailoutIncompleteVar]
tree.c:3268:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable elist__ [valueFlowBailoutIncompleteVar]
tree.c:3281:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable number__ [valueFlowBailoutIncompleteVar]
tree.c:3295:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ifthenelse__ [valueFlowBailoutIncompleteVar]
tree.c:3311:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable variable__ [valueFlowBailoutIncompleteVar]
tree.c:3325:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sumrepdice__ [valueFlowBailoutIncompleteVar]
tree.c:3340:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sumrepany__ [valueFlowBailoutIncompleteVar]
tree.c:3355:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable scat__ [valueFlowBailoutIncompleteVar]
tree.c:3370:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rep__ [valueFlowBailoutIncompleteVar]
tree.c:3385:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable range__ [valueFlowBailoutIncompleteVar]
tree.c:3400:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lcat__ [valueFlowBailoutIncompleteVar]
tree.c:3415:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable let__ [valueFlowBailoutIncompleteVar]
tree.c:3431:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable foreach__ [valueFlowBailoutIncompleteVar]
tree.c:3447:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable whiledo__ [valueFlowBailoutIncompleteVar]
tree.c:3463:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable plus__ [valueFlowBailoutIncompleteVar]
tree.c:3478:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable minus__ [valueFlowBailoutIncompleteVar]
tree.c:3493:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable multi__ [valueFlowBailoutIncompleteVar]
tree.c:3508:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable divi__ [valueFlowBailoutIncompleteVar]
tree.c:3523:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mod__ [valueFlowBailoutIncompleteVar]
tree.c:3538:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable expo__ [valueFlowBailoutIncompleteVar]
tree.c:3553:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable first__ [valueFlowBailoutIncompleteVar]
tree.c:3569:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable last__ [valueFlowBailoutIncompleteVar]
tree.c:3585:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable high__ [valueFlowBailoutIncompleteVar]
tree.c:3601:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable low__ [valueFlowBailoutIncompleteVar]
tree.c:3617:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable comparison__ [valueFlowBailoutIncompleteVar]
tree.c:3634:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable negate__ [valueFlowBailoutIncompleteVar]
tree.c:3648:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable dice__ [valueFlowBailoutIncompleteVar]
tree.c:3662:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sum__ [valueFlowBailoutIncompleteVar]
tree.c:3676:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable prod__ [valueFlowBailoutIncompleteVar]
tree.c:3690:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable count__ [valueFlowBailoutIncompleteVar]
tree.c:3704:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable perm__ [valueFlowBailoutIncompleteVar]
tree.c:3718:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sort__ [valueFlowBailoutIncompleteVar]
tree.c:3732:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rev__ [valueFlowBailoutIncompleteVar]
par.c:1310:5: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg]
par.c:2039:45: style: Comparing expression of type 'unsigned int' against value 4294967295. Condition is always true. [compareValueOutOfTypeRangeError]
par.c:1563:15: style: Condition 'yyn==0' is always true [knownConditionTrueFalse]
par.c:1560:16: note: Assignment 'yyn=yytable[yyn]', assigned value is greater than -1
par.c:1561:11: note: Assuming that condition 'yyn<=0' is not redundant
par.c:1563:15: note: Condition 'yyn==0' is always true
par.y:38:27: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
par.y:65:52: note: Assuming allocation function fails
par.y:65:27: note: Assignment 'hash=(struct val_list**)malloc(sizeof(struct val_list*)*count)', assigned value is 0
par.y:75:17: note: Calling function 'list_quicksort', 1st argument 'hash' value is 0
par.y:38:27: note: Null pointer dereference
par.y:38:38: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
par.y:65:52: note: Assuming allocation function fails
par.y:65:27: note: Assignment 'hash=(struct val_list**)malloc(sizeof(struct val_list*)*count)', assigned value is 0
par.y:75:17: note: Calling function 'list_quicksort', 1st argument 'hash' value is 0
par.y:38:38: note: Null pointer dereference
par.y:39:27: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
par.y:65:52: note: Assuming allocation function fails
par.y:65:27: note: Assignment 'hash=(struct val_list**)malloc(sizeof(struct val_list*)*count)', assigned value is 0
par.y:75:17: note: Calling function 'list_quicksort', 1st argument 'hash' value is 0
par.y:39:27: note: Null pointer dereference
par.y:39:53: warning: If memory allocation fails, then there is a possible null pointer dereference: data [nullPointerOutOfMemory]
par.y:65:52: note: Assuming allocation function fails
par.y:65:27: note: Assignment 'hash=(struct val_list**)malloc(sizeof(struct val_list*)*count)', assigned value is 0
par.y:75:17: note: Calling function 'list_quicksort', 1st argument 'hash' value is 0
par.y:39:53: note: Null pointer dereference
par.y:70:3: warning: If memory allocation fails, then there is a possible null pointer dereference: hash [nullPointerOutOfMemory]
par.y:65:52: note: Assuming allocation function fails
par.y:65:27: note: Assignment 'hash=(struct val_list**)malloc(sizeof(struct val_list*)*count)', assigned value is 0
par.y:70:3: note: Null pointer dereference
par.y:77:3: warning: If memory allocation fails, then there is a possible null pointer dereference: hash [nullPointerOutOfMemory]
par.y:65:52: note: Assuming allocation function fails
par.y:65:27: note: Assignment 'hash=(struct val_list**)malloc(sizeof(struct val_list*)*count)', assigned value is 0
par.y:77:3: note: Null pointer dereference
par.y:77:19: warning: If memory allocation fails, then there is a possible null pointer dereference: hash [nullPointerOutOfMemory]
par.y:65:52: note: Assuming allocation function fails
par.y:65:27: note: Assignment 'hash=(struct val_list**)malloc(sizeof(struct val_list*)*count)', assigned value is 0
par.y:77:19: note: Null pointer dereference
par.y:79:2: warning: If memory allocation fails, then there is a possible null pointer dereference: hash [nullPointerOutOfMemory]
par.y:65:52: note: Assuming allocation function fails
par.y:65:27: note: Assignment 'hash=(struct val_list**)malloc(sizeof(struct val_list*)*count)', assigned value is 0
par.y:79:2: note: Null pointer dereference
par.y:80:7: warning: If memory allocation fails, then there is a possible null pointer dereference: hash [nullPointerOutOfMemory]
par.y:65:52: note: Assuming allocation function fails
par.y:65:27: note: Assignment 'hash=(struct val_list**)malloc(sizeof(struct val_list*)*count)', assigned value is 0
par.y:80:7: note: Null pointer dereference
par.y:124:25: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:129:26: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:130:44: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:139:24: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:139:59: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:140:26: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:142:28: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:143:42: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:161:27: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:162:45: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:193:33: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:198:33: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:203:47: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:208:49: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:218:47: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:223:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:228:71: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:233:71: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:238:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:243:69: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:248:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:253:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:258:45: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:263:44: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:268:45: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:273:46: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:278:69: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:293:71: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:298:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:303:45: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:308:45: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:313:44: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:318:33: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:323:101: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:328:69: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:333:73: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:338:73: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:343:71: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:348:71: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:353:71: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:358:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:363:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:368:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:373:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:378:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:383:70: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:388:69: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:393:69: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:398:69: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:403:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:408:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:413:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:418:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:423:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:428:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:433:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:438:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:443:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:448:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:453:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:458:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:463:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:468:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:473:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:478:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:483:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.y:488:76: style: Same expression on both sides of '-'. [duplicateExpression]
par.c:1098:5: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
par.c:1125:5: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
par.y:144:21: style: Variable 'cl' can be declared as pointer to const [constVariablePointer]
par.y:262:19: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
eval.tc:244:16: style: Array index 'i' is used before limits check. [arrayIndexThenCheck]
optimize.tc:87:1: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
optimize.tc:147:1: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
eval.tc:26:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
eval.tc:25:49: note: Assuming allocation function fails
eval.tc:25:25: note: Assignment 'ret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:26:2: note: Null pointer dereference
eval.tc:27:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
eval.tc:25:49: note: Assuming allocation function fails
eval.tc:25:25: note: Assignment 'ret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:27:2: note: Null pointer dereference
eval.tc:28:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
eval.tc:25:49: note: Assuming allocation function fails
eval.tc:25:25: note: Assignment 'ret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:28:2: note: Null pointer dereference
eval.tc:29:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
eval.tc:25:49: note: Assuming allocation function fails
eval.tc:25:25: note: Assignment 'ret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:29:2: note: Null pointer dereference
eval.tc:30:12: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
eval.tc:25:49: note: Assuming allocation function fails
eval.tc:25:25: note: Assignment 'ret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:30:12: note: Null pointer dereference
eval.tc:44:25: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:539:11: note: Assuming allocation function fails
eval.tc:538:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:595:19: note: Calling function 'list_add', 2nd argument 'cret' value is 0
eval.tc:44:25: note: Null pointer dereference
eval.tc:45:28: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:539:11: note: Assuming allocation function fails
eval.tc:538:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:595:19: note: Calling function 'list_add', 2nd argument 'cret' value is 0
eval.tc:45:28: note: Null pointer dereference
eval.tc:46:5: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:539:11: note: Assuming allocation function fails
eval.tc:538:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:595:19: note: Calling function 'list_add', 2nd argument 'cret' value is 0
eval.tc:46:5: note: Null pointer dereference
eval.tc:779:10: warning: If memory allocation fails, then there is a possible null pointer dereference: cdata [nullPointerOutOfMemory]
eval.tc:778:28: note: Assuming allocation function fails
eval.tc:778:16: note: Assignment 'cdata=(int*)malloc(ccount*sizeof(int))', assigned value is 0
eval.tc:779:10: note: Null pointer dereference
eval.tc:785:4: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:784:47: note: Assuming allocation function fails
eval.tc:784:25: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:785:4: note: Null pointer dereference
eval.tc:786:4: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:784:47: note: Assuming allocation function fails
eval.tc:784:25: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:786:4: note: Null pointer dereference
eval.tc:787:4: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:784:47: note: Assuming allocation function fails
eval.tc:784:25: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:787:4: note: Null pointer dereference
eval.tc:787:7: warning: If memory allocation fails, then there is a possible null pointer dereference: nst->rvalue [nullPointerOutOfMemory]
eval.tc:786:44: note: Assuming allocation function fails
eval.tc:786:18: note: Assignment 'nst->rvalue=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
eval.tc:787:7: note: Null pointer dereference
eval.tc:788:4: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:784:47: note: Assuming allocation function fails
eval.tc:784:25: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:788:4: note: Null pointer dereference
eval.tc:789:11: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:784:47: note: Assuming allocation function fails
eval.tc:784:25: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:789:11: note: Null pointer dereference
eval.tc:790:4: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:784:47: note: Assuming allocation function fails
eval.tc:784:25: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:790:4: note: Null pointer dereference
eval.tc:804:14: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:784:47: note: Assuming allocation function fails
eval.tc:784:25: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:804:14: note: Null pointer dereference
roll.tc:521:4: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:520:36: note: Assuming allocation function fails
roll.tc:520:10: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:521:4: note: Null pointer dereference
roll.tc:522:11: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:520:36: note: Assuming allocation function fails
roll.tc:520:10: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:522:11: note: Null pointer dereference
roll.tc:524:4: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:520:36: note: Assuming allocation function fails
roll.tc:520:10: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:524:4: note: Null pointer dereference
roll.tc:535:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:534:35: note: Assuming allocation function fails
roll.tc:534:9: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:535:3: note: Null pointer dereference
roll.tc:536:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:534:35: note: Assuming allocation function fails
roll.tc:534:9: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:536:3: note: Null pointer dereference
roll.tc:537:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:534:35: note: Assuming allocation function fails
roll.tc:534:9: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:537:3: note: Null pointer dereference
optimize.tc:115:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cache [nullPointerOutOfMemory]
optimize.tc:113:35: note: Assuming allocation function fails
optimize.tc:113:35: note: Assignment 'cache=malloc(sizeof(double)*expected)', assigned value is 0
optimize.tc:115:17: note: Null pointer dereference
optimize.tc:121:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:120:45: note: Assuming allocation function fails
optimize.tc:120:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:121:17: note: Null pointer dereference
optimize.tc:122:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:120:45: note: Assuming allocation function fails
optimize.tc:120:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:122:17: note: Null pointer dereference
optimize.tc:123:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:120:45: note: Assuming allocation function fails
optimize.tc:120:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:123:17: note: Null pointer dereference
optimize.tc:125:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:120:45: note: Assuming allocation function fails
optimize.tc:120:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:125:17: note: Null pointer dereference
optimize.tc:126:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:120:45: note: Assuming allocation function fails
optimize.tc:120:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:126:17: note: Null pointer dereference
optimize.tc:184:13: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:183:41: note: Assuming allocation function fails
optimize.tc:183:17: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:184:13: note: Null pointer dereference
optimize.tc:185:13: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:183:41: note: Assuming allocation function fails
optimize.tc:183:17: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:185:13: note: Null pointer dereference
optimize.tc:186:13: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:183:41: note: Assuming allocation function fails
optimize.tc:183:17: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:186:13: note: Null pointer dereference
optimize.tc:187:13: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:183:41: note: Assuming allocation function fails
optimize.tc:183:17: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:187:13: note: Null pointer dereference
optimize.tc:188:13: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:183:41: note: Assuming allocation function fails
optimize.tc:183:17: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:188:13: note: Null pointer dereference
optimize.tc:195:18: warning: If memory allocation fails, then there is a possible null pointer dereference: cache [nullPointerOutOfMemory]
optimize.tc:193:35: note: Assuming allocation function fails
optimize.tc:193:35: note: Assignment 'cache=malloc(sizeof(double)*expected)', assigned value is 0
optimize.tc:195:18: note: Null pointer dereference
optimize.tc:200:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:199:45: note: Assuming allocation function fails
optimize.tc:199:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:200:17: note: Null pointer dereference
optimize.tc:201:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:199:45: note: Assuming allocation function fails
optimize.tc:199:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:201:17: note: Null pointer dereference
optimize.tc:202:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:199:45: note: Assuming allocation function fails
optimize.tc:199:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:202:17: note: Null pointer dereference
optimize.tc:204:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:199:45: note: Assuming allocation function fails
optimize.tc:199:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:204:17: note: Null pointer dereference
optimize.tc:205:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:199:45: note: Assuming allocation function fails
optimize.tc:199:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:205:17: note: Null pointer dereference
optimize.tc:206:21: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
optimize.tc:199:45: note: Assuming allocation function fails
optimize.tc:199:21: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
optimize.tc:206:21: note: Null pointer dereference
roll.tc:502:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:501:45: note: Assuming allocation function fails
roll.tc:501:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:502:2: note: Null pointer dereference
roll.tc:503:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:501:45: note: Assuming allocation function fails
roll.tc:501:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:503:2: note: Null pointer dereference
roll.tc:504:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:501:45: note: Assuming allocation function fails
roll.tc:501:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:504:2: note: Null pointer dereference
roll.tc:508:12: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:501:45: note: Assuming allocation function fails
roll.tc:501:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:508:12: note: Null pointer dereference
ordering.tc:97:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
ordering.tc:96:45: note: Assuming allocation function fails
ordering.tc:96:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
ordering.tc:97:2: note: Null pointer dereference
ordering.tc:98:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
ordering.tc:96:45: note: Assuming allocation function fails
ordering.tc:96:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
ordering.tc:98:2: note: Null pointer dereference
ordering.tc:99:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
ordering.tc:96:45: note: Assuming allocation function fails
ordering.tc:96:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
ordering.tc:99:2: note: Null pointer dereference
ordering.tc:102:28: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
ordering.tc:96:45: note: Assuming allocation function fails
ordering.tc:96:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
ordering.tc:102:28: note: Null pointer dereference
eval.tc:679:3: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:678:46: note: Assuming allocation function fails
eval.tc:678:24: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:679:3: note: Null pointer dereference
eval.tc:680:3: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:678:46: note: Assuming allocation function fails
eval.tc:678:24: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:680:3: note: Null pointer dereference
eval.tc:681:3: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:678:46: note: Assuming allocation function fails
eval.tc:678:24: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:681:3: note: Null pointer dereference
eval.tc:681:6: warning: If memory allocation fails, then there is a possible null pointer dereference: nst->rvalue [nullPointerOutOfMemory]
eval.tc:680:43: note: Assuming allocation function fails
eval.tc:680:17: note: Assignment 'nst->rvalue=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
eval.tc:681:6: note: Null pointer dereference
eval.tc:682:3: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:678:46: note: Assuming allocation function fails
eval.tc:678:24: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:682:3: note: Null pointer dereference
eval.tc:683:10: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:678:46: note: Assuming allocation function fails
eval.tc:678:24: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:683:10: note: Null pointer dereference
eval.tc:684:3: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:678:46: note: Assuming allocation function fails
eval.tc:678:24: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:684:3: note: Null pointer dereference
eval.tc:697:13: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:678:46: note: Assuming allocation function fails
eval.tc:678:24: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:697:13: note: Null pointer dereference
roll.tc:547:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:546:9: note: Assuming allocation function fails
roll.tc:545:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:547:2: note: Null pointer dereference
roll.tc:548:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:546:9: note: Assuming allocation function fails
roll.tc:545:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:548:2: note: Null pointer dereference
roll.tc:550:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:549:45: note: Assuming allocation function fails
roll.tc:549:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:550:2: note: Null pointer dereference
roll.tc:551:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:549:45: note: Assuming allocation function fails
roll.tc:549:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:551:2: note: Null pointer dereference
roll.tc:552:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:549:45: note: Assuming allocation function fails
roll.tc:549:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:552:2: note: Null pointer dereference
roll.tc:552:5: warning: If memory allocation fails, then there is a possible null pointer dereference: nst->rvalue [nullPointerOutOfMemory]
roll.tc:551:42: note: Assuming allocation function fails
roll.tc:551:16: note: Assignment 'nst->rvalue=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:552:5: note: Null pointer dereference
roll.tc:553:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:549:45: note: Assuming allocation function fails
roll.tc:549:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:553:2: note: Null pointer dereference
roll.tc:554:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:549:45: note: Assuming allocation function fails
roll.tc:549:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:554:2: note: Null pointer dereference
roll.tc:558:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:549:45: note: Assuming allocation function fails
roll.tc:549:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:558:3: note: Null pointer dereference
roll.tc:561:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:546:9: note: Assuming allocation function fails
roll.tc:545:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:561:3: note: Null pointer dereference
roll.tc:561:31: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:546:9: note: Assuming allocation function fails
roll.tc:545:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:561:31: note: Null pointer dereference
roll.tc:562:5: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:546:9: note: Assuming allocation function fails
roll.tc:545:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:562:5: note: Null pointer dereference
roll.tc:565:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:546:9: note: Assuming allocation function fails
roll.tc:545:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:565:3: note: Null pointer dereference
roll.tc:569:12: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:549:45: note: Assuming allocation function fails
roll.tc:549:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:569:12: note: Null pointer dereference
eval.tc:714:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:713:45: note: Assuming allocation function fails
eval.tc:713:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:714:2: note: Null pointer dereference
eval.tc:715:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:713:45: note: Assuming allocation function fails
eval.tc:713:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:715:2: note: Null pointer dereference
eval.tc:716:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:713:45: note: Assuming allocation function fails
eval.tc:713:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:716:2: note: Null pointer dereference
eval.tc:716:5: warning: If memory allocation fails, then there is a possible null pointer dereference: nst->rvalue [nullPointerOutOfMemory]
eval.tc:715:42: note: Assuming allocation function fails
eval.tc:715:16: note: Assignment 'nst->rvalue=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
eval.tc:716:5: note: Null pointer dereference
eval.tc:717:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:713:45: note: Assuming allocation function fails
eval.tc:713:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:717:2: note: Null pointer dereference
eval.tc:718:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:713:45: note: Assuming allocation function fails
eval.tc:713:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:718:2: note: Null pointer dereference
eval.tc:725:4: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
eval.tc:713:45: note: Assuming allocation function fails
eval.tc:713:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
eval.tc:725:4: note: Null pointer dereference
roll.tc:579:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:577:53: note: Assuming allocation function fails
roll.tc:577:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:579:2: note: Null pointer dereference
roll.tc:580:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:577:53: note: Assuming allocation function fails
roll.tc:577:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:580:2: note: Null pointer dereference
roll.tc:582:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:581:45: note: Assuming allocation function fails
roll.tc:581:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:582:2: note: Null pointer dereference
roll.tc:583:2: warning: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:581:45: note: Assuming allocation function fails
roll.tc:581:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:583:2: note: Null pointer dereference
roll.tc:587:2: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:581:45: note: Assuming allocation function fails
roll.tc:581:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:587:2: note: Null pointer dereference
roll.tc:589:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:577:53: note: Assuming allocation function fails
roll.tc:577:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:589:2: note: Null pointer dereference
roll.tc:589:30: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:577:53: note: Assuming allocation function fails
roll.tc:577:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:589:30: note: Null pointer dereference
roll.tc:590:31: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:577:53: note: Assuming allocation function fails
roll.tc:577:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:590:31: note: Null pointer dereference
roll.tc:592:2: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:577:53: note: Assuming allocation function fails
roll.tc:577:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:592:2: note: Null pointer dereference
roll.tc:596:13: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:581:45: note: Assuming allocation function fails
roll.tc:581:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:596:13: note: Null pointer dereference
roll.tc:597:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nst [nullPointerOutOfMemory]
roll.tc:581:45: note: Assuming allocation function fails
roll.tc:581:23: note: Assignment 'nst=(struct symtab*)malloc(sizeof(struct symtab))', assigned value is 0
roll.tc:597:3: note: Null pointer dereference
roll.tc:599:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:577:53: note: Assuming allocation function fails
roll.tc:577:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:599:3: note: Null pointer dereference
roll.tc:599:31: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:577:53: note: Assuming allocation function fails
roll.tc:577:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:599:31: note: Null pointer dereference
roll.tc:600:32: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:577:53: note: Assuming allocation function fails
roll.tc:577:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:600:32: note: Null pointer dereference
roll.tc:603:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ret [nullPointerOutOfMemory]
roll.tc:577:53: note: Assuming allocation function fails
roll.tc:577:27: note: Assignment 'ret=(struct roll_value*)malloc(sizeof(struct roll_value))', assigned value is 0
roll.tc:603:3: note: Null pointer dereference
eval.tc:358:4: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:357:11: note: Assuming allocation function fails
eval.tc:356:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:358:4: note: Null pointer dereference
eval.tc:373:4: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:357:11: note: Assuming allocation function fails
eval.tc:356:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:373:4: note: Null pointer dereference
eval.tc:404:4: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:403:11: note: Assuming allocation function fails
eval.tc:402:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:404:4: note: Null pointer dereference
eval.tc:423:4: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:403:11: note: Assuming allocation function fails
eval.tc:402:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:423:4: note: Null pointer dereference
roll.tc:393:9: warning: If memory allocation fails, then there is a possible null pointer dereference: slist [nullPointerOutOfMemory]
roll.tc:391:27: note: Assuming allocation function fails
roll.tc:391:15: note: Assignment 'slist=(int*)malloc(sizeof(int)*exp->count)', assigned value is 0
roll.tc:393:9: note: Null pointer dereference
roll.tc:394:9: warning: If memory allocation fails, then there is a possible null pointer dereference: mask [nullPointerOutOfMemory]
roll.tc:392:26: note: Assuming allocation function fails
roll.tc:392:14: note: Assignment 'mask=(int*)malloc(sizeof(int)*exp->count)', assigned value is 0
roll.tc:394:9: note: Null pointer dereference
eval.tc:454:4: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:453:11: note: Assuming allocation function fails
eval.tc:452:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:454:4: note: Null pointer dereference
eval.tc:461:11: warning: If memory allocation fails, then there is a possible null pointer dereference: slist [nullPointerOutOfMemory]
eval.tc:459:29: note: Assuming allocation function fails
eval.tc:459:17: note: Assignment 'slist=(int*)malloc(sizeof(int)*cexp->count)', assigned value is 0
eval.tc:461:11: note: Null pointer dereference
eval.tc:462:11: warning: If memory allocation fails, then there is a possible null pointer dereference: mask [nullPointerOutOfMemory]
eval.tc:460:28: note: Assuming allocation function fails
eval.tc:460:16: note: Assignment 'mask=(int*)malloc(sizeof(int)*cexp->count)', assigned value is 0
eval.tc:462:11: note: Null pointer dereference
eval.tc:509:4: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:453:11: note: Assuming allocation function fails
eval.tc:452:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:509:4: note: Null pointer dereference
roll.tc:334:9: warning: If memory allocation fails, then there is a possible null pointer dereference: slist [nullPointerOutOfMemory]
roll.tc:332:27: note: Assuming allocation function fails
roll.tc:332:15: note: Assignment 'slist=(int*)malloc(sizeof(int)*exp->count)', assigned value is 0
roll.tc:334:9: note: Null pointer dereference
roll.tc:335:9: warning: If memory allocation fails, then there is a possible null pointer dereference: mask [nullPointerOutOfMemory]
roll.tc:333:26: note: Assuming allocation function fails
roll.tc:333:14: note: Assignment 'mask=(int*)malloc(sizeof(int)*exp->count)', assigned value is 0
roll.tc:335:9: note: Null pointer dereference
eval.tc:540:4: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:539:11: note: Assuming allocation function fails
eval.tc:538:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:540:4: note: Null pointer dereference
eval.tc:547:11: warning: If memory allocation fails, then there is a possible null pointer dereference: slist [nullPointerOutOfMemory]
eval.tc:545:29: note: Assuming allocation function fails
eval.tc:545:17: note: Assignment 'slist=(int*)malloc(sizeof(int)*cexp->count)', assigned value is 0
eval.tc:547:11: note: Null pointer dereference
eval.tc:548:11: warning: If memory allocation fails, then there is a possible null pointer dereference: mask [nullPointerOutOfMemory]
eval.tc:546:28: note: Assuming allocation function fails
eval.tc:546:16: note: Assignment 'mask=(int*)malloc(sizeof(int)*cexp->count)', assigned value is 0
eval.tc:548:11: note: Null pointer dereference
eval.tc:594:4: warning: If memory allocation fails, then there is a possible null pointer dereference: cret [nullPointerOutOfMemory]
eval.tc:539:11: note: Assuming allocation function fails
eval.tc:538:28: note: Assignment 'cret=(struct val_list*)malloc(sizeof(struct val_list))', assigned value is 0
eval.tc:594:4: note: Null pointer dereference
eval.tc:318:19: style: Variable 'ce2' can be declared as pointer to const [constVariablePointer]
eval.tc:733:22: style: Variable 'ccur' can be declared as pointer to const [constVariablePointer]
eval.tc:772:26: style: Parameter 'data' can be declared as pointer to const [constParameterPointer]
eval.tc:774:19: style: Variable 'cv' can be declared as pointer to const [constVariablePointer]
eval.tc:938:19: style: Parameter 'data' can be declared as pointer to const. However it seems that 'cb_perm' is a callback function, if 'data' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
eval.tc:960:47: note: You might need to cast the function pointer here
eval.tc:938:19: note: Parameter 'data' can be declared as pointer to const
eval.tc:1041:17: style: Variable 'nst' can be declared as pointer to const [constVariablePointer]
optimize.tc:47:22: style: Variable 'cdist' can be declared as pointer to const [constVariablePointer]
tree.c:519:31: style: Parameter 'this' can be declared as pointer to const. However it seems that 'elist_printtree__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:553:43: note: You might need to cast the function pointer here
tree.c:519:31: note: Parameter 'this' can be declared as pointer to const
tree.c:536:32: style: Parameter 'this' can be declared as pointer to const. However it seems that 'elist_set_symtab__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:555:52: note: You might need to cast the function pointer here
tree.c:536:32: note: Parameter 'this' can be declared as pointer to const
tree.c:536:54: style: Parameter 'st' can be declared as pointer to const. However it seems that 'elist_set_symtab__' is a callback function, if 'st' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:555:52: note: You might need to cast the function pointer here
tree.c:536:54: note: Parameter 'st' can be declared as pointer to const
tree.c:542:39: style: Parameter 'this' can be declared as pointer to const. However it seems that 'elist_eval__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:557:45: note: You might need to cast the function pointer here
tree.c:542:39: note: Parameter 'this' can be declared as pointer to const
tree.c:636:33: style: Parameter 'this' can be declared as pointer to const. However it seems that 'number_printtree__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:671:43: note: You might need to cast the function pointer here
tree.c:636:33: note: Parameter 'this' can be declared as pointer to const
tree.c:652:34: style: Parameter 'this' can be declared as pointer to const. However it seems that 'number_set_symtab__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:673:52: note: You might need to cast the function pointer here
tree.c:652:34: note: Parameter 'this' can be declared as pointer to const
tree.c:652:56: style: Parameter 'st' can be declared as pointer to const. However it seems that 'number_set_symtab__' is a callback function, if 'st' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:673:52: note: You might need to cast the function pointer here
tree.c:652:56: note: Parameter 'st' can be declared as pointer to const
tree.c:658:41: style: Parameter 'this' can be declared as pointer to const. However it seems that 'number_eval__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:675:45: note: You might need to cast the function pointer here
tree.c:658:41: note: Parameter 'this' can be declared as pointer to const
tree.c:781:37: style: Parameter 'this' can be declared as pointer to const. However it seems that 'variable_printtree__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:874:43: note: You might need to cast the function pointer here
tree.c:781:37: note: Parameter 'this' can be declared as pointer to const
tree.c:789:47: style: Parameter 'this' can be declared as pointer to const. However it seems that 'variable_roll__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:875:47: note: You might need to cast the function pointer here
tree.c:789:47: note: Parameter 'this' can be declared as pointer to const
tree.c:846:45: style: Parameter 'this' can be declared as pointer to const. However it seems that 'variable_eval__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:878:45: note: You might need to cast the function pointer here
tree.c:846:45: note: Parameter 'this' can be declared as pointer to const
tree.c:882:41: style: Parameter 'this' can be declared as pointer to const. However it seems that 'sumrepdice_printtree__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:952:43: note: You might need to cast the function pointer here
tree.c:882:41: note: Parameter 'this' can be declared as pointer to const
tree.c:889:51: style: Parameter 'this' can be declared as pointer to const. However it seems that 'sumrepdice_roll__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:953:47: note: You might need to cast the function pointer here
tree.c:889:51: note: Parameter 'this' can be declared as pointer to const
tree.c:896:42: style: Parameter 'this' can be declared as pointer to const. However it seems that 'sumrepdice_set_symtab__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:954:52: note: You might need to cast the function pointer here
tree.c:896:42: note: Parameter 'this' can be declared as pointer to const
tree.c:896:64: style: Parameter 'st' can be declared as pointer to const. However it seems that 'sumrepdice_set_symtab__' is a callback function, if 'st' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:954:52: note: You might need to cast the function pointer here
tree.c:896:64: note: Parameter 'st' can be declared as pointer to const
tree.c:960:39: style: Parameter 'this' can be declared as pointer to const. However it seems that 'sumrepany_printtree__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:1054:43: note: You might need to cast the function pointer here
tree.c:960:39: note: Parameter 'this' can be declared as pointer to const
tree.c:967:49: style: Parameter 'this' can be declared as pointer to const. However it seems that 'sumrepany_roll__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:1055:47: note: You might need to cast the function pointer here
tree.c:967:49: note: Parameter 'this' can be declared as pointer to const
tree.c:974:40: style: Parameter 'this' can be declared as pointer to const. However it seems that 'sumrepany_set_symtab__' is a callback function, if 'this' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:1056:52: note: You might need to cast the function pointer here
tree.c:974:40: note: Parameter 'this' can be declared as pointer to const
tree.c:974:62: style: Parameter 'st' can be declared as pointer to const. However it seems that 'sumrepany_set_symtab__' is a callback function, if 'st' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
tree.c:1056:52: note: You might need to cast the function pointer here
tree.c:974:62: note: Parameter 'st' can be declared as pointer to const
c_skel.c:217:28: style: Variable 'saved_block__' can be declared as pointer to const [constVariablePointer]
eval.tc:229:13: warning: Uninitialized variable: index [uninitvar]
eval.tc:218:11: note: Assuming condition is false
eval.tc:229:13: note: Uninitialized variable: index
roll.tc:144:29: error: Uninitialized variable: roll [legacyUninitvar]
roll.tc:279:6: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
diff:
head dicelab-0.7/util.c:100:20: style:inconclusive: Function 'all_permutations' argument 5 names different: declaration '<unnamed>' definition 'farg'. [funcArgNamesDifferentUnnamed]
head dicelab-0.7/util.c:100:9: style:inconclusive: Function 'all_permutations' argument 4 names different: declaration '<unnamed>' definition 'arg'. [funcArgNamesDifferentUnnamed]
head lex.c:1978:27: style:inconclusive: Function 'yyalloc' argument 1 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head lex.c:1983:26: style:inconclusive: Function 'yyrealloc' argument 1 names different: declaration '<unnamed>' definition 'ptr'. [funcArgNamesDifferentUnnamed]
head lex.c:1983:42: style:inconclusive: Function 'yyrealloc' argument 2 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head lex.c:1995:21: style:inconclusive: Function 'yyfree' argument 1 names different: declaration '<unnamed>' definition 'ptr'. [funcArgNamesDifferentUnnamed]
head par.c:2039:45: style: Comparing expression of type 'unsigned int' against value 4294967295. Condition is always true. [compareValueOutOfTypeRangeError]


DONE