Home
last modified time | relevance | path

Searched refs:emptyset (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/compiler-rt/lib/tsan/rtl/
H A Dtsan_platform_linux.cpp491 __sanitizer_sigset_t emptyset; in cur_thread() local
492 internal_sigfillset(&emptyset); in cur_thread()
494 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread()
521 __sanitizer_sigset_t emptyset; in cur_thread_finalize() local
522 internal_sigfillset(&emptyset); in cur_thread_finalize()
524 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread_finalize()
H A Dtsan_interceptors_posix.cpp171 __sanitizer_sigset_t emptyset; member
2054 internal_sigfillset(&sctx->emptyset); in ProcessPendingSignalsImpl()
2055 int res = REAL(pthread_sigmask)(SIG_SETMASK, &sctx->emptyset, &sctx->oldset); in ProcessPendingSignalsImpl()
/llvm-project-15.0.7/compiler-rt/lib/tsan/rtl-old/
H A Dtsan_platform_linux.cpp499 __sanitizer_sigset_t emptyset; in cur_thread() local
500 internal_sigfillset(&emptyset); in cur_thread()
502 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread()
529 __sanitizer_sigset_t emptyset; in cur_thread_finalize() local
530 internal_sigfillset(&emptyset); in cur_thread_finalize()
532 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread_finalize()
H A Dtsan_interceptors_posix.cpp171 __sanitizer_sigset_t emptyset; member
2050 internal_sigfillset(&sctx->emptyset); in ProcessPendingSignalsImpl()
2051 int res = REAL(pthread_sigmask)(SIG_SETMASK, &sctx->emptyset, &sctx->oldset); in ProcessPendingSignalsImpl()
/llvm-project-15.0.7/polly/lib/External/isl/doc/
H A Dimplementation.tex913 i.e., $R \circ R = \emptyset$ or $\domain R \cap \range R = \emptyset$.
1045 = \emptyset
1055 \ne \emptyset
1371 $R^+ \cap \identity \ne \emptyset$.
1412 $R^+ \cap \identity \ne \emptyset$, then, since $T$ is
1414 $T \cap \identity \ne \emptyset$. This in turn means
1438 Note, however, that the condition $R_1 \circ R_2 = \emptyset$
1778 R_{00} & = \emptyset
1787 R_{11} & = \emptyset
1791 In the first iteration, $R_{00}$ remains the same ($\emptyset^+ = \emptyset$).
[all …]