Solving for logical and is too conservative

[dcci]

Assuming you have:

define i1 @tinkywinky(i32 %a) {
exit:
  %and = and i32 %a, 128
  %cmp = icmp sle i32 %and, 128
  ret i1 %cmp
}

Both Cousot and CropDFS intra return:

Analysis for function: tinkywinky
[-inf, +inf]  %and = and i32 %a, 128

Ideally, this should return [0, 128], I think (maybe some care needs to be taken for undef, but I wouldn't worry too much).