>  if (smth) {
>    i=m
>  }
> Вот тебе всего три из множества возможных вариантов, в которых твой наивный
> подход не работает.

Ну-ну.

1. То, что вариант с smth != true => a[-1] + a[-2] => fail
можно, совершенно внезапно, ловить еще на этапе компиляции.
2. m в реальном коде берется не из либастрала и вполне прослеживается компилятором — как минимум возможные значения (для всяких разных constant propagation, partial evaluation и всего такого).
3.  см.
>> если не заниматься  извращениями
>