[all-commits] [llvm/llvm-project] 3605eb: [analyzer][NFC][test] Add new RUN lint with suppor...

Gabor Marton via All-commits all-commits at lists.llvm.org
Wed Jun 15 05:02:08 PDT 2022


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3605ebca32fc42d01a54eea00bb4bf8049dca214
      https://github.com/llvm/llvm-project/commit/3605ebca32fc42d01a54eea00bb4bf8049dca214
  Author: Gabor Marton <gabor.marton at ericsson.com>
  Date:   2022-06-15 (Wed, 15 Jun 2022)

  Changed paths:
    R clang/test/Analysis/svalbuilder-rearrange-comparisons.c
    A clang/test/Analysis/svalbuilder-rearrange-comparisons.cpp

  Log Message:
  -----------
  [analyzer][NFC][test] Add new RUN lint with support-symbolic-integer-casts=true to svalbuilder-rearrange-comparisons.c

Added a new run line to bolster gradual transition of handling cast operations,
see https://discourse.llvm.org/t/roadmap-of-modeling-symbolic-cast-operations/63107

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




More information about the All-commits mailing list