Code: Select all

```
extern bool random_bool ();
bool non_compliant_and (void)
{
bool const b1 = random_bool();
bool const b2 = random_bool();
return b1 && b2; // b2 is DU dataflow anomaly when b1 is false
}
bool non_compliant_or (void)
{
bool const b1 = random_bool();
bool const b2 = random_bool();
return b1 || b2; // b2 is DU dataflow anomaly when b1 is true
}
bool compliant_and (void)
{
bool const b1 = random_bool();
bool const b2 = random_bool();
bool tmp = b1;
tmp = b2 && b1;
return tmp;
}
bool compliant_or (void)
{
bool const b1 = random_bool();
bool const b2 = random_bool();
bool tmp = b1;
tmp = b2 || b1;
return tmp;
}
```

Is there any insight anyone can provide on such a perplexing problem?At best this (DU dataflow anomaly) is inefficient, but may indicate a genuine problem.