/* Generated by Frama-C */
int abs(int i)
{
int res;
if (i < 0) res = - i; else res = i;
res += 0 / res;
return res;
}
/ | Name | Type | Value |
Expr | i < 0 | int | {0; 1} |
Expr | i | int | [--..--] |
Lval | i | int |
Expr | 0 | int | {0} |
Lval | res | int |
Expr | - i | int | [1..0x7FFFFFFF] |
Expr | i | int | [-0x80000000..-1] |
Lval | i | int |
Lval | res | int |
Expr | i | int | [0..0x7FFFFFFF] |
Lval | i | int |
Lval | res | int |
Expr | 0 / res | int | {0} |
Expr | 0 | int | {0} |
Expr | res | int | [0..0x7FFFFFFF] |
Lval | res | int |
Expr | res | int | [1..0x7FFFFFFF] |
Lval | res | int |
Func | abs | undefined ctype |