Eksempler: præcision (1)

• FlexeLint genererer meget præcise advarsler, som kigger på sammenhængen

• I nedenstående eksempel kommer der kun en advarsel, hvis divisionsresten faktisk kunne blive brugt

void foo(int x, int y) {

int z1 = x/y; //no warning

double z2 = x/y; //Warning 653: Possible loss of fraction

}