[LLVMbugs] [Bug 18157] New: Clang Static Code Analyzer does not report 'Switch' Statement as a branch condition.

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=18157

            Bug ID: 18157
           Summary: Clang Static Code Analyzer does not report 'Switch'
                    Statement as a branch condition.
           Product: clang
           Version: 3.2
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: prashant.purohit at kpitcummins.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

I am new to Clang Static Code analyzer internals.

Currently, I am trying to get all the branch conditions in a function using
‘check::BranchCondition’ call back function.
I am successful in detecting all the branch conditions like if, while,
do..while, for and ternary operator condition except switch condition.

I have checked this with already existing checks (e.g.- DumpTraversal) which
uses ‘check::BranchCondition’ call back function, these checks
also do not detect ‘switch’ statements.

Kindly help me in getting switch statements using ‘check::BranchCondition’ call
back function.

Thanks,
Prashant S. Purohit

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20131206/834fce63/attachment.html>