You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This file contains ambiguous Unicode characters that may be confused with others in your current locale. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to highlight these characters.
# include <iostream>
# include <cstdlib>
# include <cstdio>
// 项目根目录: /home/feng/test
// 基于原项目中的真实问题代码
// 文件: /home/feng/test/math.c
// 行号: 1053
// 问题: Division by zero.
// 原始代码片段:
return isfinite ( num ) ;
}
// <20> ж<EFBFBD> һ <EFBFBD> <D2BB> <EFBFBD> <EFBFBD> <EFBFBD> Ƿ<EFBFBD> Ϊ<EFBFBD> ɱ<EFBFBD> ʾ <EFBFBD> <CABE> <EFBFBD> <EFBFBD> ֵ
int is_representable ( double num ) {
if ( isfinite ( num ) ) {
return 1 ;
}
else if ( isinf ( num ) ) {
return 1 ;
}
return 0 ;
}
// <20> ж<EFBFBD> һ <EFBFBD> <D2BB> <EFBFBD> <EFBFBD> <EFBFBD> Ƿ<EFBFBD> Ϊ<EFBFBD> <CEAA> <EFBFBD> <EFBFBD> <EFBFBD> <EFBFBD> <EFBFBD> <EFBFBD>
int is_non_negative ( double num ) {
return num > = 0 ;
}
int integer_division_by_zero ( int a ) {
int b = 0 ;
return a / b ;
}
// <20> ж<EFBFBD> һ <EFBFBD> <D2BB> <EFBFBD> <EFBFBD> <EFBFBD> Ƿ<EFBFBD> Ϊ<EFBFBD> <CEAA> <EFBFBD> <EFBFBD> <EFBFBD> <EFBFBD> <EFBFBD> <EFBFBD>
int is_non_positive ( double num ) {
return num < = 0 ;
}
// <20> ж<EFBFBD> һ <EFBFBD> <D2BB> <EFBFBD> <EFBFBD> <EFBFBD> Ƿ<EFBFBD> Ϊ<EFBFBD> <CEAA> ż<EFBFBD> <C5BC>
int is_positive_even ( double num ) {
if ( is_positive ( num ) ) {
if ( is_even ( ( int ) num ) ) {
return 1 ;
}
}
return 0 ;
}
// <20> ж<EFBFBD> һ <EFBFBD> <D2BB> <EFBFBD> <EFBFBD> <EFBFBD> Ƿ<EFBFBD> Ϊ<EFBFBD> <CEAA> <EFBFBD> <EFBFBD> <EFBFBD> <EFBFBD>
int is_positive_odd ( double num ) {
if ( is_positive ( num ) ) {
// 基于原项目真实代码的zerodiv问题验证测试用例
// 问题ID: zerodiv
// 原始消息: Division by zero.
// 目标: 验证原项目中zerodiv问题
// 基于文件: /home/feng/test/math.c:1053
void test_zerodiv ( ) {
// 通用测试代码
printf ( " Testing zerodiv... \n " ) ;
// 在这里添加能触发zerodiv检测的代码
// 原始问题: Division by zero.
}
int main ( ) {
printf ( " === 验证原项目中的zerodiv问题 === \n " ) ;
printf ( " 问题ID: zerodiv \n " ) ;
printf ( " 基于文件: /home/feng/test/math.c:1053 \n " ) ;
// 调用测试函数
test_zerodiv ( ) ;
printf ( " SUCCESS: Program completed - zerodiv issue verified \n " ) ;
return 0 ;
}
// 编译命令: g++ -o test_zerodiv test_zerodiv.cpp
// 运行命令: ./test_zerodiv
// 预期输出: 基于原项目真实代码验证zerodiv问题
// 判定规则: 如果程序行为符合预期，
