For known non-returning functions, we should ignore possible conflicting
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Fri, 16 Feb 2018 16:22:46 +0000 (10:22 -0600)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Fri, 16 Feb 2018 16:22:46 +0000 (10:22 -0600)
commitbbac5571f57fdd3e6e6654276fe618844ce50a29
tree705ca53e27235f0902c6bb91836372bf0c815ca4
parent332198e9abd581de1070f1010932067bcd2ed60b
For known non-returning functions, we should ignore possible conflicting
non-returning analysis results and still treat them as non-returning.
parseAPI/src/Function.C