[Question][Hw4] About evaluation test case

[ehdkacjswo]

Name: Doam Lee

I've finished HW5 and currently trying to make it to pass more evaluation test and looking for the evaluation tests from HW4.
But I've found that something's strange with expected result of evaluation test "advanced/interval.c".
Following is the part of the code "advanced/interval.ll".

`%cmp = icmp sgt i32 %i.0, 0, !dbg !20
br i1 %cmp, label %for.body, label %for.end, !dbg !22

for.body: ; preds = %for.cond
%div = sdiv i32 %a.0, %i.0, !dbg !23`

It says the sign analyzer has to ring false zero-divison alarm on last line.
But I've divided the memory into two on cmp (first line) using filter with cmp value true or false.
So the value of %i.0 is Pos on my sign analyzer and doesn't ring false alarm.
Isn't it the correct way to build analyzer using filter? Or should I change my semantics?

[ehdkacjswo]

Sorry I've read it wrong