The problem is probably due to the optimizer rule for F_SSCANF in treeopt.in:
// sscanf(s[A..], "xxxx", ...) // // => // // (sscanf(s, "%*" + A + "s" + "xxxx", ...) || 1) - 1 Which seems to be sound as long as you don't use %n...
The problem is probably due to the optimizer rule for F_SSCANF in treeopt.in:
// sscanf(s[A..], "xxxx", ...) // // => // // (sscanf(s, "%*" + A + "s" + "xxxx", ...) || 1) - 1 Which seems to be sound as long as you don't use %n...