If an algorithm will take as long as some constant times the smallest power of 2 greater than $n$, is it $O(n)$?
In favour:
$2^{\log_2n + 1}$ would seem to imply $O(n)$
Against:
There is no $c$ where the algorithm always takes less than $cn$ time.
Thanks, Ian