The short answer is: C# behaves sensibly; you are guaranteed that the effects of earlier statements are observed by later statements.
The long answer is: things are more subtle than that when you look at more complex situations.
First off: C# does not guarantee that the order in which code actually runs is the same as the order in which it occurs in the program. The guarantee that is made is more subtle than that: the language guarantees that the program will appear to run as though it ran in the order the code occurred in the program.
This subtlety might need some more explanation. Suppose you had:
int foo = 1;
int bar = 2;
foo += 1;
bar += 1;
Console.WriteLine(foo);
Console.WriteLine(bar);
This program must increment foo and bar before the console writes, and the console writes must happen foo, then bar. However, the behaviour of the program fragment above is the same as:
int foo = 1;
int bar = 2;
bar += 1;
foo += 1;
Console.WriteLine(foo);
Console.WriteLine(bar);
And that has the same behaviour as this program fragment:
Console.WriteLine(2);
Console.WriteLine(3);
Since the observed side effects are identical in each case, C# is permitted to run any of these programs instead of the code as originally written.
Things then get a lot more complicated when you add:
- Iterator blocks
- Asynchronous workflows
- Concurrency
- Unmanaged code interop
- Finalization
The restrictions on how C# promises to preserve effect ordering get quite complicated when you throw those in; describing any of those could be an extremely long answer of its own, so if you have questions, try asking a second, more focussed question.