问题描述

aclnnApplyTopKTopP 第一段接口中，对「p 与 k 同时为空」这一非法组合的校验只打印日志、未返回失败，导致该非法入参被判定为合法并继续执行，最终产生静默错误结果或语义失真的内部错误码。

算子契约（README.md 约束说明）与接口资料均明确要求：p 和 k 为可选输入，二者不能同时为空，至少传入一个。代码中的错误文本也逐字复述了这条约束，但控制流没有落实。

问题代码位置

index/apply_top_k_top_p_with_sorted/op_api/aclnn_apply_top_k_top_p.cpp:47-55

static bool CheckNotNull(const aclTensor* logits, const aclTensor* p, const aclTensor* k, const aclTensor* out)
{
    OP_CHECK_NULL(logits, return false);
    if (p == nullptr && k == nullptr) {
        OP_LOGE(ACLNN_ERR_PARAM_INVALID, "The inputs, p and k, should not be nullptr at the same time.");
    }
    OP_CHECK_NULL(out, return false);
    return true;
}

第 50-52 行检测到「双空」后仅记录日志，缺少 return false;，函数继续执行到第 54 行 return true;。

一、调用链推演：非法组合被判定为合法

CheckParams()（同文件 :121-137）按顺序调用四个校验，双空时逐个「顺利通过」：

即 CheckParams() 于 L136 return ACLNN_SUCCESS;。后续 :152-165 的 pIsEmpty / kIsEmpty 因 p、k 皆为 nullptr 而保持 false，L160 的空 tensor 短路分支也不会命中，非法入参被完整放行至下游。

二、非对称性证据：同文件同函数族唯一被漏掉的 return

统计同文件 OP_LOGE 与其下一行语句的配对关系，可以清楚看到漏改的孤立性：

全文件 7 处 OP_LOGE 中，唯独第 51 行之后没有返回语句。同文件其余 6 处校验均采用「记日志 + 返回失败」的一致写法（该文件 return false 共 18 处、CHECK_RET 共 13 处），属单点遗漏而非有意设计。

三、错误码与资料契约不符

接口资料 docs/aclnnApplyTopKTopP.md:195-203 的第一段接口报错表明确划分了两种返回码：

按资料，「p 与 k 同为空指针」应返回 161001。但代码第 51 行：

1. 把 ACLNN_ERR_PARAM_INVALID（对应 161002）作为 OP_LOGE 的首个参数传入 —— 与资料规定的 161001 类别不符；
2. 由于没有 return false，这个错误码只出现在日志文本里，不会作为返回码对外返回。

四、实际后果（两条下游路径，均为错误行为）

放行后 logits 的尾维大小决定走向哪条路径：

路径 A —— logits 尾维为 1（命中 :181-182）

179:     bool isLastDimSizeOne = logits->GetViewShape()[DIM_ONE] == 1;
180:     auto viewCopyResult = logitsContiguous;
181:     if (isLastDimSizeOne) {
182:         viewCopyResult = l0op::ViewCopy(logitsContiguous, out, uniqueExecutor.get());

该分支只做一次直拷，既不执行 top-k 也不执行 top-p，随后于 :197-199 正常返回 ACLNN_SUCCESS。即：

• 返回码为 0（成功）；
• out 被静默写为 logits 原值，未做任何过滤。

这是静默错误结果：调用方拿到「成功」与全量未过滤的 logits，无任何异常提示。同时该行为也与算子资料给出的计算公式（probsValue = softmax(...)、probsSum = cumsum(...)、topPMask 过滤）完全不符——out 本应是过滤后的结果。

路径 B —— logits 尾维大于 1（命中 :189-191）

189:         auto res = l0op::ApplyTopKTopPWithSorted(sortedValue, sortedIndices, pContiguous, kContiguous, logitsContiguous,
190:                                                  uniqueExecutor.get());
191:         CHECK_RET(res != nullptr, ACLNN_ERR_INNER_NULLPTR);

此时 pContiguous / kContiguous 均为 nullptr（:169-178 因 p == nullptr、k == nullptr 未赋值），被直接传入 l0op。若 l0op 因双空返回 nullptr，接口将返回 ACLNN_ERR_INNER_NULLPTR —— 属内部错误码，用户无从判断是「入参组合非法」，排障语义失真。