reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  660   if (Cond.isUnknown())
  669   if (Cond.isUnknown())
  679   if (Val.isUnknown())
  692   if (Val.isUnknown())

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

  290     return !V.isUnknown();

tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp

  123       if (V.isUnknown())

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

  410   if (Offset.isUnknown())
  747   if (strLength.isUnknown())
  911   if (Offset.isUnknown())
 1209       if (lastElement.isUnknown())
 1437     if (result.isUnknown()) {
 1465     if (result.isUnknown()) {
 1472   assert(!result.isUnknown() && "Should have conjured a value by now");
 1680     if (amountCopied.isUnknown() && !isAppending) {
 1752     if (finalStrLength.isUnknown()) {
 1873     if (returnEnd && Result.isUnknown()) {
 2079     assert(SearchStrVal.isUnknown());

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp

 1039   if (Value.isUnknown())

tools/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp

   57   if (V.isUnknown())

tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp

  932     if (RetVal.isUnknown() ||

tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedPointee.cpp

  147   if (V.isUnknown() || V.getAs<loc::ConcreteInt>()) {

tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp

  107   if (sizeV.isUnknown())

tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp

  529     if (!ArgVal.isUnknown()) {
  794   if (!ThisVal.isUnknown()) {
  822     if (!ThisVal.isUnknown())
  914   if (!ThisVal.isUnknown()) {
 1350   if (!SelfVal.isUnknown()) {

tools/clang/lib/StaticAnalyzer/Core/Environment.cpp

  132   if (V.isUnknown()) {

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

  423   if (InitVal.isUnknown()) {
  430     if (InitValWithAdjustments.isUnknown()) {
 2142           if (!recovered.isUnknown()) {
 2886   if (location.isUnknown()) {

tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp

   34       Symbol.isUnknown()) {
   66       if (RightV.isUnknown()) {
  101       if (!Result.isUnknown()) {
  166       if (Result.isUnknown()) {
  277   if (V.isUnknown() && !OrigV.isUnknown()) {
  277   if (V.isUnknown() && !OrigV.isUnknown()) {
  476           if (val.isUnknown()) {
  501         if (Failed || val.isUnknown()) {
  613         if (InitVal.isUnknown()) {
 1123     if (Result.isUnknown()){

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp

  302       if (V.isUnknown())
  379       assert(!V.isUnknown());
  763   if (symVal.isUnknown()) {

tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

  320   if (Idx.isUnknown() || UpperBound.isUnknown())
  320   if (Idx.isUnknown() || UpperBound.isUnknown())

tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp

 1252   assert(SymbolManager::canSymbolicate(T) || V.isUnknown());
 2255   if (Init.isUnknown())
 2398   if (V.isUnknown() || !V.getAs<nonloc::CompoundVal>())

tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

  409   if (lhs.isUnknown() || rhs.isUnknown())
  409   if (lhs.isUnknown() || rhs.isUnknown())

tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

 1058       if (!R.isUnknown())