Wat is Undiverting in computerwetenschappen en software-engineering?

In de context van informatica en software-engineering verwijst 'undiverting' naar een techniek die in programmeertalen wordt gebruikt om onnodige divergentiepunten uit de besturingsstroom van een programma te verwijderen. Een divergentiepunt is een locatie in een programma waar de besturingsstroom zich in meerdere takken splitst. die elk verschillende code kunnen uitvoeren. Divergentiepunten zijn nodig in programma's die verschillende gevallen of uitzonderingen moeten afhandelen, maar ze kunnen het programma ook complexer en moeilijker te begrijpen maken. Undiverting houdt in dat onnodige divergentiepunten worden verwijderd door meerdere vertakkingen samen te voegen tot één enkele vertakking, of door meerdere voorwaardelijke instructies te combineren tot één enkele. Dit kan de controlestroom van het programma vereenvoudigen en het gemakkelijker te begrijpen en te onderhouden maken.

Beschouw bijvoorbeeld de volgende code:
```
if (x > 0) {
y = x * 2;
} else {
y = - x * 2;
}
```
Deze code heeft een divergentiepunt bij de `if`-instructie, omdat de controlestroom zich in twee takken splitst op basis van de waarde van `x`. Om deze code ongedaan te maken, kunnen we de twee takken samenvoegen tot één enkele tak, zoals deze:
```
y = (x > 0) ? x * 2 : -x * 2;
```
Nu is er geen divergentiepunt en is de controlestroom eenvoudiger en gemakkelijker te begrijpen.