if(var>=0) пропускает в себя var=undefined. Почему?

[etc]

Нет, оператор сравнения не может просто сравнить undefined и 0. undefined — значение неопределенное.
А в случае >=, <=, >, < undefined выступает в роли неопределенного, пустого места, нулю по факту.

[lowka]

Если оно неопределенное, то понятно почему оно >=0, =< 0 и <>0 одновременно

[etc]

Ну хорошо. Раскурочим ==:

Сообщение от ECMA262

The Abstract Equality Comparison Algorithm
The comparison x == y, where x and y are values, produces true or false. Such a comparison is
performed as follows:
1. If Type(x) is different from Type(y), go to step 14.
2. If Type(x) is Undefined, return true.
3. If Type(x) is Null, return true.
4. If Type(x) is not Number, go to step 11.
5. If x is NaN, return false.
6. If y is NaN, return false.
7. If x is the same number value as y, return true.
8. If x is +0 and y is −0, return true.
9. If x is −0 and y is +0, return true.
10. Return false.
11.If Type(x) is String, then return true if x and y are exactly the same sequence of characters (same
length and same characters in corresponding positions). Otherwise, return false.
12. If Type(x) is Boolean, return true if x and y are both true or both false. Otherwise, return false.
13.Return true if x and y refer to the same object or if they refer to objects joined to each other. Otherwise, return false.
14. If x is null and y is undefined, return true.
15. If x is undefined and y is null, return true.
16.If Type(x) is Number and Type(y) is String,
return the result of the comparison x == ToNumber(y).
17.If Type(x) is String and Type(y) is Number,
return the result of the comparison ToNumber(x) == y.
18. If Type(x) is Boolean, return the result of the comparison ToNumber(x) == y.
19. If Type(y) is Boolean, return the result of the comparison x == ToNumber(y).
20.If Type(x) is either String or Number and Type(y) is Object,
return the result of the comparison x == ToPrimitive(y).
21.If Type(x) is Object and Type(y) is either String or Number,
return the result of the comparison ToPrimitive(x) == y.
22. Return false.

Идем по шагам:
1,2,3,4,11,12,13,14,15,16,17,18,19,20,21,22 — приехали, false.

Теперь >=

Сообщение от ECMA262

The production RelationalExpression : RelationalExpression >= ShiftExpression is evaluated as follows:
1. Evaluate RelationalExpression.
2. Call GetValue(Result(1)).
3. Evaluate ShiftExpression.
4. Call GetValue(Result(3)).
5. Perform the comparison Result(2) < Result(4). (see 11.8.5).
6. If Result(5) is true or undefined, return false. Otherwise, return true.

-----------

The Abstract Relational Comparison Algorithm
The comparison x < y, where x and y are values, produces true, false, or undefined (which indicates that
at least one operand is NaN). Such a comparison is performed as follows:
1. Call ToPrimitive(x, hint Number).
2. Call ToPrimitive(y, hint Number).
3. If Type(Result(1)) is String and Type(Result(2)) is String, go to step 16. (Note that this step differs
from step 7 in the algorithm for the addition operator + in using and instead of or.)
4. Call ToNumber(Result(1)).
5. Call ToNumber(Result(2)).
6. If Result(4) is NaN, return undefined.
7. If Result(5) is NaN, return undefined.
8. If Result(4) and Result(5) are the same number value, return false.
9. If Result(4) is +0 and Result(5) is −0, return false.
10. If Result(4) is −0 and Result(5) is +0, return false.
11. If Result(4) is +∞, return false.
12. If Result(5) is +∞, return true.
13. If Result(5) is −∞, return false.
14. If Result(4) is −∞, return true.
15. If the mathematical value of Result(4) is less than the mathematical value of Result(5)—note that
these mathematical values are both finite and not both zero—return true. Otherwise, return false.
16.If Result(2) is a prefix of Result(1), return false. (A string value p is a prefix of string value q if q
can be the result of concatenating p and some other string r. Note that any string is a prefix of itself,
because r may be the empty string.)
17. If Result(1) is a prefix of Result(2), return true.
18.Let k be the smallest nonnegative integer such that the character at position k within Result(1) is
different from the character at position k within Result(2). (There must be such a k, for neither string
is a prefix of the other.)
19. Let m be the integer that is the code point value for the character at position k within Result(1).
20. Let n be the integer that is the code point value for the character at position k within Result(2).
21. If m < n, return true. Otherwise, return false.

Т.е. >= действует как <, а тот, в свою очередь — по шагам должен быть undefined, но почему-то он считает, что false и возвращает true. Приходим к абсурду:

trace(undefined>=0); // true :)
trace(undefined>0); // undefined
trace(undefined==0); // false

[etc]

AS3 в принципе не допустит подобных записей, но выдаст false там, где надо.

[Timerlan]

да, круто конечно.
Я решил проблему использованием isNaN.

[etc]

В общем и целом подводим итог — правильно работает в AS1/AS2 только оператор сравнивания «==». Остальные четыре работают неверно. Впрочем, необъявленных переменных и не должно быть, если правильно писать.

[orangeline]

попробовал эксперимента ради при операторах "<",">" и "==" то все нормально,условие не выполняется, а при "<=" и ">=" выполняется по непонятным причинам. думаю баг в операторах "<=" и ">=".

[etc]

Вообще-то баг в > и <, потому что >= и <= — обратные операторы. Т.е. >= — это < и <= — это >.

[iNils]

var a:Number;
if (a >= 0) {
	trace (a);
}

дает на выходе

 constants 'a'  
 push 'a'
 var
 push 'a'
 getVariable
 push 0.0
 lessThan              // получаем тут false
 not                   // теперь true
 not                   // опять false
 branchIfTrue label1   // если бы было true, то у нас был бы переход
                       // к метке label1, а так выполняются команды ниже,
                       // отсюда и глюк
 push 'a'
 getVariable
 trace
label1: