Revert "Revert "[analyzer] Add failing test case demonstrating buggy taint propagation""
authorBalazs Benics <balazs.benics@sigmatechnology.se>
Wed, 23 Feb 2022 09:37:03 +0000 (10:37 +0100)
committerBalazs Benics <balazs.benics@sigmatechnology.se>
Wed, 23 Feb 2022 09:48:06 +0000 (10:48 +0100)
commitfa0a80e017ebd58a71bdb4e4493bb022f80fe791
treee5b306930b5c3e116433d723a5c9dc1d278436c4
parent606320ed30fd8a8fc01afb71a7e107cd7f1f90da
Revert "Revert "[analyzer] Add failing test case demonstrating buggy taint propagation""

This reverts commit b8ae323cca61dc1edcd36e9ae18c7e4c3d76d52e.

Let's try `REQUIRES: asserts`.
clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
clang/test/Analysis/taint-checker-callback-order-has-definition.c [new file with mode: 0644]
clang/test/Analysis/taint-checker-callback-order-without-definition.c [new file with mode: 0644]