2026-08-30 20:51
ftp://ftp.de.debian.org/debian/pool/main/c/calcium/calcium_0.4.1.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 -j96
platform: Linux-6.8.0-137-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.4.0
compiler: g++ (Ubuntu 13.3.0-6ubuntu2~24.04.1) 13.3.0
cppcheck: head 2.21.0
head-info: c646f39 (2026-08-30 15:08:33 +0200)
count: 715 716
elapsed-time: 39.8 4.3
head-timing-info:

old-timing-info:

head results:
calcium-0.4.1/ca/abs.c:40:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_QQBAR_DEG_LIMIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/arg.c:65:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Arg [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/can_evaluate_qqbar.c:20:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Sqrt [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/ceil.c:47:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_PREC_LIMIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_algebraic.c:21:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/asin.c:17:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_algebraic.c:37:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_i.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/asin.c:119:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Asin [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_equal.c:25:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/asin.c:125:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_TRIG_FORM [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/atan.c:17:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_imaginary.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_infinity.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_integer.c:21:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_neg_i_inf.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_neg_inf.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/atan.c:112:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_LOW_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/atan.c:168:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_neg_i.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/atan.c:201:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_TRIG_FORM [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_neg_one.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_negative_real.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_number.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_ge.c:35:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_pos_i_inf.c:21:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_pos_inf.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_ge.c:225:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_one.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_ge.c:239:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_ge.c:253:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_ge.c:267:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_signed_inf.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_rational.c:21:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_real.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_uinf.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_undefined.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/add.c:35:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fmpz_mpoly_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/add.c:311:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_zero.c:22:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_zero.c:39:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/clear.c:21:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_SPECIAL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_zero.c:90:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/clear.c:47:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_SPECIAL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_zero.c:160:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/csgn.c:24:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/condense_field.c:49:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_INF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/ctx_init.c:23:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/erf.c:21:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/erfc.c:21:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/erfi.c:21:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/euler.c:17:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Euler [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/div.c:42:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/div.c:195:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/conj.c:35:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Conjugate [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/conj.c:47:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_QQBar [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/factor_insert.c:34:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/conj.c:138:74: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/conj.c:227:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/factor.c:37:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_FACTOR_ZZ_FULL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/conj.c:372:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/factor.c:77:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_FACTOR_ZZ_SMOOTH [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_imaginary.c:87:22: style: The if condition is the same as the previous if condition [duplicateCondition]
calcium-0.4.1/ca/check_is_imaginary.c:73:22: note: First condition
calcium-0.4.1/ca/check_is_imaginary.c:87:22: note: Second condition
calcium-0.4.1/ca/factor.c:137:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_FACTOR_POLY_CONTENT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/floor.c:47:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_PREC_LIMIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/exp.c:82:78: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable coeffs [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/exp.c:104:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_equal.c:99:11: style: Condition '0&&x_alg==T_TRUE' is always false [knownConditionTrueFalse]
calcium-0.4.1/ca/gamma.c:23:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Gamma [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/gamma.c:35:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Gamma [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_acb_raw.c:57:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/gamma.c:85:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_PREC_LIMIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_acb.c:23:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_PREC_LIMIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_qqbar.c:234:52: error: syntax error [syntaxError]
calcium-0.4.1/ca/check_is_real.c:83:22: style: The if condition is the same as the previous if condition [duplicateCondition]
calcium-0.4.1/ca/check_is_real.c:70:22: note: First condition
calcium-0.4.1/ca/check_is_real.c:83:22: note: Second condition
calcium-0.4.1/ca/get_acb.c:53:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_PREC_LIMIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/im.c:41:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_acb.c:106:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARB_STR_NO_RADIUS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/hash_repr.c:36:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable flag [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/inv.c:45:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/inv.c:79:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/make_field_element.c:29:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_SPECIAL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_fexpr.c:86:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Add [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/neg.c:37:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_SPECIAL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/equal_repr.c:24:25: style: Return value 'x->field==y->field' is always true [knownConditionTrueFalse]
calcium-0.4.1/ca/equal_repr.c:20:18: note: Assuming that condition 'x->field!=y->field' is not redundant
calcium-0.4.1/ca/equal_repr.c:23:26: note: Assuming condition is true
calcium-0.4.1/ca/equal_repr.c:24:25: note: Return value 'x->field==y->field' is always true
calcium-0.4.1/ca/get_fexpr.c:108:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/neg_i_inf.c:18:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_INF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_fexpr.c:165:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Unknown [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/mul.c:178:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/neg_inf.c:18:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_INF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/fmpz_mpoly_evaluate.c:87:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TMP_INIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_fexpr.c:288:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_FEXPR_SERIALIZATION [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_fexpr.c:392:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Unknown [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/log.c:40:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable coeffs [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/pi.c:17:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Pi [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/log.c:125:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/log.c:172:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/merge_fields.c:20:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/pos_i_inf.c:18:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_INF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/log.c:203:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/merge_fields.c:91:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/pos_inf.c:18:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_INF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/printn.c:18:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_PRINT_FLAGS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/re.c:41:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/randtest.c:114:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/set.c:23:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_SPECIAL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/pow.c:19:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/rewrite_complex_normal_form.c:113:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/pow.c:192:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/rewrite_complex_normal_form.c:266:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_INF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/pow.c:227:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Pow [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/pow.c:246:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Pow [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/pow.c:368:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLINT_BITS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sgn.c:22:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_INF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/pow.c:472:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_POW_LIMIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/print.c:34:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARB_STR_NO_RADIUS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sqrt.c:24:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Sqrt [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/print.c:52:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sqrt.c:35:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Sqrt [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/print.c:203:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_QQBar [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sqrt.c:52:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_INF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/print.c:281:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_SPECIAL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sqrt.c:107:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_FACTOR_POLY_SQF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-acos.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/print.c:432:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_ext_ptr [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/set_fexpr.c:131:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Where [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/print.c:489:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_SPECIAL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-add.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-asin.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/print.c:547:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_PRINT_FLAGS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/set_qqbar.c:156:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sin_cos.c:21:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-atan.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sin_cos.c:151:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Sin [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-conj.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-ctx_init_clear.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sin_cos.c:280:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_TRIG_FORM [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sqrt_factor.c:24:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_INF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sin_cos.c:310:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sin_cos.c:364:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sin_cos.c:468:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_TRIG_FORM [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-exp.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-field_init_clear.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-div.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-erf.c:43:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-fmpz_mpoly_evaluate.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-gamma.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-get_fexpr.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-get_str.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-init_clear.c:19:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-log.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-mul.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-log_identities.c:120:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-neg.c:19:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-pow.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-pow_si_arithmetic.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-re_im.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-sin_cos.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-sqrt.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_neg_i_inf.c:25:13: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/ca/check_is_neg_inf.c:25:13: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/ca/test/t-sqrt_factor.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-sub.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-tan.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_imaginary.c:75:22: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/ca/check_is_imaginary.c:44:15: note: Shadowed variable
calcium-0.4.1/ca/check_is_imaginary.c:75:22: note: Shadow local variable
calcium-0.4.1/ca/test/t-transfer.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-properties.c:19:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/transfer.c:33:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_FEXPR_SERIALIZATION [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_pos_i_inf.c:26:13: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/ca/check_is_pos_inf.c:25:13: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/ca/uinf.c:18:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_INF [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/undefined.c:18:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_UNDEFINED [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/unknown.c:18:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_real.c:72:22: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/ca/check_is_real.c:41:15: note: Shadowed variable
calcium-0.4.1/ca/check_is_real.c:72:22: note: Shadow local variable
calcium-0.4.1/ca_ext/cache_init.c:26:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_ext/cache_insert.c:30:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_ext_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_ext/clear.c:18:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_QQBar [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_ext/equal_repr.c:25:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_QQBar [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_fexpr.c:352:23: style: Condition 'num_ext<=26&&0' is always false [knownConditionTrueFalse]
calcium-0.4.1/ca_ext/cmp_repr.c:75:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_QQBar [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/rewrite_complex_normal_form.c:348:19: style: Condition '0&&!CA_IS_SPECIAL(res)' is always false [knownConditionTrueFalse]
calcium-0.4.1/ca_ext/init.c:33:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_QQBar [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_ext/print.c:17:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_QQBar [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_is_negative_real.c:80:22: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/ca/check_is_negative_real.c:41:15: note: Shadowed variable
calcium-0.4.1/ca/check_is_negative_real.c:80:22: note: Shadow local variable
calcium-0.4.1/ca_ext/get_acb_raw.c:62:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_QQBar [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_ext/test/t-cache_insert.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/cache_init.c:26:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal_gamma.c:42:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Gamma [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal_erf.c:92:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TMP_INIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal_erf.c:116:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TMP_INIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/cache_insert.c:53:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_FIELD_HASH_C [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal_erf.c:148:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/cache_insert.c:88:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_ext_ptr [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/init.c:27:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fmpz_mpoly_ctx_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal_erf.c:302:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Erf [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/cache_insert.c:123:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_field_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/cmp.c:43:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/init.c:58:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_ext_ptr [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/init.c:78:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_ext_ptr [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/init.c:99:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_ext_ptr [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/init.c:120:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_ext_ptr [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/test/t-cache_insert.c:36:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/init.c:134:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_ext_ptr [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/ca_poly_evaluate.c:46:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_mat_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal.c:107:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARF_RND_NEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal.c:204:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_Sqrt [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/check_equal.c:23:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal.c:283:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/check_is_one.c:20:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal.c:394:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/charpoly_danilevsky.c:65:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/check_is_zero.c:20:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal.c:534:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_VERBOSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal.c:746:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal.c:913:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_VIETA_LIMIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_equal.c:37:14: error: Uninitialized variable: xsign [uninitvar]
calcium-0.4.1/ca_mat/det_bareiss.c:27:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/check_equal.c:38:14: error: Uninitialized variable: ysign [uninitvar]
calcium-0.4.1/ca_mat/det_lu.c:27:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/diagonalization.c:28:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/diagonalization.c:80:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/exp.c:37:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/fflu.c:48:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/find_pivot.c:19:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/find_pivot.c:31:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/find_pivot.c:60:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-get_str.c:39:14: style: Redundant assignment of 'slen' to itself. [selfAssignment]
calcium-0.4.1/ca_mat/get_fexpr.c:63:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Row [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/init.c:22:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_ptr [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/inv.c:24:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/inv.c:48:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/jordan_form.c:35:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/jordan_blocks.c:72:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/log.c:29:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/jordan_transformation.c:56:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/lu_classical.c:49:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_UNKNOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/jordan_transformation.c:184:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/lu_recursive.c:24:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/lu_recursive.c:64:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/nonsingular_fflu.c:20:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/nonsingular_lu.c:19:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/mul_same_nf.c:17:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/nonsingular_solve_adjugate.c:26:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/mul_same_nf.c:30:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/nonsingular_solve_fflu.c:26:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/mul_same_nf.c:182:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_QUADRATIC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/nonsingular_solve_lu.c:25:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/swap.c:18:6: error: Uninitialized variable: tmp [uninitvar]
calcium-0.4.1/ca/swap.c:17:10: style: Variable 'tmp' is not assigned a value. [unassignedVariable]
calcium-0.4.1/ca_mat/right_kernel.c:27:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/rref_fflu.c:46:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/rref_lu.c:24:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/solve_fflu_precomp.c:26:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/solve_lu_precomp.c:25:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/solve_tril.c:26:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/solve_triu.c:26:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal_erf.c:169:13: style: The if condition is the same as the previous if condition [duplicateCondition]
calcium-0.4.1/ca_field/build_ideal_erf.c:150:13: note: First condition
calcium-0.4.1/ca_field/build_ideal_erf.c:169:13: note: Second condition
calcium-0.4.1/ca_field/build_ideal_erf.c:226:13: style: The if condition is the same as the previous if condition [duplicateCondition]
calcium-0.4.1/ca_field/build_ideal_erf.c:207:13: note: First condition
calcium-0.4.1/ca_field/build_ideal_erf.c:226:13: note: Second condition
calcium-0.4.1/ca_mat/test/t-adjugate.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-ca_poly_evaluate.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-charpoly.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-charpoly_danilevsky.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-companion.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/charpoly.c:17:5: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
calcium-0.4.1/ca_mat/charpoly.c:21:5: note: Found duplicate branches for 'if' and 'else'.
calcium-0.4.1/ca_mat/charpoly.c:17:5: note: Found duplicate branches for 'if' and 'else'.
calcium-0.4.1/ca_mat/test/t-det.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-dft.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-diagonalization.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/test/t-get_str.c:39:14: style: Variable 'slen' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/ca_mat/test/t-exp.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-inv.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-jordan_blocks.c:36:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-jordan_form.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-jordan_blocks.c:71:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-lu.c:48:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/condense_field.c:52:13: style: Variable '*res' is assigned an expression that holds the same value. [redundantAssignment]
calcium-0.4.1/ca/condense_field.c:48:16: note: *t is assigned '*res' here.
calcium-0.4.1/ca/condense_field.c:52:13: note: Variable '*res' is assigned an expression that holds the same value.
calcium-0.4.1/ca_mat/test/t-lu.c:102:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-lu_classical.c:48:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-lu_classical.c:102:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-lu_recursive.c:48:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-mul.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-mul_same_nf.c:36:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-lu_recursive.c:102:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-nonsingular_solve.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-nonsingular_solve_adjugate.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-nonsingular_solve_fflu.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-nonsingular_solve_lu.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-rank.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-right_kernel.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-rref.c:43:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-rref_fflu.c:43:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-solve_tril.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-rref_lu.c:43:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-solve_triu.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/window_init.c:21:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_ptr [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/atan_series.c:60:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/check_equal.c:21:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/check_is_one.c:21:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/check_is_zero.c:21:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/compose_divconquer.c:43:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/div_series.c:100:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/div_series.c:134:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/divrem.c:35:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/divrem_basecase.c:26:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/divrem_basecase.c:51:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/evaluate_horner.c:22:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/fit_length.c:25:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/exp_series.c:90:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLINT_BITS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/exp_series.c:187:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/exp_series.c:243:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/gcd.c:34:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_LOW_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/gcd.c:177:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/get_fexpr.c:64:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_List [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/gcd_euclidean.c:70:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/gcd_euclidean.c:139:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/exp.c:42:13: style: Variable 'success' is reassigned a value before the old one has been used. [redundantAssignment]
calcium-0.4.1/ca_mat/exp.c:32:13: note: success is assigned
calcium-0.4.1/ca_mat/exp.c:42:13: note: success is overwritten
calcium-0.4.1/ca_poly/inv_series.c:119:13: error: There is an unknown macro here somewhere. Configuration is required. If NEWTON_INIT is a macro then please configure it. [unknownMacro]
calcium-0.4.1/ca_poly/is_proper.c:26:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/log_series.c:39:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/make_monic.c:24:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/condense_field.c:48:14: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/ca_poly/normalise.c:21:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/mullow_same_nf.c:16:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_ext/init.c:41:5: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/ca_poly/mullow_same_nf.c:30:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NF_LINEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/sqrt_factor.c:39:21: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/ca/sqrt_factor.c:35:20: note: Shadowed variable
calcium-0.4.1/ca/sqrt_factor.c:39:21: note: Shadow local variable
calcium-0.4.1/ca_poly/mullow_same_nf.c:86:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WORD_MAX [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/pow_ui_trunc.c:39:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/adjugate_cofactor.c:38:14: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/ca_mat/adjugate_cofactor.c:19:10: note: Shadowed variable
calcium-0.4.1/ca_mat/adjugate_cofactor.c:38:14: note: Shadow local variable
calcium-0.4.1/ca_mat/test/t-jordan_blocks.c:134:13: style: Condition 'success1' is always true [knownConditionTrueFalse]
calcium-0.4.1/ca_mat/test/t-jordan_blocks.c:131:20: note: Assignment 'success1=1', assigned value is 1
calcium-0.4.1/ca_mat/test/t-jordan_blocks.c:134:13: note: Condition 'success1' is always true
calcium-0.4.1/ca_poly/roots.c:97:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/set_ca.c:17:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TRUE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/roots.c:180:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/lu_classical.c:18:14: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
calcium-0.4.1/ca_poly/test/t-atan_series.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-compose.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/log.c:79:12: style: Variable 'result' is reassigned a value before the old one has been used. [redundantAssignment]
calcium-0.4.1/ca_mat/log.c:34:12: note: result is assigned
calcium-0.4.1/ca_mat/log.c:79:12: note: result is overwritten
calcium-0.4.1/ca_poly/test/t-compose_divconquer.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-compose_horner.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-div_series.c:52:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-divrem.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-evaluate.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-evaluate_horner.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-exp_series.c:52:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-factor_squarefree.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-gcd.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-gcd_euclidean.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-inv_series.c:52:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-log_series.c:34:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/lu_recursive.c:15:52: style: Parameter 'P' can be declared as pointer to const [constParameterPointer]
calcium-0.4.1/ca_poly/test/t-mul.c:38:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-pow_ui.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-roots.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/test/t-squarefree_part.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_field/build_ideal.c:289:11: style: Condition '0&&success' is always false [knownConditionTrueFalse]
calcium-0.4.1/ca_field/build_ideal.c:301:40: style: Condition '!fmpz_is_zero(rel+j)||1' is always true [knownConditionTrueFalse]
calcium-0.4.1/ca_field/build_ideal.c:867:21: style: Condition '!found_relation' is always true [knownConditionTrueFalse]
calcium-0.4.1/ca_field/build_ideal.c:854:34: note: Assignment 'found_relation=0', assigned value is 0
calcium-0.4.1/ca_field/build_ideal.c:867:21: note: Condition '!found_relation' is always true
calcium-0.4.1/ca_poly/vec_init.c:18:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_poly_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/vec_set_length.c:24:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_poly_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_vec/check_is_zero.c:26:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/jordan_blocks.c:15:111: style: Parameter 'block_size' can be declared as pointer to const [constParameterPointer]
calcium-0.4.1/ca_vec/init.c:18:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/pow_ui_trunc.c:33:22: style: Condition 'exp==1' is always true [knownConditionTrueFalse]
calcium-0.4.1/ca_poly/pow_ui_trunc.c:31:17: note: Assuming that condition 'exp==0' is not redundant
calcium-0.4.1/ca_poly/pow_ui_trunc.c:29:13: note: Assuming that condition 'exp<=1' is not redundant
calcium-0.4.1/ca_poly/pow_ui_trunc.c:33:22: note: Condition 'exp==1' is always true
calcium-0.4.1/ca/get_fexpr.c:300:15: style: Redundant assignment of 'nargs' to itself. [selfAssignment]
calcium-0.4.1/ca_vec/set_length.c:24:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/integral.c:19:12: style: Redundant initialization for 'k'. The initialized value is overwritten before it is read. [redundantInitialization]
calcium-0.4.1/ca_poly/integral.c:17:13: note: k is initialized
calcium-0.4.1/ca_poly/integral.c:19:12: note: k is overwritten
calcium-0.4.1/calcium/write_acb.c:20:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARB_STR_NO_RADIUS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/calcium/write_acb.c:97:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARB_STR_NO_RADIUS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/calcium/write_si.c:24:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/examples/binet.c:25:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_PREC_LIMIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/examples/dft.c:258:13: error: There is an unknown macro here somewhere. Configuration is required. If TIMEIT_ONCE_STOP is a macro then please configure it. [unknownMacro]
calcium-0.4.1/examples/hilbert_matrix.c:48:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TIMEIT_ONCE_START [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_fexpr.c:242:15: style: Local variable 'i' shadows outer variable [shadowVariable]
calcium-0.4.1/ca/get_fexpr.c:155:11: note: Shadowed variable
calcium-0.4.1/ca/get_fexpr.c:242:15: note: Shadow local variable
calcium-0.4.1/ca/get_fexpr.c:410:14: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/ca/get_fexpr.c:382:13: note: Shadowed variable
calcium-0.4.1/ca/get_fexpr.c:410:14: note: Shadow local variable
calcium-0.4.1/examples/elementary.c:258:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TIMEIT_ONCE_STOP [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/merge_fields.c:188:48: error: Uninitialized variable: pol [uninitvar]
calcium-0.4.1/ca/merge_fields.c:188:53: error: Uninitialized variable: den [uninitvar]
calcium-0.4.1/examples/swinnerton_dyer_poly.c:45:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ca_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/arg.c:22:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_CALL0 [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/merge_fields.c:223:48: error: Uninitialized variable: pol [uninitvar]
calcium-0.4.1/examples/machin.c:152:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TIMEIT_ONCE_STOP [valueFlowBailoutIncompleteVar]
calcium-0.4.1/examples/swinnerton_dyer_poly.c:128:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TIMEIT_ONCE_STOP [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/arg.c:59:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_CALL0 [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/arithmetic.c:18:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Neg [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/merge_fields.c:223:53: error: Uninitialized variable: den [uninitvar]
calcium-0.4.1/fexpr/arithmetic.c:24:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Add [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/arithmetic_nodes.c:37:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Pow [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/exp.c:72:14: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/fexpr/arithmetic.c:30:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Sub [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/call0.c:22:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_HEADER_SIZE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/exp.c:73:14: error: Uninitialized variable: one [uninitvar]
calcium-0.4.1/fexpr/arithmetic.c:36:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Mul [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/call1.c:23:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_HEADER_SIZE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/arithmetic.c:42:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Div [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/call2.c:24:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_HEADER_SIZE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/arithmetic.c:48:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Pow [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/call3.c:25:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_HEADER_SIZE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/call4.c:26:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_HEADER_SIZE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/call_vec.c:59:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_CALLN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/exp.c:69:20: style: Variable 'one' is not assigned a value. [unassignedVariable]
calcium-0.4.1/fexpr/equal_si.c:17:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_COEFF_MAX [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/equal_ui.c:17:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_COEFF_MAX [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/expanded_normal_form.c:28:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ORD_LEX [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/func.c:21:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_CALL0 [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/func.c:46:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_CALL0 [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/get_fmpz.c:19:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_SMALL_INT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/get_fmpz_mpoly_q.c:60:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_SYMBOL_Neg [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/get_string.c:21:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_SMALL_STRING [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/get_symbol_str.c:21:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_SMALL_SYMBOL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/is_arithmetic_operation.c:34:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_SYMBOL_Add [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/is_neg_integer.c:19:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_SMALL_INT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/print.c:24:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_BITS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/print.c:146:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/set_arf.c:51:37: error: syntax error [syntaxError]
calcium-0.4.1/fexpr/replace.c:40:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/set_d.c:35:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_NumberI [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/set_fmpq.c:30:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_COEFF_MAX [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/get_fexpr.c:246:9: error: Uninitialized variable: xvars [uninitvar]
calcium-0.4.1/fexpr/set_fmpz.c:28:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_BIG_INT_NEG [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/set_fmpz_mpoly.c:52:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_SMALL_SYMBOL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-lu.c:14:31: style: Parameter 'P' can be declared as pointer to const [constParameterPointer]
calcium-0.4.1/fexpr/set_si.c:17:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_COEFF_MAX [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-lu_classical.c:14:31: style: Parameter 'P' can be declared as pointer to const [constParameterPointer]
calcium-0.4.1/fexpr/set_string.c:22:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_SMALL_SYMBOL_LEN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-lu_recursive.c:14:31: style: Parameter 'P' can be declared as pointer to const [constParameterPointer]
calcium-0.4.1/fexpr/numerical_enclosure.c:23:68: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARF_RND_DOWN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/set_symbol_str.c:24:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_SMALL_SYMBOL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/numerical_enclosure.c:90:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Pi [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/set_ui.c:17:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_COEFF_MAX [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/numerical_enclosure.c:525:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARB_STR_NO_RADIUS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/test/t-builtins.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/test/t-call_vec.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/test/t-set_fmpz.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/test/t-write_latex.c:27:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_For [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/test/t-replace.c:29:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_alpha [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/test/t-write_latex.c:62:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_BUILTIN_LENGTH [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/test/t-replace.c:143:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/test/t-write_latex.c:93:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr_builtin/lookup.c:22:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_BUILTIN_LENGTH [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/jordan_transformation.c:129:115: style: Parameter 'block_size' can be declared as pointer to const [constParameterPointer]
calcium-0.4.1/ca_field/build_ideal_gamma.c:159:72: error: Uninitialized variable: pol [uninitvar]
calcium-0.4.1/ca_field/build_ideal_gamma.c:159:77: error: Uninitialized variable: den [uninitvar]
calcium-0.4.1/fmpz_mpoly_q/test/t-add.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-add_fmpq.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-add_fmpz.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-div.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-div_fmpq.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-div_fmpz.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-inv.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-mul.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-mul_fmpq.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-mul_fmpz.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-randtest.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-sub.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-sub_fmpq.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/test/t-sub_fmpz.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/used_vars.c:20:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TMP_INIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/acb_lindep.c:89:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARF_RND_NEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/test/t-jordan_blocks.c:15:88: style: Parameter 'block_size1' can be declared as pointer to const [constParameterPointer]
calcium-0.4.1/ca_mat/test/t-jordan_blocks.c:16:88: style: Parameter 'block_size2' can be declared as pointer to const [constParameterPointer]
calcium-0.4.1/ca/print.c:281:13: error: Uninitialized variable: sgn [uninitvar]
calcium-0.4.1/qqbar/affine_transform.c:129:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca/print.c:489:13: error: Uninitialized variable: sgn [uninitvar]
calcium-0.4.1/qqbar/asin_pi.c:125:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARF_RND_NEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/cache_enclosure.c:20:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/ceil.c:27:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/atan_pi.c:210:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARF_RND_NEAR [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/cmp_im.c:54:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/cmp_re.c:79:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/cmpabs.c:38:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/conjugates.c:20:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_ROOTS_IRREDUCIBLE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/cos_pi.c:64:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/composed_op.c:243:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/set_symbol_str.c:32:15: style: Local variable 'i' shadows outer variable [shadowVariable]
calcium-0.4.1/fexpr/set_symbol_str.c:18:11: note: Shadowed variable
calcium-0.4.1/fexpr/set_symbol_str.c:32:15: note: Shadow local variable
calcium-0.4.1/qqbar/composed_op.c:318:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_mat/mul_same_nf.c:175:9: error: Uninitialized variable: T [uninitvar]
calcium-0.4.1/ca_poly/mullow_same_nf.c:159:9: error: Uninitialized variable: poly [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:23:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_TYPE_SMALL_SYMBOL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:56:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_SMALL_SYMBOL_LEN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:71:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_SMALL_SYMBOL_LEN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/equal.c:47:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:186:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Add [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/equal_fmpq_poly_val.c:71:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:209:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Infinity [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/call1.c:38:5: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/fexpr/depth.c:30:10: error: Uninitialized variable: arg [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:305:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Add [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:327:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Add [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:355:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Neg [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:387:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_LATEX_SMALL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:460:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Pos [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/floor.c:27:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/call2.c:40:5: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:495:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Sub [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/evaluate_fmpq_poly.c:131:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/examples/binet.c:22:16: style: Variable 'ca_ctx_init' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/fexpr/write_latex.c:571:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Add [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/get_fmpz_mpoly_q.c:55:21: style: Variable 'success' is reassigned a value before the old one has been used. [redundantAssignment]
calcium-0.4.1/fexpr/get_fmpz_mpoly_q.c:46:21: note: success is assigned
calcium-0.4.1/fexpr/get_fmpz_mpoly_q.c:55:21: note: success is overwritten
calcium-0.4.1/fexpr/write_latex.c:656:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Abs [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:699:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_LATEX_SMALL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:897:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Pos [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/fmpq_root_ui.c:62:93: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/examples/swinnerton_dyer_poly.c:96:26: style: Parameter 'argv' can be declared as const array [constParameter]
calcium-0.4.1/fexpr/write_latex.c:951:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_LATEX_SMALL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:988:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_DoubleFactorial [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/set_fmpz_mpoly.c:61:5: style: Variable 'len' is assigned an expression that holds the same value. [redundantAssignment]
calcium-0.4.1/fexpr/set_fmpz_mpoly.c:30:9: note: len is assigned 'poly->length' here.
calcium-0.4.1/fexpr/set_fmpz_mpoly.c:32:13: note: Assuming condition is false
calcium-0.4.1/fexpr/set_fmpz_mpoly.c:38:27: note: Assuming condition is false
calcium-0.4.1/fexpr/set_fmpz_mpoly.c:44:14: note: Assuming condition is false
calcium-0.4.1/fexpr/set_fmpz_mpoly.c:61:5: note: Variable 'len' is assigned an expression that holds the same value.
calcium-0.4.1/fexpr/write_latex.c:1048:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Sum [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:1142:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_DivisorSum [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/evaluate_fmpz_mpoly.c:102:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COEFF_MIN [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/num_leaves.c:30:10: error: Uninitialized variable: arg [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:1209:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Add [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/evaluate_fmpz_mpoly.c:163:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TMP_INIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:1297:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_SequenceLimitInferior [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/guess.c:72:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:1367:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_ComplexZeroMultiplicity [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:1419:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_LATEX_SMALL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:1473:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Exp [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:1590:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Set [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:1683:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Not [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/get_fmpz_mpoly_q.c:102:17: style: Local variable 'success' shadows outer variable [shadowVariable]
calcium-0.4.1/fexpr/get_fmpz_mpoly_q.c:32:13: note: Shadowed variable
calcium-0.4.1/fexpr/get_fmpz_mpoly_q.c:102:17: note: Shadow local variable
calcium-0.4.1/fexpr/write_latex.c:1953:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Otherwise [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:2186:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_LATEX_SMALL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:2198:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Set [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:2342:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_IntegersGreaterEqual [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/inv.c:41:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/log_pi_i.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:2420:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_RowMatrix [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:2834:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Polynomial [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:3434:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_ShowExpandedNormalForm [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/mul_2exp_si.c:28:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLINT_BITS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:3504:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Tuple [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:3599:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fexpr_builtin_table [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/get_fexpr.c:34:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_RealBall [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/phi.c:22:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/test/t-write_latex.c:118:13: style: Redundant assignment of 'len' to itself. [selfAssignment]
calcium-0.4.1/fexpr/write_latex.c:3723:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_LATEX_SMALL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/get_fexpr.c:59:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_NumberI [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:3783:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_LATEX_SMALL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/get_fexpr.c:97:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_List [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:3819:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_LATEX_SMALL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/get_fexpr.c:123:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_List [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/printn.c:26:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARB_STR_NO_RADIUS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:3899:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_LATEX_SMALL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/get_fexpr.c:150:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Decimal [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:3930:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_LATEX_SMALL [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/get_fexpr.c:213:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARB_STR_NO_RADIUS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/randtest.c:175:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:3959:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Step [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/get_fexpr.c:398:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_List [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/pow.c:50:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:4070:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fexpr_builtin_table [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/get_fexpr.c:433:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Sqrt [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/pow.c:136:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:4085:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/get_fexpr.c:566:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Pi [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/root_of_unity.c:130:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/get_fexpr.c:694:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Pi [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/add_fmpz.c:18:6: error: Uninitialized variable: one [uninitvar]
calcium-0.4.1/qqbar/get_fexpr.c:768:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_FORMULA_QUADRATICS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/root_ui.c:125:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/examples/swinnerton_dyer_poly.c:114:16: style: Variable 'ca_ctx_init' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/qqbar/roots_fmpz_poly.c:36:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_ROOTS_IRREDUCIBLE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/print.c:118:17: warning: Uninitialized variable: t [uninitvar]
calcium-0.4.1/qqbar/set_fmpq.c:20:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/set_fmpz.c:20:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/examples/hilbert_matrix.c:10:26: style: Parameter 'argv' can be declared as const array [constParameter]
calcium-0.4.1/examples/machin.c:80:16: style: Variable 'ca_ctx_init' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/qqbar/sgn_im.c:40:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/mul_fmpz.c:18:6: error: Uninitialized variable: one [uninitvar]
calcium-0.4.1/qqbar/sgn_re.c:48:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-abs.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-abs2.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-acos_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/ca_poly/roots.c:208:9: error: Uninitialized variable: f [uninitvar]
calcium-0.4.1/fmpz_mpoly_q/div_fmpz.c:27:14: error: Uninitialized variable: one [uninitvar]
calcium-0.4.1/qqbar/set_fexpr.c:33:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Neg [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-acot_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/div_fmpz.c:37:14: error: Uninitialized variable: one [uninitvar]
calcium-0.4.1/qqbar/set_fexpr.c:148:83: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAG_BITS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-acsc_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/set_fexpr.c:174:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_RealBall [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fmpz_mpoly_q/sub_fmpz.c:18:6: error: Uninitialized variable: one [uninitvar]
calcium-0.4.1/qqbar/set_fexpr.c:192:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_RealBall [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-add.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-asec_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/set_fexpr.c:376:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Pi [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-asin_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/set_fexpr.c:438:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Pi [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-atan_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/set_fexpr.c:502:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable QQBAR_DEFAULT_PREC [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-ceil.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/set_fexpr.c:589:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_NumberI [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-cmp_im.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-cmp_re.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-cmpabs.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-cmpabs_im.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/replace.c:56:34: error: Uninitialized variable: new_func [uninitvar]
calcium-0.4.1/qqbar/test/t-cmpabs_re.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/replace.c:123:34: error: Uninitialized variable: res_view [uninitvar]
calcium-0.4.1/qqbar/test/t-conjugates.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/replace.c:154:34: error: Uninitialized variable: res_view [uninitvar]
calcium-0.4.1/qqbar/test/t-cos_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/replace.c:191:34: error: Uninitialized variable: res_view [uninitvar]
calcium-0.4.1/qqbar/test/t-cot_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-csc_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-csgn.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-div.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-equal_fmpq_poly_val.c:32:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-evaluate_fmpq_poly.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-evaluate_fmpz_mpoly.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-exp_pi_i.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/test/t-write_latex.c:118:13: style: Variable 'len' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/qqbar/test/t-express_in_field.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-floor.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-fmpz_poly_composed_op.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-get_acb.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-get_fexpr.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-get_fexpr_formula.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-guess.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-get_quadratic.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-inv.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-log_pi_i.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-mul_2exp_si.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-mul.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-pow.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-pow_fmpq.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-pow_fmpz.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-pow_si.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-pow_ui.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-randtest.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-re_im.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-root_of_unity.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-root_ui.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-roots_fmpz_poly.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-sec_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-set_d.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-set_re_im_d.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-sgn.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-sgn_re.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-sin_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-sub.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/test/t-tan_pi.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/write.c:30:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARB_STR_NO_RADIUS [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/validate_enclosure.c:46:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARF_PREC_EXACT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/validate_enclosure.c:151:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARF_PREC_EXACT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/utils_flint/fmpz_mpoly_reduction_primitive_part.c:29:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fmpz_mpoly_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/utils_flint/fmpz_mpoly_select_pop_pair.c:40:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UWORD_MAX [valueFlowBailoutIncompleteVar]
calcium-0.4.1/utils_flint/fmpz_mpoly_symmetric.c:37:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/utils_flint/fmpz_mpoly_symmetric.c:86:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable slong [valueFlowBailoutIncompleteVar]
calcium-0.4.1/utils_flint/fmpz_mpoly_vec_autoreduction.c:64:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fmpz_mpoly_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/utils_flint/fmpz_mpoly_vec_autoreduction_groebner.c:105:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fmpz_mpoly_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/utils_flint/fmpz_mpoly_vec_is_autoreduced.c:35:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fmpz_mpoly_struct [valueFlowBailoutIncompleteVar]
calcium-0.4.1/utils_flint/test/t-fmpz_mpoly_buchberger_naive.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/utils_flint/test/t-fmpz_mpoly_set_gen_fmpz_poly.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/utils_flint/test/t-fmpz_mpoly_symmetric.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/cmpabs_im.c:19:6: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/qqbar/cmpabs_re.c:19:6: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/utils_flint/test/t-fmpz_mpoly_vec_autoreduction.c:21:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
calcium-0.4.1/qqbar/cmpabs_im.c:20:6: error: Uninitialized variable: u [uninitvar]
calcium-0.4.1/qqbar/cmpabs_re.c:20:6: error: Uninitialized variable: u [uninitvar]
calcium-0.4.1/qqbar/roots_fmpq_poly.c:18:5: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/qqbar/affine_transform.c:70:16: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/qqbar/affine_transform.c:58:14: note: Shadowed variable
calcium-0.4.1/qqbar/affine_transform.c:70:16: note: Shadow local variable
calcium-0.4.1/qqbar/affine_transform.c:83:16: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/qqbar/affine_transform.c:58:14: note: Shadowed variable
calcium-0.4.1/qqbar/affine_transform.c:83:16: note: Shadow local variable
calcium-0.4.1/fexpr/test/t-replace.c:104:14: style: Variable 'args' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/examples/elementary.c:38:16: style: Variable 'ca_ctx_init' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/qqbar/evaluate_fmpq_poly.c:115:22: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/qqbar/evaluate_fmpq_poly.c:82:21: note: Shadowed variable
calcium-0.4.1/qqbar/evaluate_fmpq_poly.c:115:22: note: Shadow local variable
calcium-0.4.1/qqbar/set_fexpr.c:108:72: style: Condition 'fexpr_nargs(expr)==2' is always true [knownConditionTrueFalse]
calcium-0.4.1/qqbar/set_fexpr.c:101:69: note: Assuming that condition 'fexpr_nargs(expr)==2' is not redundant
calcium-0.4.1/qqbar/set_fexpr.c:108:72: note: Condition 'fexpr_nargs(expr)==2' is always true
calcium-0.4.1/qqbar/root_ui.c:87:20: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/qqbar/root_ui.c:72:21: note: Shadowed variable
calcium-0.4.1/qqbar/root_ui.c:87:20: note: Shadow local variable
calcium-0.4.1/utils_flint/fmpz_mpoly_symmetric.c:15:62: style: Parameter 'vars' can be declared as pointer to const [constParameterPointer]
calcium-0.4.1/qqbar/evaluate_fmpq_poly.c:93:9: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/qqbar/evaluate_fmpq_poly.c:119:13: error: Uninitialized variable: A [uninitvar]
calcium-0.4.1/qqbar/test/t-fmpz_poly_composed_op.c:38:12: style: Variable 'op' is reassigned a value before the old one has been used. [redundantAssignment]
calcium-0.4.1/qqbar/test/t-fmpz_poly_composed_op.c:34:12: note: op is assigned
calcium-0.4.1/qqbar/test/t-fmpz_poly_composed_op.c:38:12: note: op is overwritten
calcium-0.4.1/utils_flint/fmpz_mpoly_vec_autoreduction_groebner.c:95:15: style: Local variable 'i' shadows outer variable [shadowVariable]
calcium-0.4.1/utils_flint/fmpz_mpoly_vec_autoreduction_groebner.c:27:11: note: Shadowed variable
calcium-0.4.1/utils_flint/fmpz_mpoly_vec_autoreduction_groebner.c:95:15: note: Shadow local variable
calcium-0.4.1/utils_flint/fmpz_mpoly_vec_autoreduction_groebner.c:95:18: style: Local variable 'j' shadows outer variable [shadowVariable]
calcium-0.4.1/utils_flint/fmpz_mpoly_vec_autoreduction_groebner.c:27:14: note: Shadowed variable
calcium-0.4.1/utils_flint/fmpz_mpoly_vec_autoreduction_groebner.c:95:18: note: Shadow local variable
calcium-0.4.1/ca_field/build_ideal.c:1111:15: style: Local variable 'i' shadows outer variable [shadowVariable]
calcium-0.4.1/ca_field/build_ideal.c:898:11: note: Shadowed variable
calcium-0.4.1/ca_field/build_ideal.c:1111:15: note: Shadow local variable
calcium-0.4.1/ca_field/build_ideal.c:1053:60: error: Uninitialized variable: pol [uninitvar]
calcium-0.4.1/ca_field/build_ideal.c:1053:65: error: Uninitialized variable: den [uninitvar]
calcium-0.4.1/qqbar/pow.c:185:14: error: Uninitialized variable: den [uninitvar]
calcium-0.4.1/ca_field/build_ideal.c:436:28: style: Variable 'found_relation' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/ca_field/build_ideal.c:473:40: style: Variable 'found_relation' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/ca_field/build_ideal.c:474:39: style: Variable 'which_removed' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/ca_field/build_ideal.c:777:28: style: Variable 'found_relation' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/qqbar/set_fexpr.c:309:17: style: Variable 'success' is reassigned a value before the old one has been used. [redundantAssignment]
calcium-0.4.1/qqbar/set_fexpr.c:245:13: note: success is assigned
calcium-0.4.1/qqbar/set_fexpr.c:309:17: note: success is overwritten
calcium-0.4.1/qqbar/set_fexpr.c:579:16: style: Local variable 't' shadows outer variable [shadowVariable]
calcium-0.4.1/qqbar/set_fexpr.c:573:13: note: Shadowed variable
calcium-0.4.1/qqbar/set_fexpr.c:579:16: note: Shadow local variable
calcium-0.4.1/qqbar/set_fexpr.c:1019:35: style: Local variable 'q' shadows outer variable [shadowVariable]
calcium-0.4.1/qqbar/set_fexpr.c:574:12: note: Shadowed variable
calcium-0.4.1/qqbar/set_fexpr.c:1019:35: note: Shadow local variable
calcium-0.4.1/qqbar/get_fexpr.c:260:25: style: Condition 'digits!=6&&0' is always false [knownConditionTrueFalse]
calcium-0.4.1/qqbar/get_fexpr.c:20:5: error: Uninitialized variable: t [uninitvar]
calcium-0.4.1/qqbar/get_fexpr.c:644:25: style: Variable 'success' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/examples/huge_expr.c:7198:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CA_OPT_QQBAR_DEG_LIMIT [valueFlowBailoutIncompleteVar]
calcium-0.4.1/examples/huge_expr.c:14441:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FALSE [valueFlowBailoutIncompleteVar]
calcium-0.4.1/examples/huge_expr.c:14491:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TIMEIT_ONCE_START [valueFlowBailoutIncompleteVar]
calcium-0.4.1/fexpr/write_latex.c:1906:17: style: Local variable 'arg' shadows outer variable [shadowVariable]
calcium-0.4.1/fexpr/write_latex.c:1678:13: note: Shadowed variable
calcium-0.4.1/fexpr/write_latex.c:1906:17: note: Shadow local variable
calcium-0.4.1/fexpr/write_latex.c:1915:17: style: Local variable 'arg' shadows outer variable [shadowVariable]
calcium-0.4.1/fexpr/write_latex.c:1678:13: note: Shadowed variable
calcium-0.4.1/fexpr/write_latex.c:1915:17: note: Shadow local variable
calcium-0.4.1/fexpr/write_latex.c:2500:37: style: Local variable 'i' shadows outer variable [shadowVariable]
calcium-0.4.1/fexpr/write_latex.c:2416:11: note: Shadowed variable
calcium-0.4.1/fexpr/write_latex.c:2500:37: note: Shadow local variable
calcium-0.4.1/fexpr/write_latex.c:2500:46: style: Local variable 'j' shadows outer variable [shadowVariable]
calcium-0.4.1/fexpr/write_latex.c:2416:14: note: Shadowed variable
calcium-0.4.1/fexpr/write_latex.c:2500:46: note: Shadow local variable
calcium-0.4.1/fexpr/write_latex.c:3500:15: style: Local variable 'i' shadows outer variable [shadowVariable]
calcium-0.4.1/fexpr/write_latex.c:3453:11: note: Shadowed variable
calcium-0.4.1/fexpr/write_latex.c:3500:15: note: Shadow local variable
calcium-0.4.1/fexpr/write_latex.c:1460:9: error: Uninitialized variable: order [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:1454:23: note: Assuming condition is false
calcium-0.4.1/fexpr/write_latex.c:1460:9: note: Uninitialized variable: order
calcium-0.4.1/fexpr/write_latex.c:2505:30: error: Uninitialized variable: f1 [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:2505:34: error: Uninitialized variable: i [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:2505:37: error: Uninitialized variable: a [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:2505:40: error: Uninitialized variable: b [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:2506:30: error: Uninitialized variable: f2 [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:2506:34: error: Uninitialized variable: j [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:2506:37: error: Uninitialized variable: c [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:2506:40: error: Uninitialized variable: d [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:3434:26: error: Uninitialized variable: f [uninitvar]
calcium-0.4.1/fexpr/write_latex.c:3434:29: error: Uninitialized variable: arg [uninitvar]
calcium-0.4.1/examples/huge_expr.c:14489:26: style: Parameter 'argv' can be declared as const array [constParameter]
calcium-0.4.1/examples/huge_expr.c:6802:17: style: Variable 'flint_printf' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/examples/huge_expr.c:7186:17: style: Variable 'flint_printf' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/examples/huge_expr.c:7188:11: style: Variable 'ca_abs' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/examples/huge_expr.c:13:13: style: Unused variable: equal [unusedVariable]
calcium-0.4.1/examples/huge_expr.c:14043:17: style: Variable 'flint_printf' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/examples/huge_expr.c:14427:17: style: Variable 'flint_printf' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/examples/huge_expr.c:14429:14: style: Variable 'qqbar_abs' is assigned a value that is never used. [unreadVariable]
calcium-0.4.1/examples/huge_expr.c:7256:13: style: Unused variable: equal [unusedVariable]
diff:
head calcium-0.4.1/ca/equal_repr.c:24:25: style: Return value 'x->field==y->field' is always true [knownConditionTrueFalse]
     calcium-0.4.1/ca/equal_repr.c:20:18: note: Assuming that condition 'x->field!=y->field' is not redundant
     calcium-0.4.1/ca/equal_repr.c:23:26: note: Assuming condition is true
     calcium-0.4.1/ca/equal_repr.c:24:25: note: Return value 'x->field==y->field' is always true
2.21.0 calcium-0.4.1/ca/equal_repr.c:24:25: style: Return value 'x->field==y->field' is always true [knownConditionTrueFalse]
     calcium-0.4.1/ca/equal_repr.c:20:18: note: Assuming that condition 'x->field!=y->field' is not redundant
     calcium-0.4.1/ca/equal_repr.c:24:25: note: Return value 'x->field==y->field' is always true
head calcium-0.4.1/ca/get_qqbar.c:234:52: error: syntax error [syntaxError]
2.21.0 calcium-0.4.1/ca/get_qqbar.c:289:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable flag [valueFlowBailoutIncompleteVar]
2.21.0 calcium-0.4.1/ca/get_qqbar.c:35:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable flag [valueFlowBailoutIncompleteVar]
2.21.0 calcium-0.4.1/ca/get_qqbar.c:372:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable flag [valueFlowBailoutIncompleteVar]
2.21.0 calcium-0.4.1/fexpr/set_arf.c:24:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FEXPR_Infinity [valueFlowBailoutIncompleteVar]
head calcium-0.4.1/fexpr/set_arf.c:51:37: error: syntax error [syntaxError]
head calcium-0.4.1/fexpr/set_fmpz_mpoly.c:61:5: style: Variable 'len' is assigned an expression that holds the same value. [redundantAssignment]
     calcium-0.4.1/fexpr/set_fmpz_mpoly.c:30:9: note: len is assigned 'poly->length' here.
     calcium-0.4.1/fexpr/set_fmpz_mpoly.c:32:13: note: Assuming condition is false
     calcium-0.4.1/fexpr/set_fmpz_mpoly.c:38:27: note: Assuming condition is false
     calcium-0.4.1/fexpr/set_fmpz_mpoly.c:44:14: note: Assuming condition is false
     calcium-0.4.1/fexpr/set_fmpz_mpoly.c:61:5: note: Variable 'len' is assigned an expression that holds the same value.
2.21.0 calcium-0.4.1/fexpr/write_latex.c:1460:9: error: Uninitialized variable: order [uninitvar]
head calcium-0.4.1/fexpr/write_latex.c:1460:9: error: Uninitialized variable: order [uninitvar]
     calcium-0.4.1/fexpr/write_latex.c:1454:23: note: Assuming condition is false
     calcium-0.4.1/fexpr/write_latex.c:1460:9: note: Uninitialized variable: order


DONE