[all-commits] [llvm/llvm-project] b27156: [clang][CodeGen][UBSan] VLA size checking for unsi...

[Adam Magier via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b2715660ed0f821619f51158fb92cd8bddd105d8
      https://github.com/llvm/llvm-project/commit/b2715660ed0f821619f51158fb92cd8bddd105d8
  Author: Adam Magier <adam.a.magier.foss at gmail.com>
  Date:   2022-01-12 (Wed, 12 Jan 2022)

  Changed paths:
    M clang/lib/CodeGen/CodeGenFunction.cpp
    M clang/test/CodeGen/catch-undef-behavior.c

  Log Message:
  -----------
  [clang][CodeGen][UBSan] VLA size checking for unsigned integer parameter

The code generation for the UBSan VLA size check was qualified by a con-
dition that the parameter must be a signed integer, however the C spec
does not make any distinction that only signed integer parameters can be
used to declare a VLA, only qualifying that it must be greater than zero
if it is not a constant.

Reviewed By: rjmccall

Differential Revision: https://reviews.llvm.org/D116048