Примечание
Автоматический Оранжевый Тестер будет удален в будущем релизе.
У Автоматического Оранжевого Тестера есть нижеследующие ограничения:
Автоматический Оранжевый Тестер не поддерживается на Mac.
Программное обеспечение не поддерживает следующие опции с -automatic-orange-tester.
-div-round-down
-char-is-16bits
-short-is-8bits
Кроме того, программное обеспечение не поддерживает глобальную переменную, утверждает в коде формы Pst_Global_Assert(A,B) .
Не задавайте следующее с -automatic-orange-tester:
-allow-non-finite-floats
-check-subnormal
-data-range-specification (в глобальной переменной утверждают режим),
-target [c18 | tms320c3c | x86_64 | sharc21x61]
Необходимо использовать -target mcpu опция вместе с -pointer-is-32bits.
Программное обеспечение не поддерживает верификацию кода С, который содержит вызовы следующих стандартных программ:
va_start
va_arg
va_end
va_copy
setjmp
sigsetjmp
longjmp
siglongjmp
signal
sigset
sighold
sigrelse
sigpause
sigignore
sigaction
sigpending
sigsuspend
sigvec
sigblock
sigsetmask
sigprocmask
siginterrupt
srand
srandom
initstate
setstate
