analyzer: stricter handling of non-pure builtins [PR96798]
[gcc.git] / gcc / analyzer /
drwxr-xr-x   ..
-rw-r--r-- 136417 ChangeLog
-rw-r--r-- 4077 analysis-plan.cc
-rw-r--r-- 1871 analysis-plan.h
-rw-r--r-- 5250 analyzer-logging.cc
-rw-r--r-- 6595 analyzer-logging.h
-rw-r--r-- 2584 analyzer-pass.cc
-rw-r--r-- 1821 analyzer-selftests.cc
-rw-r--r-- 1636 analyzer-selftests.h
-rw-r--r-- 7452 analyzer.cc
-rw-r--r-- 8335 analyzer.h
-rw-r--r-- 7870 analyzer.opt
-rw-r--r-- 2886 bar-chart.cc
-rw-r--r-- 1596 bar-chart.h
-rw-r--r-- 5241 call-string.cc
-rw-r--r-- 2195 call-string.h
-rw-r--r-- 26133 checker-path.cc
-rw-r--r-- 14332 checker-path.h
-rw-r--r-- 74118 constraint-manager.cc
-rw-r--r-- 7816 constraint-manager.h
-rw-r--r-- 45117 diagnostic-manager.cc
-rw-r--r-- 5321 diagnostic-manager.h
-rw-r--r-- 123149 engine.cc
-rw-r--r-- 927 engine.h
-rw-r--r-- 24641 exploded-graph.h
-rw-r--r-- 4602 function-set.cc
-rw-r--r-- 1367 function-set.h
-rw-r--r-- 2241 pending-diagnostic.cc
-rw-r--r-- 8614 pending-diagnostic.h
-rw-r--r-- 15106 program-point.cc
-rw-r--r-- 7901 program-point.h
-rw-r--r-- 38528 program-state.cc
-rw-r--r-- 8135 program-state.h
-rw-r--r-- 2060 reachability.h
-rw-r--r-- 12238 region-model-impl-calls.cc
-rw-r--r-- 36229 region-model-manager.cc
-rw-r--r-- 8080 region-model-reachability.cc
-rw-r--r-- 3654 region-model-reachability.h
-rw-r--r-- 147119 region-model.cc
-rw-r--r-- 84159 region-model.h
-rw-r--r-- 28273 region.cc
-rw-r--r-- 11608 sm-file.cc
-rw-r--r-- 37802 sm-malloc.cc
-rw-r--r-- 2920 sm-malloc.dot
-rw-r--r-- 3839 sm-pattern-test.cc
-rw-r--r-- 6986 sm-sensitive.cc
-rw-r--r-- 11425 sm-signal.cc
-rw-r--r-- 9063 sm-taint.cc
-rw-r--r-- 3910 sm.cc
-rw-r--r-- 8139 sm.h
-rw-r--r-- 14674 state-purge.cc
-rw-r--r-- 4545 state-purge.h
-rw-r--r-- 63705 store.cc
-rw-r--r-- 20451 store.h
-rw-r--r-- 28878 supergraph.cc
-rw-r--r-- 16434 supergraph.h
-rw-r--r-- 26695 svalue.cc