martong added a comment.

@whisperity Thank you for pinging! This seems still feasible. Besides, this is 
valuable for us, as it could pass some SEI CERT test cases, notably from INT31 
<https://wiki.sei.cmu.edu/confluence/display/c/INT31-C.+Ensure+that+integer+conversions+do+not+result+in+lost+or+misinterpreted+data>-C.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D46081/new/

https://reviews.llvm.org/D46081

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
  • [PATCH] D46081: [analyzer] Ex... Gabor Marton via Phabricator via cfe-commits

Reply via email to