Home
last modified time | relevance | path

Searched defs:Subtraction (Results 1 – 2 of 2) sorted by relevance

/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp65 SymbolRef Subtraction = SymMgr.acquire<SymSymExpr>( in assumeSym() local
/llvm-project/libc/test/src/__support/
H A Dbig_int_test.cpp64 TYPED_TEST(LlvmLibcUIntClassTest,Subtraction,Types) TYPED_TEST() argument