Commit ab14ed43 authored by Dridi Boukelmoune's avatar Dridi Boukelmoune

Help flexelint find the path of this VUT_Arg call

parent aa350825
......@@ -586,6 +586,8 @@ main(int argc, char **argv)
if (!active_profile->name)
VUT_Error(1, "-P: No such profile '%s'", profile);
assert(active_profile->VSL_arg == 'b' ||
active_profile->VSL_arg == 'c');
assert(VUT_Arg(active_profile->VSL_arg, NULL));
match_tag = active_profile->tag;
fnum = active_profile->field;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment