现象

aclnnArange 在 out 的元素个数小于 (start,end,step) 推导长度时，两段接口与同步全部返回 0，只写满 out 声明的元素个数，剩余值静默丢弃。

用例 start=-0.5, end=16, step=1，推导长度 ceil((16-(-0.5))/1)=17，值应为 -0.5,0.5,...,15.5：

实测输出（每行一次独立进程）：

out=17 derived=17 first=0 second=0 sync=0 written=17/17 tail_changed=0/64 value[0]=-0.500000 value[last]=15.500000
out=16 derived=17 first=0 second=0 sync=0 written=16/16 tail_changed=0/64 value[0]=-0.500000 value[last]=14.500000
out=18 derived=17 first=0 second=0 sync=0 written=17/18 tail_changed=0/64 value[0]=-0.500000 value[last]=nan

期望

资料 math/range/docs/aclnnArange.md 写明「从 start 起始到 end 结束按照 step 的间隔获取值，并保存到输出的 1 维张量，其中数据范围为 [start,end)」，调用示例按 ceil((end-start)/step) 分配 out。本用例应得到 17 个值。

out 元素个数与推导长度不一致时，接口应返回 ACLNN_ERR_PARAM_INVALID（161002），而不是返回 0 后只写一部分。

环境

• Atlas A2 训练系列产品（910B2），CANN 9.2.0
• 仓库 cann/ops-math，master 584b2ea6cbaeba684a51a74296d82d4d50ab3b0f
• math/range/op_api/aclnn_arange.cpp：CheckParams 只校验空指针、dtype、step 符号，未校验 out 元素个数
• math/range/op_host/arch35/range_tiling.cpp:204-207：推导长度与 out 元素个数不一致时只打 warning，并取两者较小值作为实际输出长度

复现步骤

1. 保存下方 repro.cpp，执行 source $ASCEND_HOME_PATH/set_env.sh，确认 ASCEND_OPP_PATH=$ASCEND_HOME_PATH/opp。
2. 编译：g++ -std=c++17 -O2 repro.cpp -o repro -I$ASCEND_HOME_PATH/include -I$ASCEND_HOME_PATH/include/aclnnop -L$ASCEND_HOME_PATH/lib64 -Wl,--allow-shlib-undefined -lascendcl -lopapi -lnnopbase
3. 合法对照：ASCEND_RT_VISIBLE_DEVICES=<空闲卡> ./repro 17，输出 written=17/17 ... value[last]=15.500000。
4. 缺陷组：ASCEND_RT_VISIBLE_DEVICES=<空闲卡> ./repro 16，输出 first=0 second=0 sync=0 written=16/16 ... value[last]=14.500000，第 17 个值 15.5 不在结果中。
5. 反向用例：./repro 18，输出 written=17/18 ... value[last]=nan，第 18 个元素未被写。

复现脚本

repro.cpp（单文件，自包含，对照组与缺陷组共用同一进程代码，靠 argv 切换 out 长度）：

// aclnnArange: out 元素个数与 (start,end,step) 推导长度不一致时的行为复现
// build: g++ -std=c++17 -O2 repro.cpp -o repro -I$ASCEND_HOME_PATH/include \
//   -I$ASCEND_HOME_PATH/include/aclnnop -L$ASCEND_HOME_PATH/lib64 \
//   -Wl,--allow-shlib-undefined -lascendcl -lopapi -lnnopbase
// run:   ./repro 17   # 合法对照（out == ceil((16-(-0.5))/1) == 17）
//        ./repro 16   # 缺陷组（out 少 1，第 17 个值 15.5 无处存放）
//        ./repro 18   # out 多 1，观察第 18 个元素是否被写
#include <cstdio>
#include <cstdint>
#include <cstring>
#include <cmath>
#include <vector>
#include "acl/acl.h"
#include "aclnnop/aclnn_arange.h"

static uint32_t CA = 0x7FC00001u, CB = 0x7FC00002u;   // out 区 / 尾随区哨兵（NaN，可区分）

int main(int argc, char** argv)
{
    int64_t n = argc > 1 ? atoll(argv[1]) : 17;
    const size_t ob = (size_t)n * 4, tb = 64, total = ob + tb;  // out 之后留 64B 尾随哨兵区
    std::vector<uint8_t> host(total, 0), got(total, 0);
    for (int64_t i = 0; i < n; ++i) memcpy(host.data() + i * 4, &CA, 4);
    for (size_t i = 0; i < tb; i += 4) memcpy(host.data() + ob + i, &CB, 4);

    aclInit(nullptr); aclrtSetDevice(0);
    aclrtStream st = nullptr; aclrtCreateStream(&st);
    void *dev = nullptr, *ws = nullptr;
    aclrtMalloc(&dev, total, ACL_MEM_MALLOC_HUGE_FIRST);
    aclrtMemcpy(dev, total, host.data(), total, ACL_MEMCPY_HOST_TO_DEVICE);
    int64_t sh[1] = {n}, sd[1] = {1};
    aclTensor* out = aclCreateTensor(sh, 1, ACL_FLOAT, sd, 0, ACL_FORMAT_ND, sh, 1, dev);
    float start = -0.5f, end = 16.0f, step = 1.0f;
    aclScalar *s = aclCreateScalar(&start, ACL_FLOAT), *e = aclCreateScalar(&end, ACL_FLOAT);
    aclScalar *p = aclCreateScalar(&step, ACL_FLOAT);

    uint64_t wss = 0; aclOpExecutor* ex = nullptr;
    aclnnStatus r1 = aclnnArangeGetWorkspaceSize(s, e, p, out, &wss, &ex);
    aclnnStatus r2 = r1, r3 = r1;
    if (r1 == ACL_SUCCESS) {
        if (wss > 0) aclrtMalloc(&ws, wss, ACL_MEM_MALLOC_HUGE_FIRST);
        r2 = aclnnArange(ws, wss, ex, st);
        r3 = aclrtSynchronizeStream(st);
    }
    aclrtMemcpy(got.data(), total, dev, total, ACL_MEMCPY_DEVICE_TO_HOST);

    long written = 0, tail = 0;
    for (int64_t i = 0; i < n; ++i) { uint32_t v; memcpy(&v, got.data() + i * 4, 4); written += (v != CA); }
    for (size_t i = 0; i < tb; ++i) tail += (got[ob + i] != ((const uint8_t*)&CB)[i % 4]);
    float f0 = 0, fl = 0;
    memcpy(&f0, got.data(), 4);
    if (n > 0) memcpy(&fl, got.data() + (n - 1) * 4, 4);
    printf("out=%lld derived=%d first=%d second=%d sync=%d written=%ld/%lld tail_changed=%ld/%zu "
           "value[0]=%.6f value[last]=%.6f\n",
           (long long)n, (int)std::ceil((end - start) / step), (int)r1, (int)r2, (int)r3,
           written, (long long)n, tail, tb, f0, fl);
    aclDestroyTensor(out); aclDestroyScalar(s); aclDestroyScalar(e); aclDestroyScalar(p);
    if (ws) aclrtFree(ws);
    aclrtFree(dev); aclrtDestroyStream(st); aclrtResetDevice(0); aclFinalize();
    return 0;
}

影响

• 按资料「约束说明」的提示，out 长度若按 float 计算、tiling 侧按 double 推导，两者结果会不同：out 偏小时尾部值静默缺失，out 偏大时尾部元素不被写并保留内存残留内容。
• 上述两种方向都返回 0，业务侧从返回码与返回的 aclTensor 上都看不出异常，只有打开 plog（range_tiling.cpp 的 warning）才能看到 OFF is 16, but OFT is 17 一类记录。
• 下游拿到与 arange 语义不一致的张量（少一个元素或多个未定义元素）继续参与后续计算，属于静默错误结果，按静默脏数据定级 P0。
• 查重：同仓未见 aclnnArange 的同现象 issue；#3952（aclnnMaskedSelect 未写尾部语义未声明）属同类「out 尾部未定义」但接口与表现不同。

建议

1. aclnnArangeGetWorkspaceSize 的 CheckParams 增加 out 元素个数校验：out_size == ceil((end-start)/step)（int64 用 CeilDiv，浮点用 double 推导），不一致返回 ACLNN_ERR_PARAM_INVALID(161002)。
2. 资料错误码表补充该场景的说明（当前 161002 只列了 dtype 与 start/end/step 关系两类）。
3. 兼容性取舍：若保留 out 偏大时只写推导长度的行为，需要把剩余元素显式写满并在资料中声明；out 偏小时必须返回错误码，不能返回 0。