Fix get_ikind in eval_rv_ask_mustbeequal and is_safe_cast#790

michael-schwarz merged 1 commit intogoblint:mastergoblint/analyzer:masterfrom

Dudeldu:fix-get-ikind-masterDudeldu/analyzer:fix-get-ikind-masterCopy head branch name to clipboard